259 search results - page 5 / 52 » Fault Tolerance for Manufacturing Components |
EDCC
2005
Springer
15 years 8 months ago
2005
Springer
We present a hybrid synthesis method for automatic addition of fault-tolerance to distributed programs. In particular, we automatically specify and add pre-synthesized fault-tolera...
140
Voted
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
—Considerable work has been done on providing fault tolerance capabilities for different software components on largescale high-end computing systems. Thus far, however, these fa...
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a component model for building distributed applications with fault-tolerance requirements. The AFT-CCM model selects the configuration of replicated services d...
121
Voted
CBSE
2009
Springer
15 years 10 months ago
2009
Springer
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
167
click to vote
CBSQ
2003
Springer
15 years 8 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...