3886 search results - page 23 / 778 » Implementing Fault-Tolerant Distributed Applications |
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...
RTAS
2008
IEEE
14 years 1 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
IPPS
2000
IEEE
13 years 12 months ago
2000
IEEE
For economic reasons, a new trend in the development of distributed hard real-time systems is to rely on the use of CommercialO -The-Shelf cots hardware and operating systems. As...
EUROPAR
2007
Springer
14 years 1 months ago
2007
Springer
Grid applications need to be fault tolerant, malleable, and migratable. In previous work, we have presented orphan saving, an efficient mechanism addressing these issues for divide...