↓ Skip to main content

Reliable Computer Systems

Overview of attention for book
Cover of 'Reliable Computer Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Introduction
  4. Altmetric Badge
    Chapter 3 Fault Tolerance Terminology Proposals
  5. Altmetric Badge
    Chapter 4 System Structure for Software Fault Tolerance
  6. Altmetric Badge
    Chapter 5 Operating Systems: The Problems of Performance and Reliability
  7. Altmetric Badge
    Chapter 6 Introduction
  8. Altmetric Badge
    Chapter 7 A Program Structure for Error Detection and Recovery
  9. Altmetric Badge
    Chapter 8 A Reconsideration of the Recovery Block Scheme
  10. Altmetric Badge
    Chapter 9 Recovery Blocks in Action: A System Supporting High Reliability
  11. Altmetric Badge
    Chapter 10 Sequential Pascal with Recovery Blocks
  12. Altmetric Badge
    Chapter 11 Fault-Tolerant Sequential Programming Using Recovery Blocks
  13. Altmetric Badge
    Chapter 12 A Recovery Cache for the PDP-11
  14. Altmetric Badge
    Chapter 13 Recovery and Crash Resistance in a Filing System
  15. Altmetric Badge
    Chapter 14 Introduction
  16. Altmetric Badge
    Chapter 15 Software Reliability: The Role of Programmed Exception Handling
  17. Altmetric Badge
    Chapter 16 Exception Handling and Software Fault Tolerance
  18. Altmetric Badge
    Chapter 17 Robust Data Types
  19. Altmetric Badge
    Chapter 18 Systematic Detection of Exception Occurrences
  20. Altmetric Badge
    Chapter 19 Safe Programming
  21. Altmetric Badge
    Chapter 20 Introduction
  22. Altmetric Badge
    Chapter 21 Process Structuring, Synchronization, and Recovery Using Atomic Actions
  23. Altmetric Badge
    Chapter 22 A Formal Model of Atomicity in Asynchronous Systems
  24. Altmetric Badge
    Chapter 23 Reliable Resource Allocation Between Unreliable Processes
  25. Altmetric Badge
    Chapter 24 Concurrent Pascal with Backward Error Recovery: Language Features and Examples
  26. Altmetric Badge
    Chapter 25 Concurrent Pascal with Backward Error Recovery: Implementation
  27. Altmetric Badge
    Chapter 26 A Framework for Software Fault Tolerance in Real-Time Systems
  28. Altmetric Badge
    Chapter 27 Introduction
  29. Altmetric Badge
    Chapter 28 A Model of Recoverability in Multilevel Systems
  30. Altmetric Badge
    Chapter 29 The Provision of Recoverable Interfaces
  31. Altmetric Badge
    Chapter 30 Structuring Distributed Systems for Recoverability and Crash Resistance
  32. Altmetric Badge
    Chapter 31 Introduction
  33. Altmetric Badge
    Chapter 32 State Restoration in Distributed Systems
  34. Altmetric Badge
    Chapter 33 Recovery Control of Communicating Processes in a Distributed System
  35. Altmetric Badge
    Chapter 34 A Dependency, Commitment and Recovery Model for Atomic Actions
  36. Altmetric Badge
    Chapter 35 Fail-Safe Extrema-Finding in a Circular Distributed System
  37. Altmetric Badge
    Chapter 36 The Design of a Reliable Remote Procedure Call Mechanism
  38. Altmetric Badge
    Chapter 37 Reliable Remote Calls for Distributed UNIX: An Implementation Study
  39. Altmetric Badge
    Chapter 38 The Newcastle Connection or UNIXes of the World Unite!
  40. Altmetric Badge
    Chapter 39 Recoverability Aspects of a Distributed File System
  41. Altmetric Badge
    Chapter 40 Fault Tolerance and System Structuring
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Citations

dimensions_citation
10 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Reliable Computer Systems
Published by
Springer Berlin Heidelberg, December 2012
DOI 10.1007/978-3-642-82470-8
ISBNs
978-3-64-282472-2, 978-3-64-282470-8
Editors

Shrivastava, Santosh Kumar

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.