| OCR Text |
Show 156 [57] J. M. Mellor-Crummey and T. J. LeBlanc. A software instruction counter. In Proc. of the 3nd International Conference on Architectural Support for Programming Languages and Operating Systems, pages 78-86, Boston, April 1989. ACM. [58] D. Michie. Memo functions and machine learning. Nature, 218(l):19-22, April 1968. [59] M. Minsky. The Society of Mind. Simon and Schuster, 1985. [60] M. L. Model. Monitoring system behavior in a complex computational environment. Technical Report CSL-79-1, Xerox PARC, 1979. [61] T. G. Moher. PROVIDE: A process visualization and debugging environment. IEEE Transactions on Software Engineering, 14(6):849-857, June 1988. [62] A. Newell and H. A. Simon. Human Problem Solving. Prentice-Hall, 1972. [63] S. C. North and J. H. Reppy. Concurrent garbage collection on stock hardware. In G. Kahn, editor, Functional Programming Languages and Computer Architecture, LNCS 214, pages 113-133. Springer-Verlag, 1987. [64] D. Z. Pan and M. A. Linton. Supporting reverse execution of parallel programs. In Proceedings SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, pages 124-129. ACM, May 1988. [65] R. Penrose. The Emperors New Mind. Oxford University Press, 1989. [66] A. Perlis. The synthesis of algorithmic systems. In ACM Turing Award Lectures. Anthology Series, ACM Press, 1987. [67] B. L. Peuto and L. J. Shustek. An instruction timing model of CPU performance. In Proceedings of the J^th Annual Symposium on Computer Architecture, pages 165-178, March 1977. [68] B. Plattner. Real-time execution monitoring. IEEE Transactions on Software Engineering, 10(6):756-764, November 1984. [69] B. Plattner and J. Nievergelt. Monitoring program execution: A survey. IEEE Computer, 14(ll):76-93, November 1981. [70] V. M. Plavsic and P. E. Danielsson. Sequential evaluation of Boolean functions. IEEE Transactions on Computers, 28(12):879-887, December 1979. [71] K. R. Popper. Indeterminism in quantum physics and in classical physics (two parts). The British Journal for the Philosophy of Science, l(2-3):76-93, August, November 1950. [72] I. S. Reed. A class of multiple error correcting codes and the decoding scheme. IRE Trans. Inform. Theory, IT-4:38-49, September 1954. |