Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 711 bis 720 von 15056.
  1. Efficient Evolution of Variable Ordering for Binary Decision Diagram Optimization

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

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

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

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

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

  8. Martin Feick; Kora Persephone Regitz; André Zenner

    Delusionized? Potential Harms of Proprioceptive Manipulations through Hand Redirection in Virtual Reality

    In: Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology. ACM Symposium on User Interface Software and Technology (UIST-2025), Busan, Korea, Republic of, UIST '25, ISBN 9798400720376, Association for Computing Machinery, 2025.

  9. Peter Neigel; David Antony Selby; Shota Arai; Benjamin Tag; Niels van Berkel; Sebastian Vollmer; Andrew Vargo; Koichi Kise

    Exploring the Alignment of Perceived and Measured Sleep Quality with Working Memory Using Consumer Wearables

    In: Proceedings of the Augmented Humans International Conference 2025. Augmented Humans International Conference (AHs-2025), March 16-20, Abu Dhabi, United Arab Emirates, Pages 381-398, AHs '25, ISBN 9798400715662, Association for Computing Machinery, New York, USA, 10/2025.