Skip to main content Skip to main navigation

Publications

Displaying results 861 to 870 of 14548.

  1. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    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.

  2. Fatemeh Shirinzadeh; Arighna Deb; Saeideh Shirinzadeh; Abhoy Kole; Kamalika Datta; Rolf Drechsler

    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.

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

  4. Chandan Jha; Sallar Ahmadi-Pour; Rolf Drechsler

    Input Distribution Aware Library of Approximate Adders Based on Memristor-Aided Logic

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

  5. Benjamin Hilprecht; Andreas Schmidt; Moritz Kulessa; Alejandro Molina; Kristian Kersting; Carsten Binnig

    DeepDB: Learn from Data, not from Queries!

    In: Proceedings of the VLDB Endowment (PVLDB), Vol. 13, No. 7, Pages 992-1005, Association for Computing Machinery (ACM), 2020.

  6. Sounak Kar; Robin Rehrmann; Arpan Mukhopadhyay; Bastian Alt; Florin Ciucu; Heinz Koeppl; Carsten Binnig; Amr Rizk

    On the Throughput Optimization in Large-scale Batch-processing Systems

    In: Performance Evaluation, Vol. 144, Pages 0-10, Elsevier, 2020.

  7. Benjamin Hilprecht; Carsten Binnig

    ReStore - Neural Data Completion for Relational Databases

    In: Guoliang Li; Zhanhuai Li; Stratos Idreos; Divesh Srivastava (Hrsg.). SIGMOD '21: International Conference on Management of Data, Virtual Event, China, June 20-25, 2021. ACM SIGMOD International Conference on Management of Data (SIGMOD), Pages 710-722, ACM, 2021.

  8. Johannes Wirth; Jaco A. Hofmann; Lasse Thostrup; Carsten Binnig; Andreas Koch

    Scalable and Flexible High-Performance In-Network Processing of Hash Joins in Distributed Databases

    In: International Conference on Field-Programmable Technology, FPT 2021, Auckland, New Zealand, December 6-10, 2021. International Conference on Field Programmable Technology (FPT), Pages 1-9, IEEE, 2021.

  9. Muhammad El-Hindi; Zheguang Zhao; Carsten Binnig

    ACID-V: Towards a New Class of DBMSs for Data Sharing

    In: El Kindi Rezig; Vijay Gadepally; Timothy G. Mattson; Michael Stonebraker; Tim Kraska; Fusheng Wang; Gang Luo; Jun Kong; Alevtina Dubovitskaya (Hrsg.). Heterogeneous Data Management, Polystores, and Analytics for Healthcare - VLDB Workshops, Poly 2021 and DMAH 2021, Revised Selected Papers. Workshop on Data Management and Analytics for Medicine and Healthcare and Workshop on Polystore Systems for Heterogeneous Data in Multiple Databases with Privacy and Security Assurances (DMAH/Poly-2021), located at VLDB 2021, August 20, Pages 60-64, Lecture Notes in Computer Science (LNCS), Vol. 12921, ISBN 978-3-030-93663-1, Springer, 2021.

  10. Benjamin Hättasch; Nadja Geisler; Carsten Binnig

    Netted?! How to Improve the Usefulness of Spider & Co

    In: Omar Alonso; Stefano Marchesin; Marc Najork; Gianmaria Silvello (Hrsg.). Proceedings of the Second International Conference on Design of Experimental Search & Information REtrieval Systems. International Conference on Design of Experimental Search & Information REtrieval Systems (DESIRES), September 15-18, Padova, Italy, Pages 38-43, CEUR Workshop Proceedings, Vol. 2950, CEUR-WS.org, 2021.

Year

More options