|
Application-layer fault-tolerance protocols
|
Vincenzo De Florio |
"This book increases awareness of the need for application-level fault-tolerance (ALFT) through introduction of problems and qualitative analysis of solutions"--Provided by publisher. |
OL12018279W |
|
Concurrency in Dependable Computing
|
P. Ezhilchelvan |
Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as u… |
OL19837032W |
|
Design of Dependable Computing Systems
|
Jean-Claude Geffroy |
Today computing systems are more and more complex and they assume more and more responsibilities in all sectors of human activity. Unfortunately, many faults can harm the development or the use of th… |
OL19841348W |
|
Fault tolerant computer architecture
|
Daniel J. Sorin |
For many years, most computer architects have pursued one primary goal: performance. Architects have translated the ever-increasing abundance of ever-faster transistors provided by Moore's law into r… |
OL19849557W |
|
NASA Formal Methods
|
Guillaume Brat |
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presente… |
OL19890005W |
|
Software Performability: From Concepts to Applications
|
Ann T. Tai |
Computers are currently used in a variety of critical applications, including systems for nuclear reactor control, flight control (both aircraft and spacecraft), and air traffic control. Moreover, ex… |
OL19902770W |
|
Fault tolerant system design
|
Shem-Tov Levi |
xx, 412 p. : 24 cm |
OL3929352W |
|
Patterns for Fault Tolerant Software
|
Robert Hanmer |
Software patterns have revolutionized the way developer’s and architects think about how software is designed, built and documented.
Readers are guided from concepts and terminology, through common… |
OL9372381W |