Skip to main content Skip to main navigation

Publications

Displaying results 811 to 820 of 14854.
  1. 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.

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

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

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

  5. Ankit Bende; Simranjeet Singh; Chandan Jha; Tim Kemper; Felix Cüppers; Christopher Bengel; Andre Zambanini; Dennis Nielinger; Sachin Patkar; Rolf Drechsler; Rainer Waser; Farhad Merchant; Vikas Rana

    Experimental Validation of Memristor-Aided Logic Using 1T1R TaOx RRAM Crossbar Array

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

  6. Alex Galakatos; Andrew Crotty; Emanuel Zgraggen; Carsten Binnig; Tim Kraska

    Revisiting Reuse for Approximate Query Processing

    In: Proceedings of the VLDB Endowment (PVLDB), Vol. 10, No. 10, Pages 1142-1153, Association for Computing Machinery (ACM), 2017.

  7. Erfan Zamanian; Carsten Binnig; Tim Kraska; Tim Harris

    The End of a Myth: Distributed Transaction Can Scale

    In: Proceedings of the VLDB Endowment (PVLDB), Vol. 10, No. 6, Pages 685-696, Association for Computing Machinery (ACM), 2017.

  8. Abdallah Salama; Carsten Binnig; Tim Kraska; Ansgar Scherp; Tobias Ziegler

    Rethinking Distributed Query Execution on High-Speed Networks

    In: IEEE Data Engineering Bulletin, Vol. 40, No. 1, Pages 27-37, IEEE, 2017.

  9. Cagatay Turkay; Nicola Pezzotti; Carsten Binnig; Hendrik Strobelt; Barbara Hammer; Daniel A. Keim; Jean-Daniel Fekete; Themis Palpanas; Yunhai Wang; Florin Rusu

    Progressive Data Science: Potential and Challenges

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/1812.08032, Pages 0-10, arXiv, 2018.

  10. Prasetya Utama; Nathaniel Weir; Fuat Basik; Carsten Binnig; Ugur Çetintemel; Benjamin Hättasch; Amir Ilkhechi; Shekar Ramaswamy; Arif Usta

    An End-to-end Neural Natural Language Interface for Databases

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/1804.00401, Pages 0-10, arXiv, 2018.