Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 341 bis 350 von 14449.

  1. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Transformation-Aided Verification of MAC Designs using Symbolic Computer Algebra

    In: Design and Verification Conference & Exhibition Europe (DVCon Europe). Design and Verification Conference Europe (DVCon Europe), October 14-15, München, Germany, 2025.

  2. Kamalika Datta; Lennart Weingarten; Julen Larrucea; Abhoy Kole; Rolf Drechsler

    An Overview of Electronic Structure Problem using Quantum Computing in the NISQ Era

    In: Proceedings of the 6th International Conference on Frontiers in Computing and Systems (COMSYS). International Conference on Frontiers in Computing and Systems (COMSYS-2025), September 25-27, Warschau, Poland, 2025.

  3. Fatemeh Shirinzadeh; Abhoy Kole; Kamalika Datta; Saeideh Shirinzadeh; Rolf Drechsler

    Fault-Tolerant Character Recognition in Neuromorphic Systems Using RRAM Crossbar Arrays

    In: IEEE Nordic Circuits and Systems Conference (NorCAS). IEEE Nordic Circuits and Systems Conference (NorCAS-2025), October 21-23, Riga, Lithuania, IEEE, 2025.

  4. Saeideh Nabipour; Fatemeh Shirinzadeh; Abhoy Kole; Saeideh Shirinzadeh; Rolf Drechsler

    Performance Evaluation of MAGIC-ReRAM Arithmetic Circuits for Low-Latency In-Memory Computing

    In: IEEE Nordic Circuits and Systems Conference. IEEE Nordic Circuits and Systems Conference (NorCAS-2025), October 28-29, Riga, Lithuania, IEEE, 2025.

  5. Bernhard Berger; Christina Plump

    Automatic Security-Flaw Detection — Towards a Fair Evaluation and Comparison

    In: Software and Systems Modeling (SoSyM), Springer Science and Business Media LLC, 2025.

  6. Rune Krauss; Rolf Drechsler

    Efficient Evolution of Variable Ordering for Binary Decision Diagram Optimization

    In: IEEE Transactions on Evolutionary Computation, Pages 1-11, IEEE, 5/2025.

  7. Khushboo Qayyum; Chandan Jha; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    LLM-assisted Bug Identification and Correction for Verilog HDL

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 30, No. 06, Pages 1-28, ACM, 10/2025.

  8. Mohamed Nadeem; Luca Müller; Chandan Jha; Rolf Drechsler

    Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.

  9. Moritz Schmidt; Abhoy Kole; Leon Wichette; Rolf Drechsler; Frank Kirchner; Elie Mounzer

    Exploration of Design Alternatives for Reducing Idle Time in Shor’s Algorithm: A Study on Monolithic and Distributed Quantum Systems

    In: IEEE Transactions on Quantum Engineering, Vol. 6, IEEE, 9/2025.

  10. Adrian Lutsch; Muhammad El-Hindi; Zsolt István; Carsten Binnig

    Towards High-performance and Trusted Cloud DBMSs

    In: Datenbank-Spektrum (Spektrum), Vol. 25, No. 1, Pages 39-50, Springer, 2025.

Jahr

Mehr Optionen