|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
AL 81
|
P. A. Lee , T. Anderson , J. C. Laprie , A. Avizienis , H. Kopetz, Fault Tolerance: Principles and Practice, Springer-Verlag New York, Inc., Secaucus, NJ, 1990
|
| |
CS 90
|
J. Coenen and H. Schepers, "Notes on Fault-Tolerant System Design I: Formal Specification of a Reliable Disk", Dept. of Math. and Comp. Science, Eindhoven University of Technology. To appear.
|
| |
Cri 83
|
F. Cristian, "A Rigorous Approach to Fault-Tolerant System Development", Technical Report RJ 3754 (43320), IBM Research Laboratory, San Jose, 1983.
|
| |
GA 87
|
H. Garcia-Molina and R.K. Abbott, "Reliable Distributed Database Management", Proceedings of the IEEE, Vol. 75, No. 5, p. 601-620, may 1987.
|
| |
Lam 81
|
|
| |
Lap 85
|
J.C. Laprie, "Dependable Computing and Fault Tolerance: Concepts and Terminology", Proe. 15th Int. Symp. on Fault Tolerant Computing Systems, June 1985, p.2-II.
|
 |
SS 83
|
|
| |
Sch 87
|
|
| |
SM 83
|
R.L. Schwartz and P.M. Melliar-Smith, "Specifying and Verifying Ultra- Reliability and Fault-Tolerance Properties", IEEE CompCon Spring 1983, p. 71-76.
|
| |
Web 87
|
D. Weber, "Specifications for Fault-Tolerance", Technical Report F30602- 86-C-0263, Odyssey Research Associates, Inc., New York, 1987.
|
Peer to Peer - Readers of this Article have also read:
-
Data structures for quadtree approximation and compression
Communications of the ACM
28, 9
Hanan Samet
-
A hierarchical single-key-lock access control using the Chinese remainder theorem
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee
, Huizhu Lu
, D. D. Fisher
-
The GemStone object database management system
Communications of the ACM
34, 10
Paul Butterworth
, Allen Otis
, Jacob Stein
-
Putting innovation to work: adoption strategies for multimedia communication systems
Communications of the ACM
34, 12
Ellen Francik
, Susan Ehrlich Rudman
, Donna Cooper
, Stephen Levine
-
An intelligent component database for behavioral synthesis
Proceedings of the 27th ACM/IEEE conference on Design automation
Gwo-Dong Chen
, Daniel D. Gajski
|