Skip to main content Skip to main navigation

Publications

Displaying results 1441 to 1450 of 14848.
  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. Carsten Binnig; Abdallah Salama; Erfan Zamanian; Harald Kornmayer; Sven Listing; Alexander C. Müller

    XDB - A Novel Database Architecture for Data Analytics as a Service

    In: 2014 IEEE International Congress on Big Data. IEEE International Congress on Big Data (BigData-2014), June 27 - July 2, Anchorage, AK, USA, Pages 96-103, IEEE Computer Society, 2014.

  8. Carsten Binnig; Stefan Hildenbrand; Franz Färber; Donald Kossmann; Juchang Lee; Norman May

    Distributed snapshot isolation: global transactions pay globally, local transactions pay locally

    In: The VLDB Journal, Vol. 23, No. 6, Pages 987-1011, Springer, 2014.

  9. Abdallah Salama; Carsten Binnig; Tim Kraska; Erfan Zamanian

    Cost-based Fault-tolerance for Parallel Data Processing

    In: Timos K. Sellis; Susan B. Davidson; Zachary G. Ives (Hrsg.). Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. ACM SIGMOD International Conference on Management of Data (SIGMOD-2015), May 31 - June 4, Melbourne, Victoria, Australia, Pages 285-297, ACM, 2015.

  10. Erfan Zamanian; Carsten Binnig; Abdallah Salama

    Locality-aware Partitioning in Parallel Database Systems

    In: Timos K. Sellis; Susan B. Davidson; Zachary G. Ives (Hrsg.). Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. ACM SIGMOD International Conference on Management of Data (SIGMOD-2015), May 31 - June 4, Melbourne, Victoria, Australia, Pages 17-30, ACM, 2015.