Skip to main content Skip to main navigation

Publications

Displaying results 1301 to 1310 of 13677.

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

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

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

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

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

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

  7. 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 Wirtschaftsinformatik, February 21-23, Nürnberg (online), Germany, AIS Electronic Library (AISeL), 2/2022.

  8. 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 978-3-031-10161-8, Springer, Cham, 7/2022.

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

  10. Pierre Gutierrez; Maria Luschkova; Antoine Cordier; Mustafa Shukor; Mona Schappert; Tim Dahmen

    Synthetic training data generation for deep learning based quality inspection

    Quality Control by Artificial Vision 2021, 2021.

Year

More options