1989 SERIES


COMPUTER SCIENCE TECHNICAL REPORTS


SCHOOL OF COMPUTER SCIENCE
CARNEGIE MELLON UNIVERSITY
PITTSBURGH, PA 15213-3891

NOTE: Please read this Copyright notice before proceeding.


The following list references the availability of postscript (.ps)

files for our 1989 technical report series. Please note, not all
reports are included...this owing to various copyright constraints
(see COPYRIGHT.mss). If you have questions or concerns related to
these files, please direct your inquiries to reports@cs.cmu.edu.
Enjoy.


CMU-CS-89-100
Corrective and Reinforcement Learning for Speaker-Independent Continuous Speech Recognition
Kai-Fu Lee, Sanjoy Mahajan
January 1989


CMU-CS-89-101
The Design of Nectar: A Network Backplane for Heterogeneous Multicomputers
Emmanuel A. Arnould, Francois J. Bitz, Eric C. Cooper, H.T. Kung, Robert D. Sansom, Peter A. Steenkiste
January 1989


CMU-CS-89-102
BEAM: An Accelerator for Speech Recognition
Roberto Bisiani, Thomas Anantharaman, Lawrence Butcher
January 1989


CMU-CS-89-103
Explanation-Based Learning: A Problem-Solving Perspective
Steven Minton, Jaime Carbonell, Craig Knoblock, Daniel R. Kuokka, Oren Etzioni, Yolanda Gil
January 1989


CMU-CS-89-104
iWarp: An Integrated Solution to High-Speed Parallel Computing
Shekhar Borkar, Robert Cohn, George Cox, Sha Gleason, Thomas Gross, H.T. Kung, Monica Lam, Brian Moore, Craig Peterson, John Pieper, Linda Rankin, P.S. Tseng, Jim Sutton, John Urbanski, Jon Webb
January 1989


CMU-CS-89-105
Layering Predictions: Flexible Use of Dialog Expectation in Speech Recognition
Sheryl R. Young, Wayne H. Ward, Alexander G. Hauptmann
January 1989


CMU-CS-89-106
Toward a Learning Robot
Tom M. Mitchell, Matthew T. Mason, Alan D. Christiansen
January 1989


CMU-CS-89-107
ALVINN: An Autonomous Land Vehicle in a Neural Network
Dean A. Pomerleau
January 1989


CMU-CS-89-108
Concurrent Constraint Programming Languages
Vijay Anand Saraswat
Ph.D. Thesis
January 1989


CMU-CS-89-109
A Delay Insensitive Regular Expression Recognizer
Thomas S. Anantharaman
January 1989


CMU-CS-89-110
A Language for Compositional Specification and Verification of Finite State Hardware Controllers
Edmund M. Clarke, David E. Long, Kenneth L. McMillan
January 1989


CMU-CS-89-111
Programming in Higher-Order Typed Lambda-Calculi
Benjamin Pierce, Scott Dietzen, Spiro Michaylov
March 1989


CMU-CS-89-112
Succinct Static Data Structures
Guy Jacobson
Ph.D. Thesis
January 1989


CMU-CS-89-113
Controlling Search Dynamics by Manipulating Energy Landscapes
David S. Touretzky
December 1989


CMU-CS-89-114
Distributed Logging for Transaction Processing
Dean Spencer Daniels
Ph.D. Thesis
December 1988


CMU-CS-89-115
Virtual Memory Management for Transaction Processing Systems
Jeffrey L. Eppinger
Ph.D. Thesis
February 1989


CMU-CS-89-116
A Survey of Distributed File Systems
Mahadev Satyanarayanan
February 1989


CMU-CS-89-117
Automatic Verification of Finite State Machines Using Temporal Logic
Michael C. Browne
Ph.D. Thesis
February 1989


CMU-CS-89-118
A Novel Objective Function for Improved Phoneme Recognition Using Time-Delay Neural Networks
John B. Hampshire II, Alex H. Waibel
March 1989


CMU-CS-89-119
Tractable Decision-Analytic Control: An Expanded Version
Oren Etzioni
February 1989


CMU-CS-89-120
Modeling Sensor Detectability with VANTAGE Geometric/Sensor Modeler
Katsushi Ikeuchi, Jean-Christophe Robert
February 1989


CMU-CS-89-121
Towards a Theory of Narrative for Interactive Fiction
Sean Smith, Joseph Bates
February 1989


CMU-CS-89-122
A Strongly Competitive Randomized Paging Algorithm
Lyle A. McGeoch, Daniel D. Sleator
March 1989


CMU-CS-89-123
Space Efficient Processor Identity Protocols
Shang-Hua Teng
March 1989


CMU-CS-89-124
Cost-Sensitive Concept Learning of Sensor Use in Approach and Recognition
Ming Tan, Jeffrey C. Schlimmer
March 1989


CMU-CS-89-125
Measuring the Effectiveness of Task-Level Parallelism for High-Level Vision
Wilson Harvey, Dirk Kalp, Milind Tambe, David McKeown, Allen Newell
March 1989


CMU-CS-89-126
Translating Concurrent Communicating Programs into Delay-Insensitive Circuits
Erik Brunvand, Robert F. Sproull
April 1989


CMU-CS-89-127
Scene Registration in Aerial Image Analysis
Frederic P. Perlant, David M. McKeown
March 1989


CMU-CS-89-128
Automating Algorithm Design Within A General Architecture for Intelligence
David Steier
Ph.D. Thesis
April 1989


CMU-CS-89-129
Implementation of Production Systems on Message Passing Computers: Techniques, Simulation Results and Analysis
Milind Tambe, Anurag Acharya, Anoop Gupta
April 1989


CMU-CS-89-130
Syntactic Control of Interference: Part 2
John C. Reynolds
April 1989


CMU-CS-89-131
MKM: Mach Kernel Monitor Description, Examples and Measurements
Ted Lehr, David Black, Zary Segall, Dalibor Vrsalovic
March 1989


CMU-CS-89-132
CMU Common Lisp User's Manual Mach/IBM RT PC Edition
David B. McDonald, Editor
April 1989


CMU-CS-89-132-R1
CMU Common Lisp User's Manual Mach/IBM RT PC Edition
David B. McDonald, Editor
November 1989 -- Revision of CMU-CS-89-132


CMU-CS-89-133
Hemlock User's Manual
Robert A. MacLachlan, Bill Chiles
April 1989


CMU-CS-89-133-R1
Hemlock User's Manual
Robert A. MacLachlan, Bill Chiles
November 1989 -- Revision of CMU-CS-89-133


CMU-CS-89-134
Hemlock Command Implementor's Manual
Robert A. MacLachlan, Bill Chiles
April 1989


CMU-CS-89-134-R1
Hemlock Command Implementor's Manual
Robert A. MacLachlan, Bill Chiles
November 1989 -- Revision of CMU-CS-89-134


CMU-CS-89-135
Knowledge Based Planning in Games
Prasad Tadepalli
May 1989


CMU-CS-89-136
Multiple Codebook Semi-Continuous Hidden Markov Models for Speaker-Independent Continuous Speech Recognition
X.D. Huang, Hsiao-Wuen Hon, Kai-Fu Lee
April 1989


CMU-CS-89-137
Extending the Valiant Framework to Detect Incorrect Bias
Lonnie Chrisman
May 1989


CMU-CS-89-138
Network-Based Multicomputers: Redefining High Performance Computing in the 1990s
H.T. Kung
January 1989


CMU-CS-89-139
CLP(R) and Some Electrical Engineering Problems
Nevin Heintze, Spiro Michaylov, Peter Stuckey
April 1989


CMU-CS-89-140
Visualizing Performance Debugging
Ted Lehr, Zary Segall, Dalibor Vrsalovic, Eddie Caplan, Alan L. Chung, Charles E. Fineman
April 1989


CMU-CS-89-141
Between-Word Coarticulation Modeling for Continuous Speech Recognition
Mai-Yuh Hwang, Hsiao-Wuen Hon, Kai-Fu Lee
April 1989


CMU-CS-89-142
KR: Constraint-Based Knowledge Representation
Dario Giuse
April 1989


CMU-CS-89-143
Parallel I/O Systems for Multicomputers
John S. Pieper
June 1989


CMU-CS-89-144
A Connectionist Implementation of Cognitive Phonology
Deirdre W. Wheeler, David S. Touretzky
October 1989


CMU-CS-89-145
Compositional Model Checking
Edmund M. Clarke, David E. Long, Kenneth L. McMillan
April 1989


CMU-CS-89-146
Prodigy 2.0: The Manual and Tutorial
Steven Minton, Craig A. Knoblock, Daniel R. Kuokka, Yolanda Gil, Robert L. Joseph, Jaime G. Carbonell
May 1989


CMU-CS-89-147
Connectionism and Compositional Semantics
David S. Touretzky
May 1989


CMU-CS-89-148
A Parallelizing Compiler for Distributed Memory Parallel Computers
Ping-Sheng Tseng
Ph.D. Thesis (Electrical and Computer Engineering)
May 1989


CMU-CS-89-149
Matching Randomly in Parallel
Shang-Hua Teng
May 1989


CMU-CS-89-150
A Gentle Introduction to Subsymbolic Computation: Connectionism for the A.I. Researcher
Kevin Knight
May 1989


CMU-CS-89-151
Legged Robots on Rough Terrain: Experiments in Adjusting Step Length
Jessica Kate Hodgins
Ph.D. Thesis
November 1989


CMU-CS-89-152
Distributed Lock Management in a Transaction Processing Environment
Andrew B. Hastings
May 1989


CMU-CS-89-153
Inductive Definitions Over Finite Structures
Daniel Leivant
June 1989


CMU-CS-89-154
Implementing a Mach Debugger for Multithreaded Applications
Deborah Caswell, David Black
November 1989


CMU-CS-89-155
A Framework for Specifying Robotic Agents
Alan D. Christiansen
June 1989


CMU-CS-89-156
Formal Verification of Memory Circuits by Switch-Level Simulation
Randal E. Bryant
June 1989


CMU-CS-89-157
Final Report on Supercomputer Research
Ellen P. Douglas, Alan R. Houser, C. Roy Taylor, Editors
June 1989


CMU-CS-89-158
Rules and Maps in Connectionist Symbol Processing
David S. Touretzky
June 1989


CMU-CS-89-159
Miro Tools
Allan Heydon, Mark W. Maimone, J.D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski
July 1989


CMU-CS-89-160
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Scott Dietzen, Frank Pfenning
October 16, 1989


CMU-CS-89-161
Deadlock Analysis in Networks of Communicating Processes
Stephen D. Brookes, Andrew W. Roscoe
June 1989


CMU-CS-89-162
Autonomous Scene Description with Range Imagery
David R. Smith
Ph.D. Thesis
May 1989


CMU-CS-89-163
The Match Box Algorithm for Parallel Production System Match
Mark W. Perlin
May 1989


CMU-CS-89-164
Comprehensive Evaluation of a Two-Dimensional Configurable Array
O. Menzilcioglu, H.T. Kung, S.W. Song
June 1989


CMU-CS-89-165
Coda: A Highly Available File System for a Distributed Workstation Environment
Mahadev Satyanarayanan, James J. Kistler, Puneet Kumar, Ellen H. Siegel, David C. Steere
July 1989


CMU-CS-89-166
The Meta-Pi Network: Building Distributed Knowledge Representations for Robust Pattern Recognition
John B. Hampshire II, Alex H. Waibel
August 1989


CMU-CS-89-167
Connectionist Architectures for Multi-Speaker Phoneme Recognition
John B. Hampshire II, Alex H. Waibel
August 1989


CMU-CS-89-168
Verifying Atomic Data Types
Jeannette M. Wing
July 1989


CMU-CS-89-169
A Decision Procedure for the Subtype Relation on Intersection Types with Bounded Variables
Benjamin C. Pierce
August 1989


CMU-CS-89-170
Contracting Proofs to Programs
Daniel Leivant
July 1989


CMU-CS-89-171
Machine-Assisted Proofs of Properties of Avalon Programs
Jeannette M. Wing, Chun Gong
August 1989


CMU-CS-89-172
Raw Code, Specification, and Proof of the Avalon Queue Example
Chun Gong, Jeannette M. Wing
August 1989


CMU-CS-89-173
A Framework for Defining Logics
Robert Harper, Furio Honsell, Gordon Plotkin
January 1989


CMU-CS-89-174
Structure and Representation in LF
Robert Harper, Donald Sannella, Andrzej Tarlecki
July 1989


CMU-CS-89-175
Logic Representation
Robert Harper, Donald Sannella, Andrzej Tarlecki
July 1989


CMU-CS-89-176
Type Checking with Universes
Robert Harper, Robert Pollack
August 1989


CMU-CS-89-177
Frame-Based Geometric Reasoning for Construction and Maintenance of 3D World Models
Ellen Gail Lowenfeld Walker
Ph.D. Thesis
August 1989


CMU-CS-89-178
Automated Customization of User Interfaces
Barbara Staudt Lerner
Ph.D. Thesis
September 1989


CMU-CS-89-179
Learning Retrodictive Knowledge from Scientific Laws: The Case of Chemical Kinetics
Raul E. Valdes-Perez
August 1989


CMU-CS-89-180
What a Software Engineer Needs to Know: I. Program Vocabulary
Mary Shaw, Dario Giuse, Raj Reddy
August 1989
[Also appears as CMU/SEI-89-TR-30, ESD-TR-89-40]


CMU-CS-89-181
A Communications Architecture for Multiprocessor Networks
Andreas Nowatzyk
Ph.D. Thesis
August 1989


CMU-CS-89-182
BoltzCONS: Dynamic Symbol Structures in a Connectionist Network
David S. Touretzky
August 1989


CMU-CS-89-183
Finding Natural Clusters Through Entropy Minimization
Richard Scot Wallace
Ph.D. Thesis
June 1989


CMU-CS-89-184
Learning from the Environment Based on Percepts and Actions
Wei-Min Shen
Ph.D. Thesis
June 1989


CMU-CS-89-185
A Time-Delay Neural Network Architecture for Speech Recognition
Kevin J. Lang
Ph.D. Thesis
July 1989


CMU-CS-89-186
Reliable Distributed Computing with Avalon/Common Lisp
Stewart M. Clamen, Linda D. Leibengood, Scott M. Nettles, Jeannette M. Wing
September 1989


CMU-CS-89-187
A Connectionist Architecture for Sequential Symbolic Domains
Ajay N. Jain
December 1989


CMU-CS-89-188
Models of Reuse in Software Engineering
Charles W. Krueger
December 1989


CMU-CS-89-189
PRODIGY: An Integrated Architecture for Planning and Learning
Jaime G. Carbonell, Craig A. Knoblock, Steven Minton
October 1989


CMU-CS-89-190
Speaker-Independent Phoneme Recognition on TIMIT Database Using Integrated Time-Delay Neural Networks (TDNNs)
Nobuo Hataoka, Alex H. Waibel
November 1989
[Also appears as CMU-CMT-89-115]


CMU-CS-89-191
Adaptive Parsing: Self-Extending Natural Language Interfaces
Jill Fain Lehman
Ph.D. Thesis
August 1989


CMU-CS-89-192
A Unified Approach for Showing Language Containment and Equivalence Between Various Types of @g<w>-Automata
Edmund M. Clarke, Ioana A. Draghicescu, Robert P. Kurshan
September 1989


CMU-CS-89-193
Information Retrieval by Text Skimming
Michael Loren Mauldin
Ph.D. Thesis
August 1989


CMU-CS-89-194
Transcription Conventions and Evaluation Techniques for Spoken Language System Research
Alexander I. Rudnicky, Michelle H. Sakamoto
November 1989


CMU-CS-89-195
Dynamic Stereo Vision
Larry Matthies
Ph.D. Thesis
October 1989


CMU-CS-89-196
The Garnet Toolkit Reference Manuals: Support for Highly-Interactive, Graphical User Interfaces in Lisp
Brad A. Myers, Dario Giuse, Roger B. Dannenberg, Brad Vander Zanden, David Kosbie, Philippe Marchal, Ed Pervin, John A. Kolojejchick
November 1989


CMU-CS-89-197
Higher-Order Modules and the Phase Distinction
Robert Harper, John C. Mitchell, Eugenio Moggi
October 1989


CMU-CS-89-198
Visualizing Evaluation in Applicative Languages
David S. Touretzky, Peter Lee
November 1989


CMU-CS-89-198-R
Visualizing Evaluation in Applicative Languages
David S. Touretzky, Peter Lee
December 1989
[Revision of CMU-CS-89-198]


CMU-CS-89-199
Miro: Visual Specification of Security
Allan Heydon, Mark W. Maimone, J.D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski
December 1989


CMU-CS-89-200 What is a Formal Method?
Jeannette M. Wing
November 1989


CMU-CS-89-201
Competitive Algorithms for Replication and Migration Problems
David L. Black, Daniel D. Sleator
November 1989


CMU-CS-89-202
Exporting a User Interface to Memory Management from a Communication-Oriented Operating System
Michael Wayne Young
Ph.D. Thesis
November 1989


CMU-CS-89-203
Conversational Interacton with Speech Systems
Alexander I. Rudnicky, Alexander G. Hauptmann
December 1989


CMU-CS-89-204
Solution of the Frobenius Problem
Ravi Kannan
November 1989


CMU-CS-89-205
Program Changes and the Cost of Selective Recompilation
Ellen Ariel Borison
Ph.D. Thesis
July 1989


CMU-CS-89-206
Parallel Exponentiation of Concrete Data Structures
Stephen Brookes, Shai Geva
December 1989


CMU-CS-89-207
Metacircularity in the Polymorphic Lambda-Calculus
Frank Pfenning, Peter Lee
December 1989


CMU-CS-89-208
An Implementation of Back-Propagation Learning on GF11, a Large SIMD Parallel Computer
Michael Witbrock, Marco Zagha
December 1989


CMU-CS-89-209
Inductively Defined Types in the Calculus of Constructions
Frank Pfenning, Christine Paulin-Mohring
December 1989


CMU-CS-89-210
Nonlinear Problem Solving Using Intelligent Casual-Commitment
Manuela M. Veloso
December 1989


CMU-CS-89-211
Unpublished


CMU-CS-89-212
Monotonic Use of Space and Computational Complexity Over Abstract Structures
Daniel Leivant
October 1989


CMU-CS-89-213
Interactive Dynamics
Andrew Witkin, Michael Gleicher, William Welch
December 1989







This index was automatically generated on Sun Jan 14 23:39:30 EST 1996.

reports@cs.cmu.edu