Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 811 bis 820 von 14473.

  1. Fatemeh Shirinzadeh; Saeideh Nabipour; Kamalika Datta; Chandan Jha; Saeideh Shirinzadeh; Rolf Drechsler

    MAC-based Mapping of Adder Architectures to RRAM Crossbars

    In: 7th International Conference on Emerging Electronics (ICEE 2025). IEEE International Conference on Engineering and Emerging Technologies (ICEET), December 13-16, Bengaluru, India, 2025.

  2. Karl Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Pages 1-1, IEEE, 2025.

  3. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Debugging and Fault Correction of Combinational Circuits With Constant Cutwidth

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2025.

  4. Martin Wittmaier; Sebastian Wolff; Marco Wöltje; Ole van Laaten; Thomas Vögele; Babu Ajish; Yuhan Jin; Yi-Ling Liu; Tim Tiedemann; Matthis Trost; Philipp Meyer; Timo Lange; Peter Schaeidt; Joschua Marquart

    Bauabfälle: Einsatz von Künstlicher Intelligenz und Robotik für eine nachhaltige Kreislaufwirtschaft

    Mineralische Nebenprodukt, TK Verlag, 6/2025.

  5. Leon Wichette; Hans Hohenfeld; Elie Mounzer; Linnea Grans-Samuelsson

    A partition function framework for estimating logical error curves in stabilizer codes

    In: ArXiv e-prints (arxiv), Vol. abs/2505.15758, Pages 1-38, Arxiv, 2025.

  6. Sara Khan; Mehmed Yüksel; Frank Kirchner

    Robust anomaly detection through multi-modal autoencoder fusion for small vehicle damage detection

    In: Machine Learning with Applications, Vol. 22, Pages 1-14, Elsevier Ltd. 12/2025.

  7. Christoph Lüth; Tim Güneysu; Pascal Sasdrich; Rolf Drechsler

    EMBOSOM | Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms

    In: Workshop on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), Lyon, France, 2025.

  8. Caroline Dominik; Rolf Drechsler

    Embedding Modulo Counter Circuits for their Polynomial Formal Verification

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 11-12, Rostock, Germany, 2025.

  9. Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    Symbolic Execution of Unmodified SystemC Peripherals

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV), March 11-12, Rostock, Germany, 2025.

  10. Francisco Mena; Deepak Kumar Pathak; Hiba Najjar; Cristhian Sanchez; Patrick Helber; Benjamin Bischke; Peter Habelitz; Miro Miranda Lorenz; Jayanth Siddamsetty; Marlon Nuske; Marcela Charfuelan Oliva; Diego Arenas; Michaela Vollmer; Andreas Dengel

    Adaptive Fusion of Multi-Modal Remote Sensing data for Optimal Sub-field Crop Yield Prediction

    In: Remote Sensing of Environment (RSE), Vol. 318, Pages 0-20, Elsevier, 3/2025.

Jahr

Mehr Optionen