Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 3301 bis 3310 von 14648.

  1. Tim Meywerk; Arthur Niedzwiecki; Vladimir Herdt; Rolf Drechsler

    Simulation-Based Debugging of Formal Environment Models

    In: The 30th Mediterranean Conference on Control and Automation (MED). Mediterranean Conference on Control and Automation (MED), June 28 - July 1, Athen, Greece, 2022.

  2. Soumya Sengupta; Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler

    AQuCiDe: Architecture Aware Quantum Circuit Decomposition

    In: 2022 International Symposium on Quantum Computing: Circuits Systems Automation and Applications (QC-CSAA). International Symposium on Quantum Computing: Circuits Systems Automation and Applications (QC-CSAA-2022), July 18-19, Knoxville, USA, Springer, 2022.

  3. Sallar Ahmadi-Pour; Sangeet Saha; Vladimir Herdt; Rolf Drechsler; Klaus McDonald-Maier

    Task Mapping and Scheduling in FPGA-based Heterogeneous Real-time Systems: A RISC-V Case-Study

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, Spain, 2022.

  4. Saman Fröhlich; Rolf Drechsler

    Generation of Verified Programs for In-Memory Computing

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2022), August 31 - September 2, Gran Canaria, Spain, 2022.

  5. Martha Schnieber; Saman Fröhlich; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, Spain, 2022.

  6. Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler

    SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2022), August 31 - September 2, Gran Canaria, Spain, 2022.

  7. Kamalika Datta; Saeideh Shirinzadeh; Phrangboklang Lyngton Thangkhiew; Indranil Sengupta; Rolf Drechsler

    Unlocking Sneak Path Analysis in Memristor Based Logic Design Styles

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, Spain, 2022.

  8. Katharina Bendig; René Schuster; Didier Stricker

    Self-SuperFlow: Self-supervised Scene Flow Prediction in Stereo Sequences

    In: International Conference on Image Processing. IEEE International Conference on Image Processing (ICIP-2022), October 16-19, Bordeaux, France, IEEE, 2022.

  9. Mohamed Selim; Stephan Krauß; Tewodros Amberbir Habtegebrial; Alain Pagani; Didier Stricker

    Deep Orientation-Guided Gender Recognition from Face Images

    In: Proceedings of the 12th International Conference on Pattern Recognition Systems. International Conference on Pattern Recognition Systems (ICPRS-22), June 7-10, Saint-Étienne, France, IEEE, 2022.

  10. Nareg Minaskan Karabid; Charles-Alban Dormoy; Alain Pagani; Jean-Marc Andre; Didier Stricker

    Human intelligent machine teaming in single pilot operation: A case study

    In: HCI International 2022. Human Computer Interaction International Conferences (HCII-2022), June 26 - July 1, Gothenburg/Virtual, Sweden, Springer, 2022.

Jahr

Mehr Optionen