Technical Reports by Author
Theses by Author

CMU-CS-85-100
Automatic Verification of Sequential Circuits Using Temporal Logic
Abstract, Unavailable Electronically

CMU-CS-85-101
White Pebbles Help
Abstract, Unavailable Electronically

CMU-CS-85-102
Compiling Path Expressions into VLSI Circuits
Abstract, Unavailable Electronically

CMU-CS-85-103
Representation and Incremental Construction of a Three-Dimensional Scene Model
Abstract, Unavailable Electronically

CMU-CS-85-104
Ada as a Hardware Description Language: An Initial Report
Abstract, Unavailable Electronically

CMU-CS-85-105
Representing Time and Space in an Object Oriented Hardware Description Language
Abstract, Unavailable Electronically

CMU-CS-85-106
On the Axiomatic Treatment of Concurrency
Abstract, Unavailable Electronically

CMU-CS-85-107
Profinite Solutions for Recursive Domain Equations
Abstract, Unavailable Electronically

CMU-CS-85-108
Atomicity vs. Availability: Concurrency Control for Replicated Data
Abstract, Unavailable Electronically

CMU-CS-85-109
Serializability in Distributed Systems with Handshaking
Abstract, Unavailable Electronically

CMU-CS-85-110
Two Soar Studies: 1. Towards Chunking as a General Learning Mechanism; 2. R1-Soar: An Experiment in Knowledge-Intensive Programming in a Problem-Solving Architecture
Abstract, Unavailable Electronically

CMU-CS-85-111
Deadlock Analysis in Networks of Communicating Processes
Abstract, Unavailable Electronically

CMU-CS-85-112
An Improved Failures Models for Communicating Processes
Abstract, Unavailable Electronically

CMU-CS-85-113
Unpublished

CMU-CS-85-114
Modular Concurrency Control and Failure Recovery---Consistency, Correctness and Optimality
Abstract, Unavailable Electronically

CMU-CS-85-115
Derivational Analogy: A Theory of Reconstructive Problem Solving and Expertise Acquisition
Abstract, Unavailable Electronically

CMU-CS-85-116
MUD: A Drilling Fluids Consultant
Abstract, Unavailable Electronically

CMU-CS-85-117
Distributed Transactions for Reliable Systems
Abstract, Unavailable Electronically

CMU-CS-85-118
Causality in Device Behavior
Abstract, Unavailable Electronically

CMU-CS-85-119
Using Type Information to Enhance the Availability of Partitioned Data
Abstract, Unavailable Electronically

CMU-CS-85-120
Symbolic Verification of MOS Circuits
Abstract, Unavailable Electronically

CMU-CS-85-121
Reasoned Assumptions and Pareto Optimality
Abstract, Unavailable Electronically

CMU-CS-85-122
Alignment and Connection of Fragmented Linear Features in Aerial Imagery
Abstract, Unavailable Electronically

CMU-CS-85-123
Comparing How Atomicity Mechanisms Support Replication
Abstract, Unavailable Electronically

CMU-CS-85-124
Implementation Issues for Algorithmic VLSI Processor Arrays
Abstract, Unavailable Electronically

CMU-CS-85-125
Automatic Verification of Asynchronous Circuits Using Temporal Logic
Abstract, Unavailable Electronically

CMU-CS-85-126
The Implementation of a Production Systems Machine
Abstract, Unavailable Electronically

CMU-CS-85-127
Debugging Ada
Abstract, Unavailable Electronically

CMU-CS-85-128
PIE - A Programming and Instrumentation Environment for Parallel Processing
Abstract, Unavailable Electronically

CMU-CS-85-129
Flexible Unparsing in a Structure Editing Environment
Abstract, Unavailable Electronically

CMU-CS-85-130
A Game-Playing Program that Learns by Analyzing Examples
Abstract, Unavailable Electronically

CMU-CS-85-131
Semantics for Structure Editing Environments
Abstract, Unavailable Electronically

CMU-CS-85-132
See CMU-CS-85-131 - Same Report
Abstract, Unavailable Electronically

CMU-CS-85-133
Syntax and Semantics in Natural Language Parsers
Abstract, Unavailable Electronically

CMU-CS-85-134
An Efficient Context-free Parsing Algorithm for Natural Languages and Its Applications
Abstract, Unavailable Electronically

CMU-CS-85-135
Graph-based Algorithms for Boolean Function Manipulation
Abstract, Unavailable Electronically

CMU-CS-85-136
Learning to Recognize Speech Sounds: A Theory and Model
Abstract, Unavailable Electronically

CMU-CS-85-137
Automatic Distribution of Programs and Data in a Distributed Environment
Abstract, Unavailable Electronically

CMU-CS-85-138
Time-Driven Orphan Elimination
Abstract, Unavailable Electronically

CMU-CS-85-139
Stereo Verification in Aerial Image Analysis
Abstract, Unavailable Electronically

CMU-CS-85-140
Feasibility Study of Personal/Interactive Machine Translation Systems
Abstract, Unavailable Electronically

CMU-CS-85-141
Comparing Categories of Domains
Abstract, Unavailable Electronically

CMU-CS-85-142
A Universal Domain Technique for Profinite Prosets
Abstract, Unavailable Electronically

CMU-CS-85-143
New Approaches to Machine Translation
Abstract, Unavailable Electronically

CMU-CS-85-144
Geometric Reasoning: A new Paradigm for Processing Geometric Information
Abstract, Unavailable Electronically

CMU-CS-85-145
Validation of a Fault-Tolerant Multiprocessor: Baseline Experiments and Workload Implementation
Abstract, Unavailable Electronically

CMU-CS-85-146
Adding Temporal Logic to Ina Jo
Abstract, Unavailable Electronically

CMU-CS-85-147
Compile-Time Evaluation and Code Generation for Semantics-directed Compilers
Abstract, Unavailable Electronically

CMU-CS-85-148
Full Abstraction and Semantic Equivalence
Abstract, Unavailable Electronically

CMU-CS-85-149
A Mechanizable Theory for Existence Proofs of Inclusive Predicates
Abstract, Unavailable Electronically

CMU-CS-85-150
Escher--A Geometrical Layout System for Recursively Defined Circuits
Abstract, Unavailable Electronically

CMU-CS-85-151
The Design and Evaluation of On-Line Help Systems
Abstract, Unavailable Electronically

CMU-CS-85-152
A House of Cards: A History of the Inorganic Evolution of the CMU Bboard System Software
Abstract, Unavailable Electronically

CMU-CS-85-153
Towards Programming with Knowledge Expressions
Abstract, Unavailable Electronically

CMU-CS-85-154
Chunking in Soar: The Anatomy of a General Learning Mechanism
Abstract, Unavailable Electronically

CMU-CS-85-155
Compiling Ordinary Programs for Execution on an Asynchronous Multiprocessor
Abstract, Unavailable Electronically

CMU-CS-85-156
A Comparison of the Black and Black-White Pebble Games
Abstract, Unavailable Electronically

CMU-CS-85-157
Using Redundancy for Testable and Repairable Systolic Arrays
Abstract, Unavailable Electronically

CMU-CS-85-158
Memory Requirements for Balanced Computer Architectures
Abstract, Unavailable Electronically

CMU-CS-85-159
The Performance Effects of Functional Migration and Architectural Complexity in Object-Oriented Systems
Abstract, Unavailable Electronically

CMU-CS-85-160
Generalized Image Matching by the Method of Differences
Abstract, Unavailable Electronically

CMU-CS-85-161
Experience with the CMU Programmable Systolic Chip
Abstract, Unavailable Electronically

CMU-CS-85-162
Decomposable Searching Problems and Circuit Optimization by Retiming: Two Studies in General Transformations of Computational Structures
Abstract, Unavailable Electronically

CMU-CS-85-163
Virtual Memory Management for Recoverable Objects in the TABS Prototype
Abstract, Unavailable Electronically

CMU-CS-85-164
The Integration of Virtual Memory Management and Interprocess Communication in Accent
Abstract, Unavailable Electronically

CMU-CS-85-164R
A Quorum-Consensus Replication Method for Abstract Data Types
Abstract, Unavailable Electronically

CMU-CS-85-165
Constraint-Based Tiled Windows
Abstract, Unavailable Electronically

CMU-CS-85-166
Optimization of User-Defined Abstract Data Types: A Program Transformation Approach
Abstract, Unavailable Electronically

CMU-CS-85-167
PCB - A Printed Circuit Board Editor User Manual
Abstract, Unavailable Electronically

CMU-CS-85-168
Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing
Abstract, Unavailable Electronically

CMU-CS-85-169
Fast Evaluation of Arithmetic Functions
Abstract, Unavailable Electronically

CMU-CS-85-170
Making Robust Programs
Abstract, Unavailable Electronically

CMU-CS-85-171
Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists
Abstract, Unavailable Electronically

CMU-CS-85-172
Sesame: The Spice File System
Abstract, Unavailable Electronically

CMU-CS-85-173
On the Existence of Delay-Insensitve Fair Arbiters: Trace Theory and its Limitations
Abstract, Unavailable Electronically

CMU-CS-85-174
Adaptability and Portability of Symbolic Debuggers
Abstract, Unavailable Electronically

CMU-CS-85-175
Implementing a Mastery Examination in Computer Science
Abstract, Unavailable Electronically

CMU-CS-85-176
Programming for Observability Support in a Parallel Programming Environment
Abstract, Unavailable Electronically

CMU-CS-85-177
Fault Free Performance Validation of a Fault-Tolerant Multiprocessor: Baseline and Synthetic Workload Measurements
Abstract, Unavailable Electronically

CMU-CS-85-178
A Comparative Analysis of Computer Architectures for Production System Machines
Abstract, Unavailable Electronically

CMU-CS-85-179
SML - A High Level Language for the Design and Verification of Finite State Machines
Abstract, Unavailable Electronically

CMU-CS-85-180
A Data-Driven Multiprocessor for Switch-Level Simulation of VLSI Circuits
Abstract, Unavailable Electronically

CMU-CS-85-181
Incremental Network Generation in Template-Based Word Recognition
Abstract, Unavailable Electronically

CMU-CS-85-182
Describe - An Explanation Facility for An Object-Based Expert System
Abstract, Unavailable Electronically

CMU-CS-85-183
See CMU-CS-85-172. Same Report.
Abstract, Unavailable Electronically

CMU-CS-85-184
Unpublished

CMU-CS-85-185
DYPAR-I: Tutorial and Reference Manual
Abstract, Unavailable Electronically

CMU-CS-85-186
Overload Resolution in Ada+
Abstract, Unavailable Electronically

CMU-CS-85-187
Type Checking and Type Deduction Techniques for Polymorphic Programming Languages
Abstract, Unavailable Electronically

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by [email protected]