Eingebettete Intelligenz

Seite 4 von 14.

1. Nils Przigoda; Philipp Niemann; Jonas Gomes Filho; Robert Wille; Rolf Drechsler

   Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements

   In: Marjan Mernik (Hrsg.). Computer Languages, Systems & Structures (COMLAN), Elsevier, 2018.

2. Frank Sill Torres; Marcel Walter; Robert Wille; Daniel Große; Rolf Drechsler

   Synchronization of Clocked Field-Coupled Circuits

   In: IEEE (Hrsg.). Proceedings of 2018 IEEE International Conference on Nanotechnology. International Conference on Nanotechnology (NANO-2018), July …

3. Frank Sill Torres; Robert Wille; Marcel Walter; Philipp Niemann; Daniel Große; Rolf Drechsler

   Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata

   In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2018), August 29-31, Prague, Czech …

4. Samah Mohamed Saeed; Xiaotong Cui; Alwin Zulehner; Robert Wille; Rolf Drechsler; Kaijie Wu; Ramesh Karri

   IC/IP Piracy Assessment of Reversible Logic

   In: 37th International Conference On Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD-37), November …

5. Oliver Keszöcze; Robert Wille; Rolf Drechsler

   Exact Design of Digital Microfluidic Biochips

   Springer, 2018.

6. Philipp Niemann; Robert Wille; Rolf Drechsler

   Optimizing Ts in the Synthesis of Clifford+T Quantum Circuits

   In: 2nd International Workshop on Quantum Compilation (IWQC, co-located with ICCAD). International Workshop on Quantum Compilation (IWQC-02), November …

7. Robert Wille; Bing Li; Rolf Drechsler; Ulf Schlichtmann

   Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks

   In: In Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2018), September 10-12, München, Germany, 2018.

8. Sebastian Huhn; Stefan Frehse; Robert Wille; Rolf Drechsler

   Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods

   In: 22nd Asia and South Pacific Design Automation Conference ASP-DAC 2017. Asia and South Pacific Design Automation Conference (ASP-DAC-22), January …

9. Fritjof Bornebusch; Robert Wille; Rolf Drechsler

   Towards Lightweight Satisfiability Solvers for Self-Verification

   In: 7th International Symposium on Embedded Computing and System Design. International Symposium on Electronic System Design (ISED-17), 7th, December …

10. Arighna Deb; Robert Wille; Rolf Drechsler

    Dedicated Synthesis for MZI-based Optical Circuits based on AND-Inverter Graphs

    In: International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD-2017), November …

• vorherige
• 1
• …
• 3
• 4
• 5
• …
• 14
• nächste