System structure for software fault tolerance
暂无分享,去创建一个
[1] Carl Hewitt,et al. PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.
[2] Stuart E. Madnick,et al. A modular approach to file system design , 1969, AFIPS '69 (Spring).
[3] Edsger W. Dijkstra,et al. The structure of the “THE”-multiprogramming system , 1968, CACM.
[4] David Lorge. Parnas. Response to detected errors in well-structured programs , 1972 .
[5] C. Hewitt. PLANNER: A Language for Proving Theorems , 1967 .
[6] Hugh C. Lauer,et al. A recursive virtual machine architecture , 1973 .
[7] Brian Randell,et al. Research on Computing System Reliability at the University of Newcastle upon Tyne , 1974 .
[8] Brian Randell. Highly Reliable Computing Systems , 1971 .
[9] Charles T. Davies,et al. Recovery semantics for a DB/DC system , 1973, ACM Annual Conference.
[10] P. M. Melliar-Smith,et al. A program structure for error detection and recovery , 1974, Symposium on Operating Systems.