Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 641 bis 650 von 14864.

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. Chandan Jha; Sumit Kumar Jha; Ulf Schlichtmann; Rolf Drechsler

    Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), October 21-23, Barcelona, Spain, IEEE, 2025.

  6. Jan Speller; Malte Luttermann; Marcel Gehrke; Tanya Braun

    Compression Versus Accuracy: A Hierarchy of Lifted Models

    In: Inês Lynce; Nello Murano; Mauro Vallati; Serena Villata; Federico Chesani; Michela Milano; Andrea Omicini; Mehdi Dastani (Hrsg.). Proceedings of the Twenty-Eighth European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2025), October 25-30, Bologna, Italy, Pages 5051-5058, Vol. 413, IOS Press, 10/2025.

  7. Jan Speller; Malte Luttermann; Marcel Gehrke; Tanya Braun

    Towards Explainability of Approximate Lifted Model Construction: A Geometric Perspective

    In: Sylvia Melzer; Hagen Peukert; Stefan Thiemann; Magnus Bender; Özgür L. Özçep; Nele Russwinkel; Kai Sauerwald; Diedrich Wolter (Hrsg.). Proceedings of the Joint Workshop on Humanities-Centred Artificial Intelligence and Formal & Cognitive Reasoning co-located with 48th German Conference on Artificial Intelligence. Joint Workshop on Humanities-Centred Artificial Intelligence and Formal & Cognitive Reasoning (CHAI and FCR-2025), located at 48th German Conference on Artificial Intelligence (KI-2025), September 16-19, Potsdam, Germany, Pages 41-56, Vol. 4058, CEUR, 10/2025.

  8. Fei Chen; Sunita Saha; Manuela Schuler; Philipp Slusallek; Tim Dahmen

    im2im: Automatically Converting In-Memory Image Representations using a Knowledge Graph Approach

    In: Proceedings of the ACM on Programming Languages. International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA-2025), October 12-18, Singapore, Pages 248-273, Vol. 9, No. OOPSLA2, Association for Computing Machinery, New York, NY, USA, 10/2025.

  9. Fatma Ozcan; Yeounoh Chung; Yannis Chronis; Lyubomir Ganev; Yawen Wang; Carsten Binnig; Johannes Wehrstein; Gaurav Tarlok Kakkar; Sami Abu-el-haija

    LLMs and Databases: A Synergistic Approach to Data Utilization

    In: IEEE Data Engineering Bulletin, Vol. 49, No. 1, Pages 32-44, IEEE, 2025.

  10. Laura Hein; Sergey Krutikov; Nils Lauinger; Jan Heinrich Beinke; Julia Knopf; Oliver Thomas

    VR-basiertes Lernen zur Förderung nachhaltiger Forstwirtschaft: Implementierung einer digitalen Lernbegleitung

    In: Lecture Notes in Informatics (LNI) - Proceedings. Jahrestagung der Gesellschaft für Informatik (INFORMATIK-2025), The Wide Open: Offenheit von Source bis Science, September 16-19, Potsdam, Germany, Gesellschaft für Informatik eV. 2025.

Jahr

Mehr Optionen