Skip to main content Skip to main navigation

Publications

Displaying results 1691 to 1700 of 14766.
  1. Simranjeet Singh; Chandan Kumar Jha; Vikas Rana Ankit Bende; Sachin Patkar; Rolf Drechsler; Farhad Merchant

    MemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory

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

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

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

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

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

  7. Jakob Karolus; Sebastian S. Feger; Albrecht Schmidt; Pawel W. Wozniak

    Your Text Is Hard to Read: Facilitating Readability Awareness to Support Writing Proficiency in Text Production

    In: DIS '23: Proceedings of the 2023 ACM Designing Interactive Systems Conference. ACM Designing Interactive Systems (DIS-2023), July 10-14, Pittsburgh, PA, USA, Pages 147-160, ISBN 978-1-4503-9893-0, ACM, New York, NY, USA, 2023.

  8. Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

    In the Head of the Beholder: Comparing Different Proof Representations

    In: Guido Governatori; Anni-Yasmin Turhan (Hrsg.). Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham, Pages 211-226, ISBN 978-3-031-21541-4, Springer International Publishing, 2022.

  9. Frederik Wiehr; Adrien Unger; Antonio Krüger

    HapticPole: Running Navigation Through Skin Drag and Shape Change

    In: Proceedings of the Augmented Humans International Conference 2023. Augmented Humans International Conference (AHs-2023), New York, NY, USA, AHs '23, ISBN 9781450399845, Association for Computing Machinery, 2023.

  10. Ingo Siegert; Stefan Hillmann; Philline Görzig; Matthias Busch; Jan Nehring; Xenia Klinge

    Die Chatbot-Challenge – Spielend mit KI von der Idee zum Dialogsystem

    In: Maike Klein; Daniel Krupka; Cornelia Winter; Volker Wohlgemuth (Hrsg.). INFORMATIK 2023 - Designing Futures: Zukünfte gestalten. Jahrestagung der Gesellschaft für Informatik (INFORMATIK-2023), Designing Futures: Zukünfte gestalten, September 26-29, Berlin, Berlin, Germany, ISBN 978-3-88579-731-9. Gesellschaft für Informatik e.V. 2023.