Information Processing Research

This report documents a broad program of basic and applied information processing research conducted by Carnegie Mellon''s School of Computer Science during the period 15 July 1987 through 14 July 1990, and extended through 31 December 1990. We present in detail our seven major research areas: Artificial Intelligence, Image Understanding, Reliable Distributed Systems, Programming Environments, Reasoning About Programs, Uniform Workstation Interfaces, and Very Large Scale Integration. Sections in each chapter present the area''s general research context, the specific problems we addressed, our contributions and their significance, and a bibliography for each chapter.

[1]  Edmund M. Clarke,et al.  Characterizing Kripke Structures in Temporal Logic , 1987, TAPSOFT, Vol.1.

[2]  Allan L. Fisher,et al.  Communication and code optimization in SIMD programs , 1988, ICPP.

[3]  A. L. Fisher,et al.  Programming considerations in the design and use of a SIMD image computer , 1988, Proceedings., 2nd Symposium on the Frontiers of Massively Parallel Computation.

[4]  Randal E. Bryant,et al.  For incremental circuit analysis using extracted hierarchy , 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..

[5]  Randal E. Bryant,et al.  Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation , 1989, 26th ACM/IEEE Design Automation Conference.

[6]  Rob A. Rutenbar,et al.  Massively parallel switch-level simulation: a feasibility study , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[7]  Randal E. Bryant,et al.  Formal verification of memory circuits by switch-level simulation , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[8]  Randal E. Bryant,et al.  Formal Verification of Digital Circuits Using Symbolic Ternary System Models , 1990, CAV.