163 search results - page 8 / 33 » A Case Study in the Mechanical Verification of Fault Toleran... |
DSN
2004
IEEE
13 years 10 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
ISCIS
2004
Springer
14 years 2 days ago
2004
Springer
Abstract. Achieving higher levels of dependability is a goal in any software project, therefore strategies for software reliability improvement are very attractive. This work intro...
ICRA
2005
IEEE
14 years 9 days ago
2005
IEEE
— Many tasks examined for robotic application like rescue missions or humanitarian demining require a robotic vehicle to navigate in unstructured natural terrain. This paper intr...
SRDS
2010
IEEE
13 years 4 months ago
2010
IEEE
We address the problem of providing transparent, lightweight, fault-tolerance mechanisms for generic peer-to-peer middleware systems. The main idea is to use the peer-to-peer overl...
ASAP
2006
IEEE
13 years 10 months ago
2006
IEEE
A popular approach to guarantee fault tolerance in safety-critical applications is to run the application on two processors. A checkpoint is inserted at the completion of the prim...