Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 651 bis 660 von 14829.

  1. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  2. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  3. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

  4. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

  5. Deepak Ravibabu; Sallar Ahmadi-Pour; Muhammad Hassan; Abhoy Kole; Chandan Jha; Rolf Drechsler

    System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, Schloss Rheinfels, Germany, 2025.

  6. Katharina-Maria Illgen; Laura Hein; Oliver Thomas

    Generative Künstliche Intelligenz als digitales Werkzeug für Kreativität: Status quo und Implikationen für Forschung und Praxis

    In: HMD - Praxis der Wirtschaftsinformatik (HMD), Vol. 2025, Pages 1-19, Springer, 5/2025.

  7. Daniela Risis; Jan-Micha Bodensohn; Matthias Urban; Carsten Binnig

    Towards Complex Table Question Answering Over Tabular Data Lakes

    In: Carsten Binnig; Andreas Henrich; Daniela Nicklas; Maximilian E. Schüle; Klaus Meyer-Wegener (Hrsg.). BTW2025 - Datenbanksysteme für Business, Technologie und Web - Workshopband. Workshop on Data Engineering for Data Science (DE4DS-2025), March 3-7, Bamberg, Germany, Pages 267-275, Lecture Notes in Informatics (LNI), Vol. P363, Gesellschaft für Informatik e.V. 2025.

  8. Henri Hoyez; Bruno Mirbach; Cedric Schockaert; Jason Raphael Rambach; Didier Stricker

    MISTI: Multi-Style Transfer for Multivariate Time Series

    In: IEEE (Hrsg.). 33rd. European Signal Processing Conference (EUSIPCO-2025), September 8-12, Palermo, Italy, IEEE, 2025.

  9. Weiyan Zhang; Muhammad Hassan; Rolf Drechsler

    LLM-assisted Methodology for Embedded Software Performance Estimation on RISC-V

    In: RISC-V Summit Europe. RISC-V Summit Europe, May 12-15, Paris, France, 2025.

  10. Philipp Peter Engler; Ludger van Elst; Peter Schichtel; Andreas Dengel; Sheraz Ahmed

    Time Series Generation for Augmenting Multi-Channel Automotive Audio Data

    In: Lecture Notes in Computer Science. International Conference on Artificial Neural Networks (ICANN-2025), 34th International Conference on Artificial Neural Networks, September 9-12, Kaunas, Lithuania, Lecture Notes in Computer Science (LNCS), Vol. 16070, ISBN 978-3-032-04548-5, Springer, Cham, 2025.

Jahr

Mehr Optionen