Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 81 to 90 of 1106.
  1. Special issue on in-memory computing: Circuits, system, architecture and verification

    In: Memories - Materials, Devices, Circuits and Systems, Vol. 5, Pages 1-3, Science Direct, 10/2023.

  2. Simranjeet Singh; Chandan Jha; Ankit Bende; Phrangboklang Lyngton Thangkhiew; Vikas Rana; Sachin Patkar; Rolf Drechsler; Farhad Merchant

    Should We Even Optimize for Execution Energy? Rethinking Mapping for MAGIC Design Style

    In: IEEE Embedded Systems Letters (ESL), IEEE, 2023.

  3. André Zenner; Kristin Ullmann; Chiara Karr; Oscar Ariza; Antonio Krüger

    The Staircase Procedure Toolkit: Psychophysical Detection Threshold Experiments Made Easy

    In: Proceedings of the 29th ACM Symposium on Virtual Reality Software and Technology. ACM Symposium on Virtual Reality Software and Technology …

  4. André Zenner; Chiara Karr; Martin Feick; Oscar Ariza; Antonio Krüger

    The Detectability of Saccadic Hand Offset in Virtual Reality

    In: Proceedings of the 29th ACM Symposium on Virtual Reality Software and Technology. ACM Symposium on Virtual Reality Software and Technology …

  5. Oscar Ariza; Felix Steiner; André Zenner; Frank Steinicke

    Audio-Based Vibrotactile Feedback in Multimodal VR Interactions

    In: Proceedings of the 29th ACM Symposium on Virtual Reality Software and Technology. ACM Symposium on Virtual Reality Software and Technology …

  6. Dynamic Realization of Multiple Control Toffoli Gate

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25 - February 27, Valencia, Spain, …

  7. Complete and Efficient Verification for a RISC-V Processor using Formal Verification

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  8. In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures

    In: 37th International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India, 1/2024.