163 search results - page 25 / 33 » A Case Study in the Mechanical Verification of Fault Toleran... |
101
Voted
DFG
2004
Springer
15 years 7 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
126
Voted
SRDS
1998
IEEE
15 years 6 months ago
1998
IEEE
Dependable distributed systems are difficult to build. This is particularly true if they have dependability requirements that change during the execution of an application, and are...
133
click to vote
PRDC
1999
IEEE
15 years 6 months ago
1999
IEEE
Generally, applications employing Database Management Systems (DBMS) require that the integrity of the data stored in the database be preserved during normal operation as well as ...
125
Voted
STOC
2009
ACM
16 years 2 months ago
2009
ACM
The quantum analog of a constraint satisfaction problem is a sum of local Hamiltonians - each (term of the) Hamiltonian specifies a local constraint whose violation contributes to...
105
Voted
CLOUDCOM
2010
Springer
14 years 12 months ago
2010
Springer
Checkpointing is a widely used mechanism for supporting fault tolerance, but notorious in its high-cost disk access. The idea of memory-based checkpointing has been extensively stu...