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

methodology
time

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

A note on recoverability of modular systems. / Merlin, Philip M.; Farber, David.

1975. 695-699 Paper presented at 1975 National Computer Conference AFIPS 1975, Anaheim, United States.

Research output: Contribution to conferencePaper

Merlin, PM & Farber, D 1975, 'A note on recoverability of modular systems' Paper presented at 1975 National Computer Conference AFIPS 1975, Anaheim, United States, 75/5/19 - 75/5/22, pp. 695-699. https://doi.org/10.1145/1499949.1500099
Merlin PM, Farber D. A note on recoverability of modular systems. 1975. Paper presented at 1975 National Computer Conference AFIPS 1975, Anaheim, United States. https://doi.org/10.1145/1499949.1500099
Merlin, Philip M. ; Farber, David. / A note on recoverability of modular systems. Paper presented at 1975 National Computer Conference AFIPS 1975, Anaheim, United States.5 p.
@conference{fdccbbfe3a0c4f48b0e29b91e5edab2f,
title = "A note on recoverability of modular systems",
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.",
author = "Merlin, {Philip M.} and David Farber",
year = "1975",
month = "1",
day = "1",
doi = "10.1145/1499949.1500099",
language = "English",
pages = "695--699",
note = "1975 National Computer Conference AFIPS 1975 ; Conference date: 19-05-1975 Through 22-05-1975",

}

TY - CONF

T1 - A note on recoverability of modular systems

AU - Merlin, Philip M.

AU - Farber, David

PY - 1975/1/1

Y1 - 1975/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85059178898&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85059178898&partnerID=8YFLogxK

U2 - 10.1145/1499949.1500099

DO - 10.1145/1499949.1500099

M3 - Paper

AN - SCOPUS:85059178898

SP - 695

EP - 699

ER -