Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1751 bis 1760 von 5314.

  1. Aljosha Köcher; Alexander Belyaev; Jesko Hermann; Jürgen Bock; Kristof Meixner; Magnus Volkmann; Michael Winter; Patrick Zimmermann; Stephan Grimm; Christian Diedrich

    A reference model for common understanding of capabilities and skills in manufacturing

    In: at - Automatisierungstechnik, Vol. 71, No. 2, Pages 94-104, DeGruyter, 2023.

  2. Jan Nehring; Nils Feldhus; Akhyar Ahmed

    Adapters for the Resource Efficient Deployment of Natural Language Understanding Models

    In: Studientexte zur Sprachkommunikation: Elektronische Sprachsignalverarbeitung 2023. Elektronische Sprachsignalverarbeitung (ESSV-2023), ESSV, 2023.

  3. Martin Feick; Kora Regitz; Anthony Tang; Tobias Jungbluth; Maurice Rekrut; Antonio Krüger

    Investigating Noticeable Hand Redirection in Virtual Reality using Physiological and Interaction Data

    In: Proceedings of the 2023 IEEE Conference on Virtual Reality and 3D User Interfaces. IEEE Conference on Virtual Reality and 3D User Interfaces (VR-2023), March 25-29, Shanghai, China, IEEE, 3/2023.

  4. Chandan Jha; Sallar Ahmadi-Pour; Rolf Drechsler

    MARADIV: Library of MAGIC based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors

    In: IEEE Transactions on Circuits and Systems II: Express Briefs, IEEE, 2023.

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

    New Directions for Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits

    In: 35. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2023), February 26-28, Erfurt, Germany, 2023.

  6. Lennart Weingarten; Alireza Mahzoon; Mehran Goli; Rolf Drechsler

    Polynomial Formal Verification of a Processor: A RISC-V Case Study

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San Francisco, CA, USA, 2023.

  7. Ece Nur Demirhan Coskun; Muhammad Hassan; Mehran Goli; Rolf Drechsler

    VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San Francisco, CA, USA, 2023.

  8. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods

    In: 28th IEEE European Test Symposium 2023. IEEE European Test Symposium (ETS-2023), May 22-26, Venice, Italy, 2023.

  9. Johannes Lahann; Peter Pfeiffer; Peter Fettke

    LSTM-based Anomaly Detection of Process Instances: Benchmark and Tweaks

    In: Proceedings of the 4th International Conference on Process Mining (Workshops). International Conference on Process Mining (ICPM-2022), Process Mining Workshops, October 23-28, Bolzano, Italy, Lecture Notes in Business Information Processing, Springer, 2023.

  10. Hendrik Wöhrle; Felix Schneider; Fabian Schlenke; Denis Lebold; Mariela De Lucas Alvarez; Frank Kirchner; Michael Karagounis

    Multi-Objective Surrogate-Model-Based Neural Architecture and Physical Design Co-Optimization of Energy Efficient Neural Network Hardware Accelerators

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, Vol. 70, No. 1, Pages 40-53, IEEE, 1/2023.

Jahr

Mehr Optionen