| OCR Text |
Show 153 13] R. P. Case and A. Padegs. Architecture of the IBM system/370. Communications of the ACM, 21(1):73-96, January 1978. 14] K. M. Chandy and C. V. Ramamoorthy. Rollback and recovery strategies for computer programs. IEEE Transactions on Computers, 21 (6):546-556, June 1972. 15] P. Chow. The MIPS-X RISC Microprocessor. Kluwer Academic Publishers, Norwell, MA, 1989. 16] W. J. Dally and R. E. Bryant. A hardware architecture for switch-level simulation. IEEE Transactions on Computer Aided Design, 4(3):239-250, July 1985. 17] D. C. Dennett. Brainstorms: Philosophical Essays on Mind and Psychology. Bradford Books, 1978. 18] J. des Rivieres and B.C. Smith. The implementation of procedurally reflective languages. Technical Report ISL-84-4, Xerox PARC, 1984. 19] D. P. Dobkin. private communication, 1991. 20] S. I. Feldman and C. B. Brown. IGOR: A system for program debugging via reversible execution. In Proceedings SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, pages 112-123. ACM, May 1988. 21] A. M. Feridun and K. G. Shin. A fault-tolerant multiprocessor system with rollback recovery capabilities. In Proc. 2nd Int. Conf. Distributed Comput. Sys., pages 283-298. IEEE, April 1981. 22] D. Ferrari. Computer Systems Performance Evaluation. Prentice-Hall, Englewood Cliffs, N.J., 1978. 23] C. W. Fraser and D. R. Hanson. A retargetable compiler for ANSI C. SIGPLAN Notices, 26(10):29-43, October 1991. 24] R. M. Fujimoto, J. J. Tsai, and G. C. Gopalakrishnan. Design and evaluation of the rollback chip: Special purpose hardware for time warp. IEEE Transactions on Computers, 41(1):68-82, January 1992. 25] D. Gifford and A. Spector. Case study: IBM's system/360-370 architecture. Communications of the ACM, 30(4):291-307, April 1987. 26] K. Godel. Uber formal unentscheidbare satze der principia mathematica und verwandter systeme I. Monatshefte fur Mathematik und Physik, 38:173-198, 1931. 27] R. L. Graham, D. E. Knuth, and 0. Patashnik. Concrete Mathematics. Addison Wesley, 1989. |
