Skip to main content Skip to main navigation

Publications

Displaying results 561 to 570 of 14520.

  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. Nick Kocher; Christian Wassermann; Leona Hennig; Jonas Seng; Holger H. Hoos; Kristian Kersting; Marius Lindauer; Matthias S. Müller

    Guidelines for the Quality Assessment of Energy-Aware NAS Benchmarks

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2505.15631, Pages 1-10, Computing Research Repository, 2025.

  6. Zihan Ye; Oleg Arenz; Kristian Kersting

    Learning from Less: Guiding Deep Reinforcement Learning with Differentiable Symbolic Planning

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2505.11661, Pages 1-23, Computing Research Repository, 2025.

  7. Elisabeth Dillies; Quentin Delfosse; Jannis Blüml; Raban Emunds; Florian Peter Busch; Kristian Kersting

    Better Decisions through the Right Causal World Model

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2504.07257, Pages 1-5, Computing Research Repository, 2025.

  8. Jannis Blüml; Cedric Derstroff; Bjarne Gregori; Elisabeth Dillies; Quentin Delfosse; Kristian Kersting

    Deep Reinforcement Learning via Object-Centric Attention

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2504.03024, Pages 1-39, Computing Research Repository, 2025.

  9. Indraneil Paul; Haoyi Yang; Goran Glavas; Kristian Kersting; Iryna Gurevych

    ObscuraCoder: Powering Efficient Code LM Pre-Training Via Obfuscation Grounding

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2504.00019, Pages 1-39, Computing Research Repository, 2025.

  10. Jonas Seng; Florian Peter Busch; Pooja Prasad; Devendra Singh Dhami; Martin Mundt; Kristian Kersting

    Scaling Probabilistic Circuits via Data Partitioning

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2503.08141, Pages 1-15, Computing Research Repository, 2025.

Year

More options