Skip to main content Skip to main navigation

Publications

Displaying results 2711 to 2720 of 15017.
  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 (VRST-2023), October 9-11, Christchurch, New Zealand, VRST '23, ISBN 9798400703287, Association for Computing Machinery, 10/2023.

  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 (VRST-2023), October 9-11, Christchurch, New Zealand, VRST '23, ISBN 9798400703287, Association for Computing Machinery, 10/2023.

  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 (VRST-2023), October 9-11, Christchurch, New Zealand, VRST '23, ISBN 9798400703287, Association for Computing Machinery, 10/2023.

  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, 2024.

  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. Benjamin Hättasch; Jan-Micha Bodensohn; Liane Vogel; Matthias Urban; Carsten Binnig

    WannaDB: Ad-hoc SQL Queries over Text Collections

    In: Birgitta König-Ries; Stefanie Scherzinger; Wolfgang Lehner; Gottfried Vossen (Hrsg.). Datenbanksysteme für Business, Technologie und Web (BTW 2023), 20. Fachtagung des GI-Fachbereichs ,,Datenbanken und Informationssysteme" (DBIS). GI-Fachtagungen (BTW), March 6-10, Dresden, Germany, Pages 157-181, LNI, Vol. P-331, Gesellschaft für Informatik e.V. 2023.

  9. Pratyush Agnihotri; Boris Koldehofe; Carsten Binnig; Manisha Luthra

    Zero-Shot Cost Models for Parallel Stream Processing

    In: Rajesh Bordawekar; Oded Shmueli; Yael Amsterdamer; Donatella Firmani; Andreas Kipf (Hrsg.). Proceedings of the Sixth International Workshop on Exploiting Artificial Intelligence Techniques for Data Management. International Workshop on Exploiting Artificial Intelligence Techniques for Data Management (aiDM-2023), aiDM@SIGMOD 2023, June 18, Seattle, WA, USA, Pages 5:1-5:5, ISBN 979-8-4007-0193-1, ACM, 2023.