Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 795
  1. Philipp Niemann; Alexandre A. A. de Almeida; Gerhard Dueck; Rolf Drechsler

    Template-based mapping of reversible circuits to IBM quantum computers

    In: Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Vol. 90, Elsevier, 2022.

  2. Pascal Pieper; Vladimir Herdt; Rolf Drechsler

    Advanced Environment Modeling and Interaction in an Open Source RISC-V Virtual Prototype

    In: Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2022), June 6-8, Irvine, USA, 2022.

  3. Niklas Bruns; Vladimir Herdt; Daniel Große; Rolf Drechsler

    Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing

    In: Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2022), June 6-8, Irvine, USA, 2022.

  4. Christina Plump; Bernhard J. Berger; Rolf Drechsler

    Adapting mutation and recombination operators to range-aware relations in real-world application data

    In: The Genetic and Evolutionary Computation Conference (GECCO Companion). Genetic and Evolutionary Computation Conference (GECCO-2022), July 9-13, …

  5. Philipp Niemann; Rolf Drechsler

    Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic

    In: 52nd International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2022), May 18-20, …

  6. Durgesh Haribhau Salunkhe; Guillaume Michel; Shivesh Kumar; Marcello Sanguineti; Damien Chablat

    An efficient combined local and global search strategy for optimization of parallel kinematic mechanisms with joint limits and collision constraints

    In: Mechanism and Machine Theory, Vol. 173, Pages 1-32, Elsevier, 4/2022.

  7. Interactive Assessment Tool for Gaze-based Machine Learning Models in Information Retrieval

    In: ACM SIGIR Conference on Human Information Interaction and Retrieval. ACM SIGIR Conference on Human Information Interaction and Retrieval …

  8. Ho Minh Duy Nguyen; Roberto Henschel; Bodo Rosenhahn; Daniel Sonntag; Paul Swoboda

    LMGP: Lifted Multicut Meets Geometry Projections for Multi-Camera Multi-Object Tracking

    In: Conference on Computer Vision and Pattern Recognition (CVPR) 2022. International Conference on Computer Vision and Pattern Recognition (CVPR), …

  9. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

    Verifying SystemC TLM Peripherals using Modern C++ Symbolic Execution Tools

    In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC-2022), July 10-14, San Francisco, USA, 2022.