Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 141 bis 150 von 14833.

  1. Jan Zielasko

    RETrace EX: Interactive Trace Analysis Framework for RISC-V Hardware Optimization

    In: RISC-V Summit Europe. RISC-V Summit Europe, June 8-12, Bologna, Italy, 2026.

  2. Rune Krauss

    Transaction-Level Analysis and Optimization of Decision Diagram Packages on RISC-V

    In: RISC-V Summit Europe. RISC-V Summit Europe, June 8-12, Bologna, Italy, 2026.

  3. Timo Laudi; Rolf Drechsler

    Hardware Agnostic Energy Benchmarking For Machine Learning

    In: 29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2026). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, Würzburg, Germany, 2026.

  4. Laleh Akbari; Rolf Drechsler

    On the Origins of Self-Explainability in Cyber-Physical Systems: Model-Based and Data-Driven Approaches

    In: 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, 2026.

  5. Luca Müller; Chandan Jha; Benjamin Arlt; Muhammad Hassan; Rolf Drechsler

    Modular End-to-End Pipeline for Formal Property Verification using Large Language Models

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, 2026.

  6. Chandrajit Pal; Lennart Weingarten; Klaus D. McDonald-Maier; Rolf Drechsler; Sangeet Saha; Kamalika Datta

    On Analysis of Applications using MAGIC-based In-Memory Computing

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.

  7. Abhoy Kole; Majd Assaad; Till Schnittka; Rolf Drechsler

    Adaptive Clifford+T Decomposition of Large Toffoli Gates with One Clean Ancilla

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.

  8. Abhoy Kole; Julie Maria Raju; Kamalika Datta; Rolf Drechsler

    Variational Manifold Engineering in Quantum Chemistry: Structural Challenges in Ansatz Design

    In: IEEE Computer Society Annual Symposium on VLSI. IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.

  9. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Formally Verifying Multiply-and-Accumulate Architectures Using Symbolic Computer Algebra

    In: SN Computer Science (SNCS), Springer Nature, 2026.

  10. Ankit Bende; Simranjeet Singh; Chandan Jha; Daniele Storelli; Dennis Nielinger; Rolf Drechsler; Regina Dittmann; Stephan Menzel; Farhad Merchant; Vikas Rana

    Device-to-logic variability propagation in RRAM-based logic-in-memory architectures

    In: Neuromorphic Computing and Engineering, IOP Science, 2026.

Jahr

Mehr Optionen