Skip to main content Skip to main navigation

Publications

Displaying results 691 to 700 of 14846.

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

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

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

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

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

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

  7. Daniel Geißler; Mengxi Liu; Bo Zhou; Sungho Suh; Paul Lukowicz

    Spend More to Save More (SM2): An Energy and Hardware-Aware Implementation of Successive Halving for Sustainable Hyperparameter Optimization

    In: Architecture of Computing Systems. International Conference on Architecture of Computing Systems (ARCS), Springer Nature Link, 2025.

  8. Dennis Salzmann; Florian Herrmann; Christoph Fischer; Hans Dieter Schotten

    Evaluating and Integrating Positioning Technologies: A Framework for Industrial Applications

    In: 2025 IEEE/ION Position, Location and Navigation Symposium (PLANS). IEEE/ION Position, Location and Navigation Symposium (IEEE/ION PLANS-2025), April 28 - May 1, Salt Lake City, UT, USA, Pages 756-767, Institute of Electrical and Electronics Engineers (IEEE), in collaboration with ION (The Institute of Navigation), 2025.

  9. Florian Cordes; Babu Ajish; Tobias Stark

    Sherpa, a family of wheeled-leg rovers

    In: Shivesh Kumar; Andreas Mueller; Frank Kirchner. Biologically Inspired Series-Parallel Hybrid Robots. Pages 281-304, Vol. 514, ISBN 978-0-323-88482-2, Elsevier Science, 12/2024.

  10. Sanket Partani; Michael Zentarra; Anthony Kiggundu; Hans Dieter Schotten

    Improving QoS Prediction in Urban V2X Networks by Leveraging Data from Leading Vehicles and Historical Trends

    In: IEEE 101st Vehicular Technology Conference. IEEE Vehicular Technology Conference (VTC-2025-Spring), June 17-20, Oslo, Norway, IEEE Xplore, 2025.

Year

More options