Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1441 bis 1450 von 15200.

  1. Jonathan Bartels; Simon Komesker; William Motsch; Katharina Hengel; Achim Wagner; Martin Ruskowski

    Dependable Cyber-Physical Matrix Production Systems Utilizing Holonic Multi-agent Systems

    In: Daniel Holderbaum; Frederik Wulle; Jannik Lind (Hrsg.). Advances in Automotive Production Technology -- Digital Product Development and Manufacturing. Stuttgart Conference on Automotive Production (SCAP-2024), Cham, Pages 160-174, ISBN 978-3-031-88831-1, Springer Nature Switzerland, 2025.

  2. Anthony Kiggundu; Bin Han; Hans Dieter Schotten

    Adaptive Decentralized Queue Disclosure for Impatient Tenants in Edge and Non-terrestrial Systems

    In: Doctoral Symposium. IEEE Conference on Network Function Virtualization and Software Defined Networks (IEEE NFV-SDN-2025), Doctoral Symposium, located at NFV-SDN 2025, November 10-12, Athens, Greece, IEEEXplore, 12/2025.

  3. Hannes Kath; Thiago Gouvêa; Daniel Sonntag

    Intermediate-Task Transfer Learning for Bioacoustic Data

    In: KI 2025: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2025), located at KI-2025, September 16-19, Potsdam, Germany, ISBN 978-3-032-02813-6, Springer Nature Switzerland, 9/2025.

  4. Pratyush Agnihotri; Carsten Binnig; Manisha Luthra

    Learning What Matters: Automated Feature Selection for Learned Performance Models in Parallel Stream Processing

    In: VLDB 2025 Workshop (Hrsg.). Proceedings of the VLDB Endowment. International Conference on Very Large Data Bases (VLDB-2025), 6th Applied AI for Database Systems and Applications, located at AIDB-2025, September 1-5, London, United Kingdom, VLDB Endowment, 9/2025.

  5. Stefan Schaffer; Niko Kleer; Pascal Lessel; Michael Feld; Julien Armin Bauer; Ina Goedert

    Identification of Important LLM Test Criteria for State Media Authorities

    In: Proceedings of the Mensch Und Computer 2025. Mensch und Computer (MuC-2025), Chemnitz, Germany, MuC '25, ISBN 9798400715822, Association for Computing Machinery, 2025.

  6. 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.

  7. 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.

  8. 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.

  9. 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.

  10. 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.

Jahr

Mehr Optionen