| OCR Text |
Show 122 59. H.R. Strong and D. Dolev, "Byzantine agreement," CompCon ' 83, IEEE, February 1983, pp. 77-81 . 60. L Svobodova. "Resilient distributed compting," IEEE Trans. on Software Engineering, Vol. se-10, No.3. May 1984, pp. 257-268. 61. W.O. Tajibnapis. "A correctness proof of a topology information maintenance protocol for a distnbuted computer network," CACM, Vol. 20, No. 7, July 1977, pp. 477-485. 62. Y. Tamir and C.H. Sequin, "Error recovery in multicomputers using global checkpoints," Proc. of the 13th I nt' I Conf. on Parallel Processing, IEEE, August 1984. pp. 32-41 . 63. D.J. Taylor, D.E. Morgan and J.P. Black, "Redundancy in data structures: Improving software fault tolerance," IEEE Trans. on Software Engineering, Vol. SE-6, No. 6, November 1980, pp. 585-594. 64. D.J. Taylor. D.E. Morgan and J.P. Black, "Redundancy in data structures: Some theoretical results," IEEE Trans. on Software Engineering, Vol. SE-6, No. 6, November 1980, pp. 595-602. 65. P.C. Treleaven, O.R. Brownbridge, and R.P. Hopkins, "Data-driven and demand-driven computer architecture," Computing Surveys, Vol. 14, No. 1, March 1982. pp. 93-143. 66. S.R. Vegdahl, "A survey of proposed architectures for the execution of functional languages." IEEE Trans. on Computers, Vol. c-33, No. 12, December 1984, pp. 1050-1071. 67. J.S.M. Verhofstad, "Recovery techniques for data base systems," Computing Surveys, Vol. 10, No. 2, June 1978, pp. 167-195. 68. G. Waldbaum, "Audit programs - A proposal for improving system availability,'' Res. Rep. RC2811, IBM, February 1970. 69. I. Watson and J. Gurd, "A practical data flow computer," Computer, Vol. 15, No. 2, February 1982, pp. 51-57. |