%A Norihisa Suzuki
%A David Jefferson
%T Verification decidability of Presburger array programs
%R Technical Report
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D July 1977
%P 18

%A Mary Shaw
%A Guy T. almes
%A Josephn M. Newcomer
%A Brian K. Reid
%A Wm.A. Wulf
%T A comparison of programming languages for software engineering
%R Technical Report CMU-CS-78-119
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1978
%P 92
%K Fortran, Cobol, Jovial, Ada

%A H.T. Kung
%T Let's design algorithms for VLSI systems
%R CMU-CS-79-151
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D January 1979
%P 30
%K systolic algorithms

%E Anita K. Jones
%E Edward F. Gehringer]%T The Cm* multiprocessor project: a research review
%R Technical Report CMU-CS-80-131
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D July 1980
%P 214
%K StarOS, Medusa

%A P. Hibbard
%A A. Hisgen
%A J. Rosenberg
%A M. Sherman
%T Programming in Ada: examples
%R Technical Report CMU-CS-80-149
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D October 1980
%P 52

%A Allan L. Fisher
%T Implementation issues for algorithmic VLSI processor arrays
%R Technical Report
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D October 1984
%K Dictionary machines, Information retrieval, Massively parallel architectures
PSC, Radix machines, Special-purpose architectures, Synchronization,
Systolic algorithms, Systolic arrays, Tree machines
%O Thesis (Ph.D.)

%A Maurice Herlihy
%T Atomicity vs. availability: concurrency control for replicated data
%R CMU-CS-85-108
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D February 1985
%P 27

%A Robert E. Frederking
%T Syntax and Semantics in Natural Language Parsers
%R Technical Report
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D May 1985

%A Ketan Mulmuley
%T A Mechanizable Theory for Existence Proofs of Inclusive Predicates
%R Technical Report
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D July 1985

%A Gary L. Bradshaw
%T Learning to Recognize Speech Sounds: A Theory and Model
%R Technical Report
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D June 1985

%A Masaru Tomita
%T An Efficient Context-free Parsing Algrithm for Natural Languages
and its Applications
%R Technical Report
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D May 1985

%A Masaru Tomita
%T Feasibility Study of Personal/Interactive Machine Translation
Systems
%R Technical Report
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D July 1985

%A Jeannette M. Wing
%A Farhad Arbab
%T Geometric Reasoning: A New Paradigm for Processing Geometric Information
%R Technical Report
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D July 1985

%A Jeannette M. Wing
%A Mark R. Nixon
%T Adding Temporal Logic to Ina Jo
%R Technical Report
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D July 1985
%K temporal logic, formal specification

%A Jaime G. Carbonnell
%A Masaru Tomita
%T New Approaches to Machine Translation
%R Technical Report
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D July 1985

%A Robert J. Chansler\ Jr.
%T Coupling in Systems with Many Processors
%R Technical Report CMU-CS-82-130
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D August 1982
%P 134
%K case study, multiprocessor system resource management, Cm*, StarOS
%O PhD Thesis

%A Bruce W. Leverett
%T Topics in Code Generation and Register Allocation
%R Technical Report CMU-CS-82-130
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D July 1982
%P 25
%K compiler-compilers, compiler structure, retargetability, PQCC

%A R. Bisiani
%A M. J. Foster
%A H. T. Kung
%A K. Oflazer
%T MISE: Machine for In-System Evaluation of Custom VLSI Chips
%R Technical Report CMU-CS-82-132
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D August 1982
%P 19
%K integration testing
%O also in Proceedings of IEEE 1982 Real-Time Systems Symposium

%A Christopher J. Van\ Wyk
%A Jon L. Bentley
%A Peter J. Weinberger
%T Efficiency Considerations for C Programs on a Vax 11/780
%R Technical Report CMU-CS-82-134
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D August 1982
%P 19
%K performance improvements, algorithm design

%A Geoffrey E. Hinton
%T Distributed representations
%R Technical Report CMU-CS-84-157
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1984
%K Distributed memory
%K Knowledge representation

%A Philip L. Lehman
%T Systolic arrays for rapid processing of simple database
transactions
%R Technical Report CMU-CS-84-160
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1984
%P 214
%K Database consistency, Relational databases,
Simple query pipeline scheduling, Transaction processing
%O PhD Thesis

%A Lui Sha
%T Modular concurrency control and failure recovery - consistency,
correctness and optimality
%R Technical Report CMU-CS-85-114
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Distributed systems, Scheduling rules
%O PhD Thesis

%A Jaime G. Carbonell
%T Derivational analogy: a theory of reconstructive problem solving
and expertise acquisition
%R Technical Report CMU-CS-85-115
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Case-based reasoning

%A Gary Kahn
%A John McDermott
%T MUD: a drilling fluids consultant
%R Technical Report CMU-CS-85-116
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Diagnostic systems, Knowledge acquisition

%A Yumi Iwasaki
%A Herbert A. Simon
%T Causality in device behavior
%R Technical Report CMU-CS-85-118
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Causal ordering, Causal relation, Comparative statics, Qualitative physics

%A Maurice Herlihy
%T Using type information to enhance the availability of partitioned
data
%R Technical Report CMU-CS-85-119
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Concurrency control, Consistency, Distributed systems, Replicated data,
Layered consensus locking, Partitioned networks, Quorum assignment

%A Randal E. Bryant
%T Symbolic verification of MOS circuits
%R Technical Report CMU-CS-85-120
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Circuit design, Logic simulation, MOSSYM, Switch-level simulation

%A Jon Doyle
%T Reasoned assumptions and Pareto optimality
%R Technical Report CMU-CS-85-121
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Artificial intelligence, Economic theory, Group decision making
Inference rules, Non-monotonic reasoning

%A David M. McKeown\ Jr.
%A John F. Pane
%T Alignment and connection of fragmented linear features in aerial
imagery
%R Technical Report CMU-CS-85-122
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Cultural features, Feature extraction, Image segmentation,
Region interpolation, Spline approximation

%A Maurice. Herlihy
%T Comparing how atomicity mechanisms support replication
%R Technical Report CMU-CS-85-123
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Concurrency control, Distributed systems, Locking, Quorum assignment,
Timestamps

%A David L. Dill
%A Edmund M. Clarke
%T Automatic verification of asynchronous circuits using temporal
logic
%R Technical Report CMU-CS-85-124
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Circuit design, Timing constraints

%A David L. Dill
%A Edmund M. Clarke
%T Automatic verification of asynchronous circuits using temporal
logic
%R Technical Report CMU-CS-85-125
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Circuit design
%K Timing constraints

%A Theodore F. Lehr
%T The implementation of a production system machine
%R Technical Report CMU-CS-85-126
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Computer architecture, OPS5, Performance improvement,
Production systems, RISCF, Rete algorithm

%A Bernd. Bruegge
%T Debugging Ada
%R Technical Report CMU-CS-85-127
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Debuggers

%A Zary Segall
%A Larry Rudolph
%T PIE - a programming and instrumentation environment for parallel
processing
%R Technical Report CMU-CS-85-128
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Program development, Program efficiency, Programming environments

%A David Garlan
%T Flexible unparsing in a structure editing environment
%R Technical Report CMU-CS-85-129
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Programming environments, UAL, Unparse specification languages
VIZ, Views

%A David. Garlan
%T Flexible unparsing in a structure editing environment
%R Technical Report CMU-CS-85-129
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Programming environments, UAL, Unparse specification languages, VIZ, Views

%A Steven Minton
%T A game-playing program that learns by analyzing examples
%R Technical Report CMU-CS-85-130
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D 1985
%K Concept acquisition, Constraint based generalization,
Forcing configurations, Learning from examples, Machine learning,
Tactical combinations, Winning combinations

%A Vijay A. Saraswat
%T Problems with Concurrent Prolog
%R Technical Report CMU-CS-86-100
%I Department of Computer Science, Carnegie-Mellon University
%K cmu
%D January 1986
%P 35