Skip to main content Skip to main navigation

Publications

Displaying results 481 to 490 of 13653.
  1. Andreas Winter; Boris Brandherm; Michael Igel; Peter Schegner

    Klassische Stromnetzberechnung in Kombination mit künstlicher Intelligenz zur Analyse und Diagnose von Stromverteilnetzen

    In: VDE FNN / ETG Tutorial Schutz- und Leittechnik. VDE FNN / ETG Tutorial Schutz- und Leittechnik, VDE Verlag GmbH, 2/2022.

  2. Abdul Rafey Aftab; Michael Beeck

    Multimodal Driver Referencing: A Comparison of Pointing to Objects Inside and Outside the Vehicle

    In: 27th International Conference on Intelligent User Interfaces (IUI '22), March 22--25, 2022, Helsinki, Finland. International Conference on Intelligent User Interfaces (IUI-2022), 27th Annual Conference on Intelligent User Interfaces, March 22-25, Helsinski, Finland, ISBN 978-1-4503-9144-3/22/03, ACM, 3/2022.

  3. Abdul Rafey Aftab; Michael von der Beeck; Steven Rohrhirsch; Benoit Diotte; Michael Feld

    Multimodal Fusion Using Deep Learning Applied to Driver's Referencing of Outside-Vehicle Objects

    In: IEEE (Hrsg.). 2021 IEEE Intelligent Vehicles Symposium (IV). IEEE Intelligent Vehicles Symposium (IV-2021), 32th Intelligent Vehicles Symposium, located at IV21, July 11-17, Nagoya, Japan, Pages 1108-1115, ISBN 978-1-7281-5394-0, IEEE, 11/2021.

  4. Christopher Metz; Mehran Goli; Rolf Drechsler

    ML-based Power Estimation of Convolutional Neural Networks on GPGPUs

    In: 25th IEEE 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-2022), April 6-8, Prague, Czech Republic, 2022.

  5. Milan Funck; Vladimir Herdt; Rolf Drechsler

    Virtual Prototype driven Design, Implementation and Evaluation of RISC-V Instruction Set Extensions

    In: 25th IEEE 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-2022), April 6-8, Prague, Czech Republic, 2022.

  6. Alireza Mahzoon; Daniel Große; Christoph Scholl; Alexander Konrad; Rolf Drechsler

    Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability

    In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC), July 10-14, San Francisco, USA, 2022.

  7. Rolf Drechsler; Alireza Mahzoon; Mehran Goli

    Towards Polynomial Formal Verification of Complex Arithmetic Circuits

    In: 25th IEEE 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-2022), April 6-8, Prague, Czech Republic, 2022.

  8. Weiyan Zhang; Mehran Goli; Rolf Drechsler

    Early Performance Estimation of Embedded Software on RISC-V Processor using Linear Regression

    In: 25th IEEE 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-2022), April 6-8, Prague, Czech Republic, 2022.

  9. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters

    In: 25th IEEE 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-2022), April 6-8, Prague, Czech Republic, 2022.

  10. Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Complex Multipliers

    In: 25. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2022), February 17-18, virtual, 2022.