Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 191 bis 200 von 3896.

  1. Sutirtha Bhattacharyya; Chandan Jha; Rolf Drechsler

    Reinforcement Learning Guided Boundary Activity Passing for Incremental Bounded Model Checking

    In: 8th ACM/IEEE International Symposium on Machine Learning for CAD. ACM/IEEE Workshop on Machine Learning for CAD (MLCAD-2026), September 7-9, Seogwipo, Korea, Democratic People's Republic of, 2026.

  2. Karl Aaron Rudkowski; Abhoy Kole; Rolf Drechsler

    Optimizing Run-Time Assertions for Quantum Circuit Debugging: A Depth–Ancilla Tradeoff

    In: 39th 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-2026), September 30 - October 2, Rom, Italy, IEEE, 2026.

  3. Saeideh Nabipour; Saeideh Shirinzadeh; Rolf Drechsler

    A Design Automation Framework for Approximate MAGIC-Based Dadda Tree Multipliers in Memristive In-Memory Computing

    In: 29th Euromicro Conference Series on Digital System Design (DSD) 2026. Euromicro Conference on Digital System Design (DSD-2026), September 2-4, Krakau, Poland, 2026.

  4. Luca Müller; Mohamed Nadeem; Rolf Drechsler

    Scalability Matters: Future-Proof Formal Verification of a RISC-V Arithmetic Logic Unit

    In: 29th Euromicro Conference Series on Digital System Design (DSD) 2026. Euromicro Conference on Digital System Design (DSD-2026), September 2-4, Krakau, Poland, 2026.

  5. Sallar Ahmadi-Pour; Chandan Jha; Rolf Drechsler

    NPN-ApproxLib: DNN-Aware Approximate Multiplier Design via NPN Classes

    In: Proceedings of the 8th IEEE International Conference on Artificial Intelligence Circuits and Systems. IEEE International Conference on Artificial Intelligence Circuits and Systems (AICAS-2026), September 16-18, Ha Long Bay, Viet Nam, IEEE, 2026.

  6. Sallar Ahmadi-Pour; Luca Müller; Rolf Drechsler

    Exploring the Parameter Space for Constrained Random Verification of RISC-V CPUs

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy, 2026.

  7. Quentin Halbach; Vibhu Kaushik; Aheli Saha; Nguyen H. P. Nguyen; Arne Roennau; Chiara Bartolozzi; Alessio Franci; Elisabetta Chicca; René Schuster; Claudia Lenk

    Towards Adaptive Neuromorphic Sensing based on Active Efficient Coding

    International Workshop on Active Inference (IWAI), 2026.

  8. Katharina Bendig; René Schuster; Didier Stricker

    Sequence-SOD: Bio-inspired Sequence-aware Spiking ObjectDetection for Event Cameras

    In: Cognitive Computation, Vol. 18, Springer Nature, 2026.

  9. Anthony Kiggundu; Bin Han; Hans Dieter Schotten

    Orchra: Stateful-aware Cross-slice Workload Migrations in the 6G Control Plane

    In: Proceedings of the IEEE Conference on Standards for Communications and Networking, CSCN 2026. IEEE Conference on Standards for Communications and Networking (IEEE CSCN-2026), September 7-9, London, United Kingdom, IEEE, 2026.

  10. Anna Gieß; Josip Lovrekovic; Masoumeh Tavakoligargari; Manuel Etzkorn; Jan Jürjens; Harald von Korflesch; Peter Fettke

    The Hidden Backbone of Knowledge Transfer: A Taxonomy and Archetypes of Transfer Data in Non-University Research Institutions

    In: PACIS 2026 Proceedings. Pacific Asia Conference on Information Systems (PACIS-2026), located at PACIS-2026, July 4-8, Jakarta, Indonesia, AIS eLibrary, 2026.

Jahr

Mehr Optionen