๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An application of formal analysis to software in a fault-tolerant environment

โœ Scribed by Chisholm, G.H.; Wojcik, A.S.

Book ID
119773033
Publisher
IEEE
Year
1999
Tongue
English
Weight
191 KB
Volume
48
Category
Article
ISSN
0018-9340

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An adaptive approach to achieving hardwa
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment
โœ A. Bondavalli; S. Chiaradonna; F. Di Giandomenico; J. Xu ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 356 KB

This paper focuses on the problem of providing tolerance to both hardware and software faults in independent applications running on a distributed computing environment. Several hybrid-fault-tolerant architectures are identified and proposed. Given the highly varying and dynamic characteristics of t