384 search results - page 13 / 77 » Formal Development of Reactive Fault Tolerant Systems |
120
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
141
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
The paper describes a metaobject architecture for distributed fault tolerant systems. Basically metaobject protocols enables functional objects to be independent from meta-function...
135
click to vote
JSA
2000
15 years 3 months ago
2000
We propose an approach to determine the shortest path between the source and the destination nodes in a faulty or a nonfaulty hypercube. The number of faulty nodes and links may b...
120
Voted
SRDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Replication is one of the prominent approaches for obtaining fault tolerance. Implementing replication on commodity hardware and in a transparent fashion, i.e., without changing t...
135
click to vote
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
The development of dependable software systems is a costly undertaking. Fault tolerance techniques as well as self-repair capabilities usually result in additional system complexi...