Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 951 bis 960 von 15116.
  1. Afef Awadid; André Meyer-Vitali; Dominik Vereno; Maxence Gagnant

    RITSA: Toward a Retrieval-Augmented Generation System for Intelligent Transportation Systems Architecture

    In: Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - MBSE-AI Integration. International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2025), MBSE-AI Integration, February 26-28, Porto, Portugal, Pages 466-473, ISBN 978-989-758-729-0, SciTePress, 2/2025.

  2. Multi-Agent Causal Reinforcement Learning

    In: Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - MBSE-AI Integration. International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2025), MBSE-AI Integration, February 26-28, Porto, Portugal, Pages 435-442, ISBN 978-989-758-729-0, SciTePress, 2/2025.

  3. Designing Memory Protection for a RISC-V Nano-VP

    In: Proceedings of the 3rd Workshop on Nano Security: From Nano-Electronics to Secure Systems (NanoSec'25). Workshop on Nano Security: From Nano-Electronics to Secure Systems (NanoSec-25), March 29 - April 2, Lyon, France, 2025.

  4. Optimizing Hardware for Neural Network Inference using Virtual Prototypes

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

  5. Kemal Çağlar Coşkun; Chandan Jha; Muhammad Hassan; Rolf Drechsler

    Formal Verification of Error Bounds for Resistive-Switching-based Multilevel Matrix-Vector Multipliers

    In: 26th International Symposium on Quality Electronic Design (ISQED'25). International Symposium on Quality Electronic Design (ISQED-2025), April 23-25, San Francisco, USA, 2025.

  6. Till Schnittka; Chandan Jha; Sallar Ahmadi-Pour; Rolf Drechsler

    RIVER: Sneak Path Aware READ-based In-Memory Computing for 1T1M Memristive Crossbars

    In: 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2025), May 5-7, Lyon, France, 2025.

  7. Karl Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution

    In: 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), May 5-7, 2025.

  8. LLM-assisted Performance Estimation of Embedded Software on RISC-V Processors

    In: 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2025), May 5-7, Lyon, France, 2025.

  9. Multi-Input MAGIC Synthesis and Verification for In-Memory Computing Design

    In: IEEE International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2025), June 5-6, Montreal, Canada, 2025.