Books

8 results found
Title Authors Description OpenBook ID
Application-layer fault-tolerance protocols 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 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 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 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 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 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 Fault tolerant system design Shem-Tov Levi xx, 412 p. : 24 cm OL3929352W
Patterns for Fault Tolerant Software 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