Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2022
Alle Filter entfernen
Zeige Ergebnisse 71 bis 80 von 795

  1. Marc Eisoldt; Marcel Flottmann; Julian Gaal; Steffen Hinderink; Juri Vana; Marco Tassemeier; Marc Rothmann; Thomas Wiemann; Mario Porrmann

    ReconfROS: An approach for accelerating ROS nodes on reconfigurable SoCs

    In: Microprocessors and Microsystems (MICPRO), Vol. 94, Page 104655, Elsevier, 2022.

  2. Benjamin Paaßen; Tobias Baumgartner; Mai Geisen; Nina Riedl; Milos Kravcik

    Few-shot keypose detection for learning of psychomotor skills

    In: Khaleel Asyraaf Mat Sanusi; Bibeg Limbu; Jan Schneider; Daniele Di Mitri; Roland Klemke (Hrsg.). Proceedings of the Second International Workshop …

  3. Michael Gundall; Julius Raphael Stegmann; Christopher Huber; Rüdiger Halfmann; Hans Dieter Schotten

    Implementation and Evaluation of the RBIS Protocol in 5G

    In: 2022 IEEE Globecom Workshops. IEEE Global Communications Conference Workshops (Globeccom Wkshps-2022), located at IEEE GLOBECOM 2022, December …

  4. Janet Weßler; Tanja Schneeberger; Leon Christidis; Patrick Gebhard

    Virtual backlash: Nonverbal expression of dominance leads to less liking of dominant female versus male agents

    In: IVA '22: Proceedings of the 22nd ACM International Conference on Intelligent Virtual Agents. International Conference on Intelligent Virtual …

  5. Rolf Drechsler; Alireza Mahzoon

    Design Modification for Polynomial Formal Verification

    In: Proceedings of the 2022 International Symposium on Electrical, Electronics and Information Engineering. International Symposium on Electrical, …

  6. Rolf Drechsler

    Fast and Exact is Doable: Polynomial Algorithms in Test and Verification

    In: 23rd IEEE Latin-American Test Symposium (LATS). IEEE Latin American Test Symposium (LATS-2022), September 5-8, Montevideo, Uruguay, 2022.

  7. Kamalika Datta; Saman Froehlich; Saeideh Shirinzadeh; Dev Narayan; Yadav Indranil Sengupta; Rolf Drechsler

    Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration …

  8. Alexander Konrad; Christoph Scholl; Alireza Mahzoon; Daniel Große; Rolf Drechsler

    Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization

    In: Formal Methods in Computer-Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD), October 17-21, Trento, Italy, 2022.

  9. Rolf Drechsler; Alireza Mahzoon

    Preserving Design Hierarchy Information for Polynomial Formal Verification

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration …

  10. Rolf Drechsler; Alireza Mahzoon

    Polynomial Formal Verification: Ensuring Correctness under Resource Constraints

    In: 41st International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD), October 30 - …

Jahr