Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2015
Alle Filter entfernen
Zeige Ergebnisse 81 bis 90 von 540

  1. Zaid Al-Wardi; Robert Wille; Rolf Drechsler

    Towards Line-aware Realizations of Expressions for HDL-based Synthesis of Reversible Circuits

    In: 7th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-07), 7th, July 16-17, Grenoble, …

  2. Eleonora Schönborn; Robert Wille; Rolf Drechsler

    Quo Vadis, Reversible Circuit Design? Towards Scaling Design and Synthesis of Reversible Circuits

    In: Reed-Muller Workshop. Reed-Muller Workshop, May 18-20, Waterloo, Ontario, Canada, 2015.

  3. Abhoy Kole; Kamalika Datta; Indranil Sengupta; Robert Wille

    Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits

    In: 7th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-07), 7th, July 16-17, Grenoble, …

  4. Mathias Soeken; Michael Kirkedal Thomsen; Gerhard W. Dueck; D. Michael Miller

    Self-Inverse Functions and Palindromic Circuits

    In: Reed-Muller Workshop. Reed-Muller Workshop, May 21, Waterloo, Canada, 2015.

  5. Abraham Gebru Tesfay

    Terrain Type Classification Based on Sound

    Mastersthesis, Universität des Saarlandes, 10/2015.

  6. Christoph Hilken; Jan Peleska; Robert Wille

    A Unified Formulation of Behavioral Semantics for SysML Models

    In: Modelsward 3rd International Conference on Model-Driven Engineering and Software Development. International Conference on Model-Driven Engineering …

  7. Nabila Abdessaied; Mathias Soeken; Rolf Drechsler

    Technology mapping for quantum circuits using Boolean functional decomposition

    In: 7th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-07), 7th, July 16-17, Grenoble, …

  8. Philipp Niemann; Saikat Basu; Amlan Chakrabarti; Niraj K. Jha; Robert Wille

    Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions

    In: 7th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-07), 7th, July 16-17, Grenoble, …

  9. Zaid Al-Wardi; Robert Wille; Rolf Drechsler

    Towards Code Optimization for Line-aware HDL-based Synthesis of Reversible Circuits

    In: 7th Conference on Reversible Computation. International Conference on Reversible Computation (RC), 7th, July 16-17, Grenoble, France, 2015.

  10. Mathias Soeken; Julia Seiter; Rolf Drechsler

    Coverage of OCL Operation Specifications and Invariants

    In: Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. International Conference on Tests …

Jahr