1352 search results - page 173 / 271 » Fault-Tolerant Quantum Computation |
DAC
2006
ACM
14 years 9 months ago
2006
ACM
Correctness is a paramount attribute of any microprocessor design; however, without novel technologies to tame the increasing complexity of design verification, the amount of bugs...
PADL
2009
Springer
14 years 8 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
SOSP
2007
ACM
14 years 5 months ago
2007
ACM
We propose a new paradigm for building scalable distributed systems. Our approach does not require dealing with message-passing protocols—a major complication in existing distri...
APPT
2009
Springer
14 years 2 months ago
2009
Springer
MapReduce has been prevalent for running data-parallel applications. By hiding other non-functionality parts such as parallelism, fault tolerance and load balance from programmers,...
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...