947 search results - page 138 / 190 » Fault Tolerant Computation on Ensemble Quantum Computers |
157
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
162
click to vote
IVEVA
2004
15 years 7 months ago
2004
Grid technology has been widely used for large-scale computational problems, but it also provides a framework for running a big number of smallsized processes. Moreover, these proc...
194
click to vote
NSDI
2004
15 years 7 months ago
2004
Virtual machine monitors (VMMs) have enjoyed a resurgence in popularity, since VMMs can help to solve difficult systems problems like migration, fault tolerance, code sandboxing, ...
106
click to vote
CACM
2005
15 years 6 months ago
2005
een program and data, abstraction, recursion, tractability, virtualization, and fault tolerance are among its basic principles. No one would dispute that the very idea of computing...
172
click to vote
JSS
1998
15 years 5 months ago
1998
An important problem in the ®eld of distributed systems is that of detecting the termination of a distributed computation. Distributed termination detection (DTD) is a dicult p...