Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 3391 bis 3400 von 14672.

  1. Rolf Drechsler; Alireza Mahzoon

    Design Modification for Polynomial Formal Verification

    In: Proceedings of the 2022 International Symposium on Electrical, Electronics and Information Engineering. International Symposium on Electrical, Electronics and Information Engineering (ISEEIE-2022), February 25-27, Chiang Mai, Thailand, Pages 187-194, ISBN 978-1-6654-6874-9, IEEE Computer Society, CA; USA, 2/2022.

  2. Rolf Drechsler

    Fast and Exact is Doable: Polynomial Algorithms in Test and Verification

    In: 23rd IEEE Latin-American Test Symposium (LATS). IEEE Latin American Test Symposium (LATS-2022), September 5-8, Montevideo, Uruguay, 2022.

  3. Kamalika Datta; Saman Froehlich; Saeideh Shirinzadeh; Dev Narayan; Yadav Indranil Sengupta; Rolf Drechsler

    Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC-2022), October 3-5, Patras, Greece, o.A, 2022.

  4. Alexander Konrad; Christoph Scholl; Alireza Mahzoon; Daniel Große; Rolf Drechsler

    Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization

    In: Formal Methods in Computer-Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD), October 17-21, Trento, Italy, 2022.

  5. Rolf Drechsler; Alireza Mahzoon

    Preserving Design Hierarchy Information for Polynomial Formal Verification

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC-2022), October 3-5, Patras, Greece, 2022.

  6. Rolf Drechsler; Alireza Mahzoon

    Polynomial Formal Verification: Ensuring Correctness under Resource Constraints

    In: 41st International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD), October 30 - November 3, San Diego, USA, 2022.

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

    Mapping Quantum Circuits to 2-D Quantum Architectures

    In: GI Quantum Computing Workshop 2022 (GI QC 22). GI Quantum Computing Workshop (GI QC-22), September 27, Hamburg, Germany, 2022.

  8. Rolf Drechsler; Alireza Mahzoon

    One is not Enough: Using Hybrid Proof Engines for Polynomial Formal Verification

    In: Proceedings of the 24th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI). Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI-2022), October 24-25, Hirosaki, Japan, 2022.

  9. Omair Shahzad Bhatti; Michael Barz; Daniel Sonntag

    Leveraging Implicit Gaze-Based User Feedback for Interactive Machine Learning

    In: Ralph Bergmann; Lukas Malburg; Stephanie C. Rodermund; Ingo J. Timm (Hrsg.). KI 2022: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI), Cham, Pages 9-16, ISBN 978-3-031-15791-2, Springer International Publishing, 2022.

  10. Wei Jiang; Hans Dieter Schotten

    Intelligent Reflecting Vehicle Surface: A Novel IRS Paradigm for Moving Vehicular Networks

    In: Proceedings of IEEE MILCOM 2022. IEEE Military Communications Conference (MILCOM-2022), November 28 - December 2, Rockville, Maryland, USA, IEEE, 12/2022.

Jahr

Mehr Optionen