A note on recoverability of modular systems

Philip M. Merlin, David Farber

Research output: Contribution to conferencePaper

Abstract

We have demonstrated a methodology for designing and checking a system for certain recoverability properties. In order to do this, it was necessary to accept constraints on the execution time of its parts. We believe that the method presented can be used as a practical tool. In order to apply the method efficiently, the designer is urged to refer himself to the references of this paper for a wider mathematical background of the approach used.

Original languageEnglish
Pages695-699
Number of pages5
DOIs
Publication statusPublished - 1975 Jan 1
Externally publishedYes
Event1975 National Computer Conference AFIPS 1975 - Anaheim, United States
Duration: 1975 May 191975 May 22

Conference

Conference1975 National Computer Conference AFIPS 1975
CountryUnited States
CityAnaheim
Period75/5/1975/5/22

    Fingerprint

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems
  • Software
  • Education

Cite this

Merlin, P. M., & Farber, D. (1975). A note on recoverability of modular systems. 695-699. Paper presented at 1975 National Computer Conference AFIPS 1975, Anaheim, United States. https://doi.org/10.1145/1499949.1500099