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

研究成果: Paper › 査読

抄録

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.

本文言語	English
ページ	695-699
ページ数	5
DOI	https://doi.org/10.1145/1499949.1500099
出版ステータス	Published - 1975 1月 1
外部発表	はい
イベント	1975 National Computer Conference AFIPS 1975 - Anaheim, United States 継続期間: 1975 5月 19 → 1975 5月 22

Conference

Conference	1975 National Computer Conference AFIPS 1975
国/地域	United States
City	Anaheim
Period	75/5/19 → 75/5/22

ASJC Scopus subject areas

コンピュータネットワークおよび通信
情報システム
ソフトウェア
教育

文献へのアクセス

10.1145/1499949.1500099

他のファイルとリンク

引用スタイル

@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

抄録

Conference

ASJC Scopus subject areas

文献へのアクセス

他のファイルとリンク

フィンガープリント

引用スタイル