Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2022
Alle Filter entfernen
Zeige Ergebnisse 31 bis 40 von 798

  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.

Jahr