Page 163 | Institutional Repository | J. Willard Marriott Digital Library

Computer Science Archive

Contents | 163 of 166

Page 163

Download PDF | | Reference URL | Gallery View | Parent Record

Bluesky

Reddit

Update Item Information

Publication Type	technical report
School or College	College of Engineering
Department	Computing, School of
Creator	Sosic, Rok
Title	The Many Faces of Introspection
Date	1992-04
Description	In psychology, introspection is a common term meaning an examination of one's own thought process and sensory experience. Similarly, introspection in computer systems enables a computer to examine its own computational behavior. A computer that ""understands"" its own behavior, an introspective computer, offers radically new approaches to computing. It can use introspection to optimize itself or to explain its own behavior to humans and to other computers. The development of introspective computers is a crucial task, if we want computers to help us dealing with increasing complexity in the dynamic behavior of computer systems. I expect that introspective capabilities are essential to efficiently utilize parallel systems. The ultimate goal in designing introspective computers is to provide machines capable of open ended unsupervised learning.
Type	Text
Publisher	University of Utah
Language	eng
Format Medium	application/pdf
Format Extent	3,784,373 bytes
File Name	Sosic-The_Many_Faces.pdf
ARK	ark:/87278/s6dc0342
Setname	ir_computersa
ID	108243
Reference URL	https://collections.lib.utah.edu/ark:/87278/s6dc0342

Page Metadata

Title	Page 163
Setname	ir_computersa
ID	108239
OCR Text	Show 155 [43] A. Kishon, P. Hudak, and C. Consel. Monitoring semantics: A formal framework for specifying, implementing, and reasoning about execution monitors. ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, Sigplan Notices, 26(6):338-352, June 1991. [44] P. A. Lee, N. Ghani, and K. Heron. A recovery cache for the PDP-11. IEEE Transactions on Computers, 29(6):546-549, June 1980. [45] Y. H. Lee and K. G. Shin. Design and evaluation of a fault-tolerant multiprocessor using hardware recovery blocks. IEEE Transactions on Computers, 33(2):113-124, February 1984. [46] G. B. Leeman. A formal approach to undo operations in programming languages. ACM Transactions on Programming Languages and Systems, 8(1):50- 87, January 1986. [47] K. Li, J. Naughton, and J. Plank. Concurrent real-time checkpoint for parallel programs. In Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 79-88, March 1990. [48] Henry Lieberman. Revisible object-oriented interpreters. In European Conference on Object-Oriented Programming, pages 11-19, June 1987. [49] J. C. Lilly. Proqramminq and Metaproqramminq in the Human Biocomputer. The Julian Press, 1967. [50] P. Maes. Concepts and experiments in computational reflection. OOPSLA '87 Proceedings, Sigplan Notices, 22(12):147-155, 1987. [51] P. Maes and D. Nardi, editors. Meta-Level Architectures and Reflection. North Holland, 1988. [52] K. Marzullo, R. Cooper, M. D. Wood, and K. P. Birman. Tools for distributed application environment. IEEE Computer, 42(8):42-51, August 1991. [53] C. E. McDowell and D. P. Helmbold. Debugging concurrent programs. ACM Computing Surveys, 21(4):593-622, December 1989. [54] P. McKerrow. Performance Measurement of Computer Systems. Addison- Wesley, 1988. [55] R. E. McLear, D. M. Scheibelhut, and E. Tammaru. Guidelines for creating a debuggable processor. In Proc. Symp. Architectural Support for Programming Languages and Operating Systems, pages 100-106, Palo Alto, March 1982. ACM. ' [56] C. Mead and L. Conway. Introduction to VLSI Systems. Addison-Wesley, Reading, MA, 1980.
Reference URL	https://collections.lib.utah.edu/ark:/87278/s6dc0342/108239