Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 561 bis 570 von 14517.

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

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

  3. Babu Ajish

    Control of robots with hybrid locomotion capabilities

    PhD-Thesis, DFKI, 8/2025.

  4. Leon Tadayon; Dominic Detering; Wolfgang Maaß; Georg Frey

    The impact of electricity price forecasting on the optimal day-ahead dispatch of battery energy storage systems

    In: Neis 2025 - Conference on Sustainable Energy Supply and Energy Storage Systems. Conference on Sustainable Energy Supply and Energy Storage Systems (NEIS-2025), September 15-16, Hamburg, Germany, 2025.

  5. Oscar Lima; Marc Vinci; Sunandita Patra; Sebastian Stock; Joachim Hertzberg; Martin Atzmüller; Malik Ghallab; Dana Nau; Paolo Traverso

    Acting and Planning with Hierarchical Operational Models on a Mobile Robot: A Study with RAE+UPOM

    In: Proceedings of the 12th European Conference on Mobile Robots (ECMR 2025). European Conference on Mobile Robots (ECMR-2025), located at ECMR-2025, September 3-5, University of Padua, Padua, Italy, Pages 1-6, ISBN 979-8-3315-2705-1, IEEE, Piscataway, NJ, USA, 9/2025.

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

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

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

  9. Chandan Jha; Sumit Kumar Jha; Ulf Schlichtmann; Rolf Drechsler

    Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2025), October 21-23, Barcelona, Spain, IEEE, 2025.

  10. Chantale Lauer; Peter Pfeiffer; Alexander Michael Rombach; Nijat Mehdiyev

    Conversational Business Process Modeling using LLMs: Initial Results and Challenges

    In: Luise Pufahl; Jana-Rebecca Rehse (Hrsg.). EMISA 2025. International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA-2025), 15th International Workshop on Enterprise Modelling and Information Systems Architectures, located at EMISA 2025, Heilbronn, Germany, Gesellschaft für Informatik e.V. Bonn, 5/2025.

Jahr

Mehr Optionen