Theoretical and practical aspects of verification of quantum computers
- Yehuda Naveh
- Elham Kashefi
- et al.
- 2018
- DATE 2018
Publications
Date
Featured collections
Popular topics
8 results at DATE 2018
An energy-efficient and error-resilient server ecosystem exceeding conservative scaling limits
- Georgios Karakonstantis
- Konstantinos Tovletoglou
- et al.
- 2018
- DATE 2018
Energy-secure swarm power management
- Augusto Vega
- Alper Buyuktosunoglu
- et al.
- 2018
- DATE 2018
Exploiting approximate computing for deep learning acceleration
- Chia-Yu Chen
- Jungwook Choi
- et al.
- 2018
- DATE 2018
Progress on carbon nanotube BEOL interconnects
- Benjamin Uhlig
- Jie Liang
- et al.
- 2018
- DATE 2018
CHASE: Contract-based requirement engineering for cyber-physical system design
- Pierluigi Nuzzo
- Michele Lora
- et al.
- 2018
- DATE 2018
The transprecision computing paradigm: Concept, design, and applications
- Cristiano Malossi
- Michael Schaffner
- et al.
- 2018
- DATE 2018
DReDBox: Materializing a full-stack rack-scale system prototype of a next-generation disaggregated datacenter
- Maciej Bielski
- Ilias Syrigos
- et al.
- 2018
- DATE 2018