Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 21 to 30 of 13124.

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

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

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

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

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

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

  7. Kirill Kronhardt; Stephan Rübner; Max Pascher; Felix Goldau; Udo Frese; Jens Gerken

    Adapt or Perish? Exploring the Effectiveness of Adaptive DoF Control Interaction Methods for Assistive Robot Arms

    In: Fillia Makedon (Hrsg.). technologies, Vol. 10, No. 1, MDPI, 2022.

  8. Josip Lovrekovic; Oliver Gutermuth; Peter Loos

    Explorative Studie zum Stand der Nutzung von Legal Tech in Deutschland

    In: Wirtschaftsinformatik 2022 Proceedings. Internationale Tagung Wirtschaftsinformatik (WI-2022), located at 17. Internationale Tagung …

  9. Dominique Mercier; Syed Tahseen Raza Rizvi; Vikas Rajashekar; Sheraz Ahmed; Andreas Dengel

    Utilizing Out-Domain Datasets to Enhance Multi-Task Citation Analysis

    In: Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART), Pages 113-134, LNCS, Vol. 13251, ISBN …

  10. Stéphane Estable; Annelies Ampe; Apostolos Chamos; Gwenaelle Aridon; Daniel Silveira; Francisco Javier Colmenero Lechuga; Isabel Soto; Jeremi Gancet; Mark Shilton; Marko Jankovic; Torsten Vogel

    PERIOD – PERASPERA In-Orbit Demonstration toward the transition into the in-space services, assembly and manufacturing paradigm

    In: IOP Conference Series: Materials Science and Engineering, Vol. 1226, No. 1, Pages 1-8, IOP Publishing, Online, 2/2022.

Year

More options