A note on recoverability of modular systems

Philip M. Merlin; David J. Farber

doi:10.1145/1499949.1500099

A note on recoverability of modular systems

Philip M. Merlin, David J. Farber

Research output: Contribution to conference › Paper › peer-review

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 language	English
Pages	695-699
Number of pages	5
DOIs	https://doi.org/10.1145/1499949.1500099
Publication status	Published - 1975 Jan 1
Externally published	Yes
Event	1975 National Computer Conference AFIPS 1975 - Anaheim, United States Duration: 1975 May 19 → 1975 May 22

Conference

Conference	1975 National Computer Conference AFIPS 1975
Country/Territory	United States
City	Anaheim
Period	75/5/19 → 75/5/22

ASJC Scopus subject areas

Computer Networks and Communications
Information Systems
Software
Education

Access to Document

10.1145/1499949.1500099

Cite this

@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 Farber, {David J.}",

note = "Funding Information: This work was supported in part by the National Science Foundation under grant GJ-1045-{"}The Distributed Computer Project{"}. Publisher Copyright: {\textcopyright} 2009 ACM.; 1975 National Computer Conference AFIPS 1975 ; Conference date: 19-05-1975 Through 22-05-1975",

year = "1975",

month = jan,

day = "1",

doi = "10.1145/1499949.1500099",

language = "English",

pages = "695--699",

}

TY - CONF

T1 - A note on recoverability of modular systems

AU - Merlin, Philip M.

AU - Farber, David J.

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

T2 - 1975 National Computer Conference AFIPS 1975

Y2 - 19 May 1975 through 22 May 1975

ER -

A note on recoverability of modular systems

Abstract

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this