Skip to main content Skip to main navigation


Zeige Ergebnisse 31 bis 40 von 720
  1. ReSG: A Data Structure for Verification of Majority based In-Memory Computing on ReRAM Crossbars

    In: ACM Transactions on Embedded Computing Systems (TECS), ACM, 2023.

  2. Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große

    Toward System-Level Assertions for Heterogeneous Systems

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 67-81, Springer, 2023.

  3. Marcel Merten; Mohammed E. Djeridane; Sebastian Huhn; Rolf Drechsler

    SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 83-94, Springer, 2023.

  4. Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 115-169, Springer, 2023.

  5. Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Carry Look-Ahead Adders

    In: Bernd Steinbach. Advances in the Boolean Domain. Pages 93-114, ISBN 1-5275-8872-6, Cambridge Scholars Publishing, 2023.

  6. Rolf Drechsler; Sebastian Huhn

    Advanced Boolean Techniques

    Springer, 2023.

  7. Joao Maria Janeiro; Stanislav Frolov; Alaaeldin El-Nouby; Jakob Verbeek

    Are Visual Recognition Models Robust to Image Compression?

    In: International Conference on Machine Learning Workshop Neural Compression: From Information Theory to Applications. International Conference on …

  8. Dafna Burema; Nicole Debowski-Weimann; Alexander von Janowski; Jil Grabowski; Mihai Maftei; Mattis Jacobs; Patrick van der Smagt; Djalel Benbouzid

    A sector-based approach to AI ethics: Understanding ethical issues of AI-related incidents within their sectoral context

    In: Francesca Rossi; Sanmay Das; Jenny Davis; Kay Firth-Butterfield; Alex John (Hrsg.). AIES '23: Proceedings of the 2023 AAAI/ACM Conference on AI, …

  9. JCAS-Enabled Sensing as a Service in 6th-Generation Mobile Communication Networks

    In: KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS'23). KuVS …