Skip to main content Skip to main navigation

Publications

Displaying results 1831 to 1840 of 15013.
  1. Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    Security Coverage Metrics for Information Flow at the System Level

    In: 29th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2024), January 22-25, Incheon, Korea, Republic of, 2024.

  2. Rolf Drechsler; Christopher Metz; Christina Plump

    Energy-Efficient CNN inferencing on GPUs with Dynamic Frequency Scaling

    In: 2nd International Conference on Innovations in Data Analytics (ICIDA). International Conference on Innovations in Data Analytics (ICIDA-2023), November 29-30, West Bengal, India, 2023.

  3. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor

    In: 18th ACM International Symposium on Nanoscale Architectures (NANOARCH). IEEE / ACM International Symposium on Nanoscale Architectures (NanoArch-2023), December 18-20, Dresden, Germany, 2023.

  4. Memristors: Device Modeling, Design and Verification

    In: Proceedings of the 9th IEEE International Symposium on Smart Electronic Systems (iSES). IEEE International Symposium on Smart Electronic Systems (iSES-2023), September 18-20, Ahmedabad, India, 2023.

  5. Simranjeet Singh; Chandan Kumar Jha; Ankit Bende; Phrangboklang Lyngton Thangkhiew; Vikas Rana; Sachin Patkar; Rolf Drechsler; Farhad Merchant

    Should We Even Optimize for Execution Energy? Rethinking Mapping for MAGIC Design Style

    In: International Conference on Hardware/Software Codesign and System Synthesis | Embedded System Week (CODES+ISSS). International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS-2023), September 17-22, Hamburg, Germany, 2023.

  6. Jan-Tilman Seipp; Felix Köhler; David Harbecke; Leonhard Hennig; Phuc Tran Truong

    Text2Tech - Deep Learning-based Text Mining for Technology Monitoring in Automotive Production

    In: 13th Global TechMining Conference 2023 - Conference Proceedings. Global TechMining Conference, November 10, Global TechMining Conference, 2023.

  7. XAI Requirements in Smart Production Processes: A Case Study

    In: Luca Longo (Hrsg.). Explainable Artificial Intelligence, First World Conference, Proceedings, Part I. xAI: World Conference on Explainable Artificial Intelligence (xAI-2023), July 26-28, Lissabon, Portugal, Pages 3-24, Communications in Computer and Information Science (CCIS), Vol. 1901, ISBN 978-3-031-44063-2, Springer Nature Switzerland, 2023.

  8. Théo Vincent; Alberto Maria Metelli; Boris Belousov; Jan Peters; Marcello Restelli; Carlo D’Eramo

    Parameterized Projected Bellman Operator

    In: Proceedings of the 38th Annual AAAi Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-24), February 20-27, Vancouver, Canada, Association for the Advancement of Artificial Intelligence, 2024.

  9. Daniel Harnack; Christoph Lüth; Lukas Groß; Shivesh Kumar; Frank Kirchner

    Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking

    In: 62nd IEEE Conference on Decision and Control (CDC). IEEE Conference on Decision and Control (CDC-2023), December 13-15, Marina Bay Sands, Singapore, TBA. 2023.

  10. Pratyush Agnihotri; Boris Koldehofe; Carsten Binnig; Manisha Luthra

    PANDA: performance prediction for parallel and dynamic stream processing

    In: Yongluan Zhou; Panos K. Chrysanthis; Vincenzo Gulisano; Eleni Tzirita Zacharatou (Hrsg.). 16th ACM International Conference on Distributed and Event-based Systems. ACM International Conference on Distributed and Event-Based Systems (DEBS-2022), June 27-30, Copenhagen, Denmark, Pages 180-181, ACM, 2022.