Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 19 bis 24 von 12671
  1. Wireless Safety in Industrial 5G Networks

    In: Francisco J. G. Silva; António B. Pereira; Raul D. S. G. Campilho (Hrsg.). Flexible Automation and Intelligent Manufacturing: Establishing Bridges …

  2. A machine learning approach to color space Euclidization

    In: Color Research and Application (Color Res. Appl.), Vol. 49, No. 1, Pages 4-33, Wiley, 1/2024.

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

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

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

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