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 61 to 70 of 254.
  1. 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.

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

  3. Simranjeet Singh; Chandan Kumar Jha; Vikas Rana Ankit Bende; Sachin Patkar; Rolf Drechsler; Farhad Merchant

    MemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory

    In: 29th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2024), January …

  4. Security Coverage Metrics for Information Flow at the System Level

    In: 29th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2024), January …

  5. Pranav Sharma; Jigyasa Singh Katrolia; Jason Raphael Rambach; Bruno Mirbach; Didier Stricker

    Achieving RGB-D Level Segmentation Performance From a Single ToF Camera

    In: Proceedings of the. International Conference on Pattern Recognition Applications and Methods (ICPRAM-2024), February 24-26, Rome, Italy, …

  6. Malte Luttermann; Tanya Braun; Ralf Möller; Marcel Gehrke

    Colour Passing Revisited: Lifted Model Construction with Commutative Factors

    In: Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-2024), February …

  7. Towards a Model Factory Experimentation Environment for Cyber-Physical Twins

    In: Tung Bui (Hrsg.). Proceedings of the 57th Hawaiian International Conference on Systems Science. Hawaii International Conference on System Sciences …

  8. CaRaCTO: Robust Camera-Radar Extrinsic Calibration with Triple Constraint Optimization

    In: International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods …

  9. Kemal Çağlar Coşkun; Muhammad Hassan; Lars Hedrich; Rolf Drechsler

    Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent

    In: 61st Design Automation Conference (DAC). Design Automation Conference (DAC), June 23-27, San Francisco, USA, 2024.

  10. Khushboo Qayyum; Muhammad Hassan; Sallar Ahmadi-Pour; Chandan Kumar Jha; Rolf Drechsler

    Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification

    In: 61st Design Automation Conference (DAC). Design Automation Conference (DAC-2024), June 23-27, San Francisco, USA, 2024.