Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2022
Remove all filters
Displaying results 111 to 120 of 807.

  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. Navya Prakash; Frederic Theodor Stahl; Charles Lennart Müller; Oliver Ferdinand; Oliver Zielinski

    Intelligent Marine Pollution Analysis on Spectral Data

    In: OCEANS 2021 San Diego - Porto Online Proceedings. OCEANS MTS/IEEE Conference (OCEANS-2021), September 20-23, Online, Porto, Portugal, Pages 1-6, No. 21623225, ISBN 978-0-692-93559-0, IEEE Xplore Digital Library, Piscataway Township, New Jersey, 2/2022.

Year