Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 711 bis 720 von 15198.
  1. Karl Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution

    In: 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), May 5-7, 2025.

  2. LLM-assisted Performance Estimation of Embedded Software on RISC-V Processors

    In: 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2025), May 5-7, Lyon, France, 2025.

  3. Multi-Input MAGIC Synthesis and Verification for In-Memory Computing Design

    In: IEEE International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2025), June 5-6, Montreal, Canada, 2025.

  4. Hideaki Kanayama; Mahdi Chamseddine; Suresh Guttikonda; So Okumura; Soichiro Yokota; Didier Stricker; Jason Raphael Rambach

    ToF-360 – A Panoramic Time-of-flight RGB-D Dataset for Single Capture Indoor Semantic 3D Reconstruction

    In: IEEE/CVF (Hrsg.). 21st. CVPR Workshop on Perception Beyond the Visible Spectrum (PBVS-2025), June 11-15, Nashville, Tennessee, USA, IEEE, 2025.

  5. Qiushi Guo; Shaoxiang Wang; Chun-Peng Chang; Jason Raphael Rambach

    CACP: Context-Aware Copy-Paste to Enrich Image Content for Data Augmentation

    In: Proceedings of the 1st Workshop on Exploring the Next Generation of Data. CVPR Workshop on Exploring the Next Generation of Data (NeXD-25), located at CVPR 2025, June 11, Nashville, TN, USA, IEEE, 2025.

  6. Katharina-Maria Illgen; Oliver Thomas

    From Legislation to Human Flourishing: Unveiling the Characteristics of Digital Well-Being by Taxonomy Development from an EU Perspective

    In: Proceedings of the 27th International Conference on Enterprise Information Systems. International Conference on Enterprise Information Systems (ICEIS-2025), Porto, Pages 393-404, Vol. 2, ISBN 978-989-758-749-8, 2025.

  7. Queuing Theory-Based Modeling and Optimization of a Publish/Subscribe IoT Communication System

    In: IEEE International Conference on Communications. IEEE International Conference on Communications (ICC-2025), IoT and Sensor Networks Symposium, located at ICC-2025, June 8-12, Montreal, Ottawa, Canada, IEEE Xplore, 2025.

  8. IEEE (Hrsg.)

    IEEE International Conference on Communications

    IEEE International Conference on Communications (ICC-2025), Communications Technologies for Good, located at ICC-2025, June 8-12, Montreal, Ottawa, Canada, IEEE, 2025.

  9. Muhammad Umer Tariq Butt; Stalin Varanasi; Günter Neumann

    Enabling Low-Resource Language Retrieval: Establishing Baselines for Urdu MS MARCO

    In: 47th European Conference on Information Retrieval (ECIR). European Conference on Information Retrieval (ECIR-2025), April 6-10, Lucca, Italy, ECIR, 4/2025.

  10. Design Exploration für RISC-V Prozessoren zur Optimierung von Erklärbarkeit für Maschinelles Lernen

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