Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 221 bis 230 von 13882.
  1. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  2. Exploring Foundation Model Fusion Effectiveness and Explainability for Stylistic Analysis of Emotional Podcast Data

    In: Advances in Information and Communication. Future of Information and Communication Conference (FICC-2025), located at FICC-2025, March 4-5, Berlin, Germany, Springer Nature, Switzerland, 2025.

  3. An SDR-Based Evaluation of Maximum Likelihood Estimator and MUSIC Algorithm for TDOA in 5G Campus Networks

    In: Proceedings of the 2025 International Conference on Smart Applications, Communications and Networking (SmartNets). International Conference on Smart Applications, Communications and Networking (SmartNets-2025), 7th, July 22-24, Istanbul, Turkey, IEEE, 2025.

  4. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

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

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

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

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

  8. FedAvgen: Metadata for Model Aggregation In Communication Systems

    In: 11th IEEE NetSoft 2025 Proceedings. Open Source 6G Networks for Connecting the Unconnected Workshop (Open6GNet-2025), IEEE NetSoft 2025, June 23, Budapest, Hungary, IEEE, 6/2025.

  9. Continuous learning of contact episodes from proprioceptive sensors in industrial assembly scenarios using Adaptive Resonance Theory

    In: Proceedings of the 7th International Conference on Intelligent and Fuzzy Systems - INFUS2025. International Conference on Intelligent and Fuzzy Systems (INFUS-2025), July 29-31, Istanbul, Turkey, Pages 324-349, Vol. 1531, ISBN 978-3-031-98303-0, Springer, 7/2025.