Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 14456.
  1. Julio Daniel Guerra Hollstein; Shaoyi Huang; Rolf Drechsler; Bing Li; Yalin Zhang

    Late Breaking Results: Conversion of Neural Networks into Logic Flows for Edge Computing

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  2. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  3. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, 2026.

  4. Hacane Hechehouche; André Antakli; Matthias Klusch

    LLM-Assisted Modeling of Semantic Web-Enabled Multi-Agents Systems with AJAN

    In: Proc. 18th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2026), Scitepress, 2026.

  5. Leonard Frank Neis; André Antakli; Matthias Klusch

    CARJAN: Agent-Based Generation and Simulation of Traffic Scenarios with AJAN

    In: Proc. 18th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2026), Scitepress, 2026.

  6. Identifying Hardware Optimizations for Neural Network Inference using Virtual Prototypes

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  7. Anna Bernasconi; Valentina Ciriani; Gianmarco Cuciniello; Caroline Dominik; Rolf Drechsler

    Polynomial Verification of 2-Affine Spaces

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, o.A:, 2026.

  8. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    PolyEMAC: Polynomial Error Metrics Analysis in Approximate Computing

    In: 39th International Conference On VLSI Design. International Conference on VLSI Design (VLSID-2026), January 3-4, Pune, India, 2026.

  9. Chandan Jha; Sallar Ahmadi-Pour; Sajjad Parvin; Rolf Drechsler

    DIVIAC: Library of Input Data Aware Approximate Dividers with Partial Exact Minimization

    In: 39th International Conference On VLSI Design. International Conference on VLSI Design (VLSID-2026), January 3-7, Pune, India, 2026.

  10. Security and Privacy Challenges in VLC-Based V2X Communications: An Overview and Evaluation

    In: Christoph Lipps; Bin Han (Hrsg.). Proceedings of the 24th European Conference on Cyber Warfare and Security. European Conference on Cyber Warfare and Security (ECCWS-2025), June 26-27, Kaiserslautern, Germany, Academic Conferences International (aci), 6/2025.