Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 651 bis 660 von 14699.

  1. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

  2. Deepak Ravibabu; Sallar Ahmadi-Pour; Muhammad Hassan; Abhoy Kole; Chandan Jha; Rolf Drechsler

    System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, Schloss Rheinfels, Germany, 2025.

  3. Chandan Jha; Sumit Kumar Jha; Ulf Schlichtmann; Rolf Drechsler

    Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2025), October 21-23, Barcelona, Spain, IEEE, 2025.

  4. Mohammad Reza Heidari Iman; Rolf Drechsler; Chandan Jha; Ali Azarpeyvand; Tara Ghasempouri; Sharjeel Imtiaz; Jaan Raik; Samuele Germiniani; Daniele Nicoletti; Graziano Pravadelli; Giorgio Di Natale

    Application of Functional Verification Techniques in Hardware Trust

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2025), October 21-23, Barcelona, Spain, IEEE, 2025.

  5. Miro Miranda Lorenz; Ashutosh Dinesh; Duway Nicolas Lesmes Leon; Francisco Mena; Marcela Charfuelan Oliva; Andreas Dengel (Hrsg.)

    RegDiff: Regression Diffusion for Earth Observation

    IEEE International Geoscience and Remote Sensing Symposium (IGARSS-2025), August 3-8, Brisbane, Australia, IEEE, 8/2025.

  6. Miro Miranda Lorenz; Francisco Mena; Marcela Charfuelan Oliva; Andreas Dengel (Hrsg.)

    Informed Learning for efficient Crop Yield Prediction

    IEEE International Geoscience and Remote Sensing Symposium (IGARSS-2025), August 3-8, Brisbane, Australia, IEEE, 2025.

  7. Abhoy Kole; Rolf Drechsler

    Performance Gains in Quantum SAT Solvers Using ESOP Encoding

    In: Proceedings of the Workshop on Formal Methods in Quantum Computing (FMQC 2025). Workshop on Formal Methods in Quantum Computing (FMQC-2025), located at CONFEST 2025, August 25, Aarhus, Denmark, 2025.

  8. Saeideh Nabipour; Kamalika Datta; Abhoy Kole; Saeideh Shirinzadeh; Rolf Drechsler

    Fast and Scalable MAGIC-Based Wallace Tree Multiplier for In-Memory Computing

    In: Proceedings of the 2025 IEEE Cross-disciplinary Conference on Memory-Centric Computing (CCMCC). IEEE Cross-disciplinary Conference on Memory-Centric Computing (CCMCC-2025), October 8-10, Dresden, Germany, IEEE, 2025.

  9. Mhd Rashed Al Koutayni; Gerd Reis; Didier Stricker

    Optimization strategies for neural network deployment on FPGA: An energy-efficient real-time face detection use case

    In: Internet of Things, Vol. 33, Pages 1-16, Elsevier, 9/2025.

  10. Benjamin Alt; Sebastian Bast; Matthias Babel; Julian Buitmann; Lars Creutz; Guido Dartmann; Marvin Ehaus; Thomas Engel; Fabian Gast; Nina Großegesse; Achim Guldner; Nils Jahnke; David Jilg; Marc-Fabian Körner; Justus Leskow; Johannes Mundorf; Stefan Naumann; Alexandra Pehlken; Marvin Schacht; Leo Schick; Tobias Schlagenhauf; Alexander Schultheis; Karsten Schörner; Sebastian Straub; Jens Strüker; Ralph Traphöner; Moritz-André Weiher

    Bewertung von Edge-Cloud-Systemen: Vorgehen, Instrumente und Metriken

    Institut für Innovation und Technik (iit) in der VDI/VDE Innovation + Technik GmbH, 2025.

Jahr

Mehr Optionen