Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 841 bis 850 von 14854.

  1. Caroline Dominik; Rolf Drechsler

    Embedding Modulo Counter Circuits for their Polynomial Formal Verification

    In: 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 11-12, Rostock, Germany, 2025.

  2. Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    Symbolic Execution of Unmodified SystemC Peripherals

    In: 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), March 11-12, Rostock, Germany, 2025.

  3. Rolf Drechsler; Christina Plump; Bernhard Berger

    Explanation in Bio-inspired Computing: Towards Understanding of AI Systems

    In: Proceedings of the 1st International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE). International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE-2025), November 21-22, Kolkata, India, IEEE Xplore, 2025.

  4. Ruidi Qiu; Yalin Zhang; Rolf Drechsler; Tsungyi Ho; Ulf Schlichtmann; Bing Li

    ConfiBench: Automatic Testbench Generation with Confidence-Based Scenario Mask and Testbench Ensemble using LLMs for HDL Design

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.

  5. Natalia Piaseczna; Rafal Doniec; Konrad Duraj; Szymon Sieciński; Marek Jędrychowski; Ewaryst Tkacz; Marcin Grzegorzek

    Distinguishing Drivers with Smart Glasses Data and Deep Neural Network

    In: Ireneusz Czarnowski; Marek Jasiński (Hrsg.). IEEE EUROCON 2025 - 21st International Conference on Smart Technologies. IEEE International Conference on Smart Technologies (EUROCON-2025), June 4-6, Gdynia, Poland, Pages 1-6, Institute of Electrical and Electronics Engineers, 6/2025.

  6. Fei Chen; Sunita Saha; Manuela Schuler; Philipp Slusallek; Tim Dahmen

    im2im: Automatically Converting In-Memory Image Representations using a Knowledge Graph Approach

    In: Proceedings of the ACM on Programming Languages. International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA-2025), October 12-18, Singapore, Pages 248-273, Vol. 9, No. OOPSLA2, Association for Computing Machinery, New York, NY, USA, 10/2025.

  7. Rupert Mitchell; Kristian Kersting

    Multipole Semantic Attention: A Fast Approximation of Softmax Attention for Pretraining

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2509.10406, Pages 1-14, Computing Research Repository, 2025.

  8. Gopika Sudhakaran; Hikaru Shindo; Patrick Schramowski; Simone Schaub-Meyer; Kristian Kersting; Stefan Schroth

    ART: Adaptive Relation Tuning for Generalized Relation Prediction

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2507.23543, Pages 1-17, Computing Research Repository, 2025.

  9. Antoni Kowalczuk; Dominik Hintersdorf; Lukas Struppek; Kristian Kersting; Adam Dziedzic; Franziska Boenisch

    Finding Dori: Memorization in Text-to-Image Diffusion Models Is Less Local Than Assumed

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2507.16880, Pages 1-49, Computing Research Repository, 2025.

  10. Simon Kohaut; Felix Divo; Navid Hamid; Benedict Flade; Julian Eggert; Devendra Singh Dhami; Kristian Kersting

    The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2507.15478, Pages 1-11, Computing Research Repository, 2025.

Jahr

Mehr Optionen