Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1151 bis 1160 von 14584.

  1. Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

    LLM-Assisted High Quality Invariants Generation for Formal Verification

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  2. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

    In: 27th 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-2024), April 3-5, Kielce, Poland, 2024.

  3. Caroline Dominik; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  4. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

    In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.

  5. Mattis Hartwig; Robert Simon Schiff; Sebastian Wolfrum; Ralf Möller

    Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

    In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC-2024), February 21-23, Rome, Italy, Pages 175-184, Vol. 2, ISBN 978-989-758-688-0, SciTePress, 2024.

  6. André Meyer-Vitali

    AI Engineering for Trust by Design

    In: Francisco José Domínguez Mayo; Luís Ferreira Pires; Edwin Seidewitz (Hrsg.). Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering. Model-Based Software and Systems Engineering (MBSE-2024), February 21-23, Rome, Italy, Pages 357-364, Vol. 1: MBSE-AI Integration, ISBN 978-989-758-682-8, SciTePress Digital Library, 2/2024.

  7. Hans-Georg Fill; Jordi Cabot; Wolfgang Maaß; Marten Van Sinderen

    AI-Driven Software Engineering – The Role of Conceptual Modeling

    In: Enterprise Modelling and Information Systems Architectures (EMISAJ) (Hrsg.). Enterprise Modelling and Information Systems Architectures - International Journal of Conceptual Modeling (EMISAJ), Vol. 19, Pages 1-11, Gesellschaft für Informatik e.V. 2024.

  8. Veronika Kurchyna; Jan Ole Berndt; Ingo Timm

    Can (and should) Automated Surrogate Modelling be used for Simulation Assistance?

    In: Multi-Agent-Based Simulation XXIV,. International Workshop on Multi-Agent Systems and Agent-Based Simulation (MABS-2023), located at AAMAS, May 6, London, LNCS, Vol. 14558, ISBN Lecture Notes in Computer Scienc, Springer, 2024.

  9. Sk Aziz Ali; Mohammad Sadil Khan; Didier Stricker

    BRep Boundary and Junction Detection for CAD Reverse Engineering

    In: Proceedings of the 3rd IEEE International Conference on Computing and Machine Intelligence. IEEE International Conference on Computing and Machine Intelligence (ICMI-2024), April 13-14, Michigan, MI, USA, IEEE, 2024.

  10. Pratyush Agnihotri; Paul Stiegele; Roman Heinrich; Boris Koldehofe; Carsten Binnig; Manisha Luthra

    ZeroTune: Learned Zero-Shot Parallelism Tuning for Distributed Stream Processing

    In: 40th IEEE International Conference on Data Engineering (ICDE 2024). IEEE International Conference on Data Engineering (ICDE-2024), Pages 1-14, IEEE, 2024.

Jahr

Mehr Optionen