Skip to main content Skip to main navigation


Displaying results 13 to 18 of 703.
  1. Tackling Non-transparency - Identification of Hidden Problems in Component-Based Supply Chains

    In: Proceedings of 20th International Conference on INFORMATION SYSTEMS FOR CRISIS RESPONSE AND MANAGEMENT (ISCRAM). International Conference on …

  2. Alireza Mahzoon; Daniel Große; Rolf Drechsler

    Formal Verification of Structurally Complex Multipliers

    ISBN 978-3-031-24571-8, Springer, 2023.

  3. Sana Hassan; Sebastian Huhn; Lars Hornuf; Rolf Drechsler

    A Novel Default Risk Prediction and Feature Importance Analysis Technique for Marketplace Lending using Machine Learning

    In: Journal of Credit and Capital Markets, Vol. 03, Duncker&Humblot, 2023.

  4. Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques

    In: Marcel Merten; Muhammad Hassan; Rolf Drechsler (Hrsg.). 26th Design & Diagnostics of Electronic Circuits & Systems (DDECS). IEEE International …

  5. Christopher Metz; Mehran Goli; Rolf Drechsler

    Fast and Accurate: Machine Learning Techniques for Performance Estimation of CNNs for GPGPUs

    In: 5th Workshop on Parallel AI and Systems for the Edge (PAISE). Workshop on Parallel AI and Systems for the Edge (PAISE-2023), located at IPDPS …

  6. Security Validation of VP-based Heterogeneous Systems: A Completeness-driven Perspective

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …