Yale University.  
Computer Science.  
   
     
 

Technical Reports

The following is a complete listing of research reports published by the department.

Some of the reports are out of print and unavailable from Yale. These are indicated by an asterisk * next to the title.

Some of the reports are available electronically, either with a .ps or .pdf file and will have a link to the paper. If there is a paper with no electronic version that you are interested in, please send email requesting the paper you are looking for. Be sure to list the tr number/title/authors.


Click on a year below to view reports for that year.

1970

1971

1972

1973

1974

1975

1976

1977

1978

1979

1980

1981

1982

1983

1984

1985

1986

1987

1988

1989

1990

1991

1992

1993

1994

1995

1996

1997

1998

1999

2000

2001

2002

2003

2004

2005

2006

 

 

 

 

 

 

 

 




YALE/DCS/tr001 * Multiple-track Programming
1970
Edgar Irons
YALE/DCS/tr002 * Syntax Graphs and Fast Context Free Parsing
1971
Edgar Irons

YALE/DCS/tr003 * L2-Error Bounds for the Raleigh-Bitz-Galerkin
APR/71/NA Method
Martin Schultz

YALE/DCS/tr004 * Discrete Tchebycheff Approximation for
APR/71/NA Multivariate Splines
Martin Schultz

YALE/DCS/tr005 * Error Bounds for Bivariate Cubic Interpolation
APR/71/NA
Martin Schultz

YALE/DCS/tr006 * Error Bounds for Galerkin's Method for Monotone
1971/NA Operator Equations
Martin Schultz

YALE/DCS/tr007 * New Computational Algorithms for Minimizing a
1971/NA Sum of Squares of Nonlinear Functions
Kenneth Brown
J. Dennis, Jr.

YALE/DCS/tr008 * On the Second Order of Convergence
1971/NA
Kenneth Brown

YALE/DCS/tr009 * Quadrature-Galerkin Approximations to
MAY/71/NA Solutions of Elliptic Differential
Martin Schultz Equations

YALE/DCS/tr010 * A Ritz Method for an Optimal Control Problem
MAY/71/NA
Martin Schultz

YALE/DCS/tr011 * Computational Aspects of the Finite Element Method
1972/NA
Stanley Eisenstat
Martin Schultz

YALE/DCS/tr012 * On the Rate of Convergence of the
JUL/72/NA Gergman-Vekua Method for Numerical
Stanley Eisenstat Solution of Elliptic Boundary Value


YALE/DCS/tr013 * Neighborhood Search Algorithms for Finding
1973 Optimal Traveling Salesmen Tours Must
Weiner be Inefficient
Savage
Bagchi

YALE/DCS/tr014 * Convergent Local Search
1973
Savage
Weiner
Krone

YALE/DCS/tr015 * Bicubic Interpolation Over Right Triangles
AUG/72/NA
Martin Schultz

YALE/DCS/tr016 * The File Transmission Problem
1973
Weiner
Tuttle
Problems
YALE/DCS tr017 * Linear Pattern Matching Algorithms
1973
Weiner

YALE/DCS/tr018 * An Overview of the Yale GEM System
1973 (Preliminary Version)
Weiner
Minter

YALE/DCS/tr019 * The Yale Editor "E" - A CRT-Based Text Editing
1973 System (Preliminary Version)
Weiner
Singh
Mostow
Edgar Irons

YALE/DCS/tr020 * The Complexity of Partial Differential Equations
MAY/73/NA
Stanley Eisenstat
Martin Schultz

YALE/DCS/tr021 The Complexity of Linear Approximation
MAY/73/NA Algorithms
Martin Schultz

YALE/DCS/tr022 * On Synchronization Primitive Systems
1973
Lipton

YALE/DCS/tr023 * On the Arithmetic Complexity of a Class
1973 of Arithmetic Computations
Dobkin

YALE/DCS/tr024 * Steps Toward an APL Compiler
1974
Allen Perlis

YALE/DCS/tr025 * On Some Generalizations of Binary Search
1974
Dobkin
Lipton

YALE/DCS/tr026 * Limitations of Synchronization Primitives
1974 with...
Lipton

YALE/DCS/tr027 * The Application of Sparse Matrix Methods
1974/NA to the Solution of Nonlinear Elliptic Partial
Stanley Eisenstat Differential
Martin Schultz
Sherman

YALE/DCS/tr028 * A Comparative Analysis of the Cuthill-McKee
1974/NA and Reverse Cuthill-McKee Ordering
Liu Algorithms for Sparse Matrices
Sherman

YALE/DCS/tr029 * A Real-Time Algorithm for Least Square
MAY/75/NA Splines and its Application in Computer-Aided
Stanley Eisenstat Geometric Design
John Lewis
Martin Schultz

YALE/DCS/tr030 * Reduction: A New Method of Proving
l974 Properties of Systems (Revised+ see
Lipton #40.)


YALE/DCS/tr031 * Limitations of Synchronization Primitives
1974
Lipton

YALE/DCS/tr032 * Translational Lemmas, Polynomial Time and (log n)-space
1974
Book

YALE/DCS/tr033 * Chomsky-S
1974
Book

YALE/DCS/tr034 * Multidimensional Searching Problems
1974
Dobkin
Lipton

YALE/DCS/tr035 Subroutines for Envelope Solution of
OCT/74/NA Sparse Linear Systems
Stanley Eisenstat
Sherman

YALE/DCS/tr036 * A Model for Natural Language Semantics
1974
Hobbs

YALE/DCS/tr037 * On the Optimal Parsing of Speech
1974
Lipton
Snyder

YALE/DCS/tr038 * Complexity Measures and Hierarchies for the
1974 Evaluation of Integers, Polynomials, and
Lipton N-linear Forms
Dobkin

YALE/DCS/tr039 * The Role of Memory in Language Processing
1975/AI
Roger Schank

YALE/DCS/tr040 * Reduction: A Method for Proving Properties
1975 of Parallel Programs (revision of #30)
Lipton

YALE/DCS/tr041 * The Complexity of Control Structures and Data
1975 Structures
Lipton
Stanley Eisenstat
DeMillo

YALE/DCS/tr042 * On the Complexity of Computations Under
1975 Varying Sets of Primitives
Dobkin
Lipton

YALE/DCS/tr043 * SAM -- A Story Understander
AUG/75/AI
Roger Schank

YALE/DCS/tr044 * LGS: A Lexical Analyzer Generator
1975
Wick

YALE/DCS/tr045 * PGS: A Parser Generator
1975
Wick

YALE/DCS/RR/046 * On the Efficient Solution of Sparse Systems
1975/NA of Linear and Nonlinear Equations
Sherman

YALE/DCS/tr047 * Application of Sparse Matrix Methods to Partial
1975/NA Differential Equations
Stanley Eisenstat
Martin Schultz
Sherman

YALE/DCS/tr048 * Efficient Implementation of Sparse Symmetric
1975/NA Gaussian Elimination
Stanley Eisenstat
Martin Schultz
Sherman

YALE/DCS/tr049 * Conjugate Gradient Methods for Partial
1975/NA Differential Equations
Chandra
Stanley Eisenstat
Martin Schultz

YALE/DCS/tr050 * Automatic Generation of Assemblers
1975
Wick

YALE/DCS/tr051 * Program Construction From Examples
1975
Summers

YALE/DCS/tr052 * A Non-Linear Lower Bound on Linear Search Tree
1975 Program for Solving Knapsack Problems
Dobkin

YALE/DCS/tr053 * Application of Sparse Matrix Techniques to
1975/NA Reservoir Simulation
Woo
Stanley Eisenstat
Martin Schultz
Sherman

YALE/DCS/tr054 * Applications of an Element Model for Gaussian
1975/NA Elimination
Stanley Eisenstat
Martin Schultz
Sherman

YALE/DCS/tr055 * Consideration in the Design of Software for
1975/NA Sparse Gaussian Elimination
Stanley Eisenstat
Martin Schultz
Sherman

YALE/DCS/tr056 * Subrecursive Predicates and Automata
1975
Wrathall

YALE/DCS/tr057 * Question Answering in a Story Understanding
DEC/1975/AI System
Wendy Lehnert

YALE/DCS/tr058 * TINY: A Bundled One-Chip Computer
1975
Edgar Irons

YALE/DCS/tr059 * A Constructive Generalization of the
1975 Borel-Cantelli Lemma with Application to
DeMillo the Complexity of Infinite Strings
Lipton

YALE/DCS/tr060 * Word Problems Solvable in Log Space
1975/AI
Lipton
Zalcstein

YALE/DCS/tr061 * Space & Time Hierarchies for Control Structures
1975/AI and Data Structures
Lipton
Stanley Eisenstat
DeMillo

YALE/DCS/tr062 * AMPL: A Programming Language for Manuscript
1976 Preparation Systems (Available only from
Sustman University Microfilms)

YALE/DCS/tr063 * The Reachability Problem Requires
1976 Exponential Space
Lipton

YALE/DCS/tr064 * On the Complexity of Resource Managers
1976
Snyder
Lipton

YALE/DCS/tr065 * Secure Data Bases: Protection Against
1976 User Inference
Dobkin
Jones
Lipton

YALE/DCS/tr066 * Polynomials With 0-1 Coefficients That
1976 Are Hard to Evaluate
Lipton

YALE/DCS/tr067 * Even Data Bases that Lie can be Compromised
1976
DeMillo
Dobkin
Lipton

YALE/DCS/tr068 * On the GEM System: A Progress Report
1976
Edgar Irons

YALE/DCS/tr069 * On the Complexity of Linear Programming
1976
Reiss
Dobkin

YALE/DCS/tr070 * A Lower Bound of 1/2n2 on Linear Search Programs
1976 for the Knapsack Problem
Dobkin
Lipton

YALE/DCS/tr071 * Excursions into Geometry
1976
Dobkin
Lipton
Reiss

YALE/DCS/tr072 * A Linear Time Algorithm for Deciding
1976 Subject Security
Lipton
Snyder

YALE/DCS/tr073 * A Machine Design for Efficient Implementation
1976 of APL (Duplicate of #81.)
Minter

YALE/DCS/tr074 * The Metanovel
SEPT/76/AI
James Meehan

YALE/DCS/tr075 * The Definition Mechanism for Standard PL/I
1976
Marcotty
Sayward

YALE/DCS/tr076 * A Linear Time Algorithm for Deciding
1976 Subject-Object Security (Extension of #72.)
Lipton
Snyder

YALE/DCS/tr077 * Security in Data Bases: A Combinational Study
1976
Reiss

YALE/DCS/tr078 * Comprehension by Computer: Expectation-based
OCT/76/AI Analysis of Sentences in Context
Reisbeck
Roger Schank

YALE/DCS/tr079 * New Lower Bounds for Median and Other Related
1976 Problems
Yap

YALE/DCS/tr080 * Pattern Matching and Inference in a Story-
1976/AI understanding System
Cullingford
Stutzman

YALE/DCS/tr081 * A Microprocessor Design for Efficient
1976 Implementation of A.P.L.
Minter

YALE/DCS/tr082 * Social Processes and Proofs of Theorems
1976 and Programs
DeMillo
Lipton
Allen Perlis

YALE/DCS/tr083 * On the Optimality of the Rayleigh-Ritz
DEC/76/NA Approximation
Stanley Eisenstat
Schrieber
Martin Schultz

YALE/DCS/tr084 * Research at Yale
1977/AI
Roger Schank
Yale AI Project

YALE/DCS/tr085 * On Structure Preserving Reductions
1977
Lipton
Lynch

YALE/DCS/tr086 * Specific Hard 0,1 Polynomials Over a
1977 Monotone Basis
Lipton

YALE/DCS/tr087 * The APL Idiom List
APR/77/SYS
S. Rugaber
Allen Perlis

YALE/DCS/tr088 * The Process of Question Answering
MAY/77/AI (In book form - may be ordered from publisher:
Wendy Lehnert Lawrence Erlbaum Associates)

YALE/DCS/tr089 * Notes on Parallel Computation
1977
R. Miller

YALE/DCS/tr090 * Evaluation Criteria for Process Synchronization
1977
Lipton
Snyder
Zalcstein

YALE/DCS/tr091 * The Complexity of Word and Isomorphism Problems
1977 for Finite Groups
Lipton
Snyder
Zalcstein

YALE/DCS/tr092 * Linear Time Colorings of Planar Graphs
1977
Lipton
R. Miller

YALE/DCS/tr093 * The Complexity of Searching Lines in the Plane
1977 (Preliminary version)
Dobkin
Lipton

YALE/DCS/tr094 * On the Power of Applicative Languages
1977
Lipton
Snyder

YALE/DCS/tr095 * On an Array Sorting Problem of Kosaraju
1977
Lipton
R. Miller
Snyder


YALE/DCS/tr096 * On the Complexity of Linear Search Tree Programs for
1977 Searching
Dobkin
Lipton

YALE/DCS/tr097 * On the Synthesis and Analysis of Protection
1977 Systems
Snyder

YALE/DCS/tr098 * Some Results on Maximum a Posteriori Probability
1977 Parsing Algorithms
Lipton
Levinson
Snyder

YALE/DCS/tr099 * On the Halting of Tree Replacement Systems
1977
Lipton
Snyder

YALE/DCS/tr100 * Increasing Confidence in Software Through Program
1977 Perturbations
Hanson
Lipton
Sayward


YALE/DCS/tr101 * Introduction to Linear Asynchronous Structures
1977
Lipton
R. Miller
Snyder

YALE/DCS/tr102 * On the Solvability of a Word Problem for Restricted
1977 Semigroups
Snyder

YALE/DCS/tr103 * A Linear Time Algorithm for Deciding Security
1977
James
Lipton
Snyder

YALE/DCS/tr104 * Skimming Newspaper Stories by Computer
MAY/77/AI
Gerald DeJong

YALE/DCS/tr105 * Minimal Storage Band Elimination
1977/NA
Martin Schultz
Stanley Eisenstat
Sherman

YALE/DCS/tr106 * A Minimal Space Selection Algorithm That Runs in
1977 Linear Time
Dobkin
Munro

YALE/DCS/tr107 * The Modified Conjugate Residual Method for
MAY/77/NA Partial Differential Equations
Stanley Eisenstat
Martin Schultz

YALE/DCS/tr108 * Response Time of Parallel Programs
1977
Lipton
Sayward

YALE/DCS/tr109 * Finite Element Methods for Spherically Symmetric
MAY/77/NA Elliptic Equations
Stanley Eisenstat
Schreiber
Martin Schultz

YALE/DCS/tr110 * Analyzing English Noun Groups for Their
MAY/77/AI Conceptual Content
Anatole Gershman

YALE/DCS/tr111 * Ideological belief system simulation
MAY/77/AI
Carbonell

Yale/DCS/tr112 * Yale Sparse Matrix Package
1977 I. The Symmetric Codes
Stanley Eisenstat
Gursky
Martin Schultz
Sherman

YALE/DCS/tr113 * Inverse Translation: The Theory of Practical
1977 Automatic Programming
Reiss

YALE/DCS/tr114 * Yale Sparse Matrix Package
1977 II. Nonsymmetric Codes
Stanley Eisenstat
Gursky
Martin Schultz
Sherman

YALE/DCS/tr115 * Finite Element Methods for Singular Two-point
1977 Boundry Value Problems
Schreiber

YALE/DCS/tr116 * Script Application: Computer Understanding of
JAN/78/AI Newspaper Stories
Cullingford

YALE/DCS/tr117 * Users' Guide to the Pilot Mutation System
1977
Budd
Sayward

YALE/DCS/tr118 * The Design of the Pilot Mutation System
1977
Budd
Sayward

YALE/DCS/tr119 * On the Synthesis and Analysis of Protection
1977 Systems
Snyder

YALE/DCS/tr120 * A Theoretic Approach to Automatic Programming
1977
Reiss

YALE/DCS/tr123 * Testing Ramamoorthy's Triangle Categorization
1977 Program on PIMS
Sayward

YALE/DCS/tr124 * A Comparison of Symbolic Evaluation and Mutant
1977 Analysis
Budd

YALE/DCS/tr125 * SCAN - PIM's Line Scanner
1977
Budd

YALE/DCS/tr126 * I. Inert Rights and Conspirators in the TAKE/GRANT
1977 System
Budd
Lipton II. Safety in Protection Systems

YALE/DCS/tr127 * Re: The Gettysburg Address
JAN/78/AI
Schank
Carbonell

YALE/DCS/tr128 * Representing Attitudes: Some Primitive States
JAN/78/AI
Roger Schank
Robert Wilensky
Jaime Carbonell
Janet Kolodner
James Hendler

YALE/DCS/tr129 * Conjugate Gradient Methods for Partial
JAN/78/NA Differential Equations
Chandra

YALE/DCS/tr130 * The Structure and Rank of M by P by Q Tensors:
1978 An Heuristic Approach
Laskowski
Dobkin

YALE/DCS/tr131 * Representing Physical Objects in Memory
MAY/78/AI
Wendy Lehnert

YALE/DCS/tr132 * On Idiom Recognition and Selection
1978
Snyder

YALE/DCS/tr133 * Tentative Compilation: A Design for an APL
1978 Compiler
Miller

YALE/DCS/tr134 * Time and Space Bounds for Selection Problems
1978
Dobkin
Munroe

YALE/DCS/tr135 * The Beacon Set Approach to Graph Isomorphism
1978
Lipton

YALE/DCS/tr136 * Social Processes and Proofs of Theorems and
1978 Programs
DeMillo
Lipton
Allen Perlis

YALE/DCS/tr137 * On the Use of Framed Knowledge in Language
SEPT/78/AI Comprehension
Eugene Charniak

YALE/DCS/tr138 * A New Approach to the Analysis of Algorithms
1978
Dobkin

YALE/DCS/tr139 * Micro-SAM and Micro-ELI: Exercises in Popular
SEPT/78/AI Cognitive Mechanics
Chris Riesbeck
Eugene Charniak

YALE/DCS/tr140 * Understanding Goal-based Stories
SEPT/78/AI
Robert Wilensky

YALE/DCS/tr141 * Inference in the Conceptual Dependency Paradigm:
SEPT/78/AI A Personal History
Roger Schank

YALE/DCS/tr142 * Memory Organization for Natural Language Data-base
SEPT/78/AI Inquiry
Janet Kolodner

YALE/DCS/tr143 * Integrated Partial Parsing
DEC/78/AI
Roger Schank
Michael Lebowitz
Lawrence Birnbaum

YALE/DCS/tr144 * Does a Hippie Own a Hairdrier?
1978/AI
Roger Schank
Michael Lebowitz

YALE/DCS/tr145 * Interestingness: Controlling Inferences
OCT/78/AI
Roger Schank

YALE/DCS/tr146 * Knowledge-based Machine Translation
DEC/78/AI
Jaime Carbonell
Richard Cullingford
Anatole Gershman

YALE/DCS/tr147 * Theft and Conspiracy in the Take-grant Protection
1978/AI Model
Snyder

YALE/DCS/tr148 * Spline Regression: Algorithms and Local
1978/AI Dependence
John Lewis

YALE/DCS/tr149 * Codification of Programming Knowledge: Graph
DEC/78/AI Algorithms
David Barstow

YALE/DCS/tr150 * Subjective Understanding: Computer Models
JAN/79/AI of Belief Systems
Jaime Carbonell

YALE/DCS/tr151 * Formal Models of Capability-based Protection
1978 Systems
Snyder

YALE/DCS/tr152 * Software for Sparse Gaussian Elimination
1978/NA With Limited Core Storage
Stanley Eisenstat
Martin Schultz
Sherman

YALE/DCS/tr153 * On Uniquely Represented Data Structures
1979
Snyder

YALE/DCS/tr154 * Scheduling Processes Without a Common Scheduler
1979
Holober
Snyder

YALE/DCS/tr155 * Mutation Analysis
1979
Budd
Lipton
DeMillo
Sayward

YALE/DCS/tr156 * Knowledge-based Parsing
APR/79/AI
Anatole Gershman

YALE/DCS/tr157 * Text Processing Effects and Recall Memory
MAY/79/AI
Wendy Lehnert

YALE/DCS/tr158 * Skimming Stories in Real Time: An Experiment in
MAY/79/AI Integrated Understanding
Gerald DeJong

YALE/DCS/tr159 * Retrieving Information from an Episodic
JAN/79/AI Memory, or Why Computer Memories Should Be
Roger Schank More Like People
Janet Kolodner

YALE/DCS/tr160 * The Conceptual Content of Conversation
1979/AI
Roger Schank
Wendy Lehnert

YALE/DCS/tr161 * Heuristics for Determining Equivalence
1979 of Program Mutation
Baldwin
Sayward

YALE/DCS/tr162 * The Role of Object Primitives in Natural
MAY/79/AI Language Processing
Wendy Lehnert
Mark Burstein

YALE/DCS/tr163 * An Overview of the Yale GEM System
1979
Levine

YALE/DCS/tr164 * An Evaluation of Pagodas
1979
Peter Nix

YALE/DCS/tr165 * Testing Bradley's Greatest Divisor
1979 Program on EXPER
Hess
Sayward

YALE/DCS/tr166 * The Transfer of Information and Authority
1979 in a Protection System
Snyder
Bishop

YALE/DCS/tr167 * Time- and Space-optimimality in B-trees
1979
Snyder
Rosenberg

YALE/DCS/tr168 * Problems in Conceptual Analysis of Natural
OCT/79/AI Language
Lawrence Birnbaum
Selfridge

YALE/DCS/tr169 * A UNIX Shell
1979
Ellis

YALE/DCS/tr170 * Reminding and Memory Organization: An
DEC/79/AI Introduction to MOPs
Roger Schank

YALE/DCS/tr171 * Adaptive Understanding: Correcting Erroneous
JAN/80/AI Inferences (Ph.d. thesis)
Richard Granger, Jr.

YALE/DCS/tr172 * Model of Children's Language of Compilers
JAN//80/AI
Mallory Selfridge

YALE/DCS/tr173 * Spatial Inferences with Ground, Metric
JAN/80/AI Formulas on Simple Objects
Drew McDermott

YALE/DCS/tr174 * Non Monotonic Logic II: Non Monotonic Modal
FEB/80/AI Theories
Drew McDermott

YALE/DCS/tr175 * Memory Organization and Search Processes for
APR/80/AI for Narratives
Michael Dyer
Wendy Lehnert

YALE/DCS/tr176 * Tree Organized Processor Structure,
Snyder A VLSI Parallel Processor Design

YALE/DCS/tr177 * On Convergence Towards Data Base of
APR/80/AI Programming Rules
David Barstow

YALE/DCS/tr178 * The Role of Knowledge an Deduction
APR/80/AI in Algorithm Creation
David Barstow

Yale/DCS/tr179 * Affect Analysis and Narrative Summarization
MAY/80/AI
Wendy Lehnert

YALE/DCS/tr180 * Error Programs and Test Data for Life-
Budd Cycle Experiments
Hess
Sayward

YALE/DCS/tr181 * A Survey of Synchronization Design
Holober

YALE/DCS/tr182 * Draft Version of the Softwave Metrics
Allan Perlis Panel's Final Report
Sayward
Shaw and eds.

YALE/DCS/tr183 * VEGE: Variable Processing in a Natural
APR/80/AI Language System
Wendy Lehnert
William Bain

YALE/DCS/tr184 A Finite Solution of a Reduced Fokker-Planck
AUG/80/NA Equation
D. Fyfe
Alan Weiser
I. Bernstein
Stanley Eisenstat
Martin Schultz

YALE/DCS/tr185 * Efficient Implementation of a Class of
AUG/80/NA Precondition Conjugate Methods
Stanley Eisenstat

YALE/DCS/tr186 * Generalization and Memory in an Integrated
OCT/80/AI Understanding System
Michael Lebowitz

YALE/DCS/tr187 * Retrieval and Organizational Strategies for
NOV/80/AI Conceptual Memory: A Computer Memory
Janet Kolodner

YALE/DCS/tr188 * BORIS: A Progress Report
JAN/81/AI
Wendy Lehnert
Dyer
Harley
Young
Johnson

YALE/DCS/tr189 * Memory, Meaning and Syntax
NOV/80/AI
Roger Schank
Lawrence Birnbaum

YALE/DCS/tr190 * Conceptual Information Retrieval
DEC/80/AI
Roger Schank
Janet Kolodner
Gerald DeJong

YALE/DCS/tr191 * Multiple Context Shells
JAN/81/AI
J.R. Ellis

YALE/DCS/tr192 * Inductive Inference Theories from Facts
FEB/81/TH
Ehud Shapiro

YALE/DCS/tr193 * Organizing Spatial Knowledge
JAN/81/AI
Ernest Davis

YALE/DCS/tr194 On Some Trends in Elliptical Problem
FEB/81/NA Solvers
Stanley Eisenstat
Martin Schultz

YALE/DCS/tr195 * Finding Objects with Given Spatial
MAR/81/AI Properties
Drew McDermott

YALE/DCS/tr196 * A Temporal Logic for Reasoning about
MAR/81/AI Processes and Plans
Drew McDermott

YALE/DCS/tr197 * Arc-length Continuation and Multi-grid
MAR/81/NA Techniques for Non-linear Elliptic
Tony Chan Eigenvalue Problems
H. Keller

YALE/DCS/tr198 * Numerical Computation of Large Amplitude
MAR/81/NA Internal Solitary Waves
Tony Chan

YALE/DCS/tr199 * Analysis of Multi-level Inverse Iteration
DEC/80/NA Process Eigenvalue Problems
Randolph Bank

YALE/DCS/tr200 * Steps Toward Efficiently Implementing
Sayward Program Mutation Systems: The High
Lipton Level Design of a Distributed Mutation


YALE/DCS/tr201 * Secondary Storage Methods for Solving
APR/81/NA Symmetric, Positive Definite, Bonded
Richard Perry Linear Systems

YALE/DCS/tr202 * Analysis of a Multi-level Iterative
MAR/81/NA Method for Non-linear Finite Element
Randolph Bank Equation

YALE/DCS/tr203 * Preconditioned Conjugate-Gradient Methods
APR/81/NA for Non-Symmetric Systems of Linear
Howard Elman Equations

YALE/DCS/tr204 Optimal Block Diagonal Scaling of
APR/81/NA Block 2-Cyclic Matrices
Stanley Eisenstat
Martin Schultz
John Lewis

YALE/DCS/tr205 * What's the Point
MAY/81/AI
System
Gregg Collins
Ernest Davis
Peter Johnson
Steve Lytinen
Brian Reiser

YALE/DCS/tr206 * MAGPIE: A Goal-Based Model of Conversation
MAY/81/AI
Johnson
Peter Johnson
Scott Robertson

YALE/DCS/tr207 The Order of Monotone Piecewise Cubic
AUG/81/NA Interpolation
Stanley Eisenstat
K. Jackson
John Lewis

YALE/DCS/tr208 * Alternating-Direction Incomplete
AUG/81/NA Factorizations
Tony Chan
K. Jackson
Benren Zhu

YALE/DCS/tr209 Variational Iterative Methods for
AUG/81/NA Non-symmetric Systems of Linear Equations
Stanley Eisenstat
Martin Schultz
Howard Elman

YALE/DCS/tr210 * The Positive Solution of a Certain Non-linear
SEPT/81/NA Parabolic System and it's Computation I
Benren Zhu

YALE/DCS/tr211 * Stability of High Order Difference Equations
SEPT/81/NA and its Algebraic Survey
Benren Zhu

YALE/DCS/tr212 * Iterative Solution of Large Symmetric
OCT/81/NA Indefinite Systems by Methods using Orthogonal
Youcef Saad Polynomials over Two Disjointed Intervals

YALE/DCS/tr213 * Local-Mesh, Local-Order, Adaptive Finite
DEC/81/NA Element Methods with A Posteriori Error
Alan Weiser Estimators for Elliptic Partial Differential


YALE/DCS/tr214 * Practical Use of Some Krylov Subspace
JAN/82/NA Methods for Solving Indefinite and
Youcef Saad Unsymmetric Linear Systems

YALE/DCS/tr215 * Adaptive Semi-Linear Numerical Methods for
SEPT/82/NA Solving Linear & Semi-Linear Differential
Jiachang Sun Equations wiith Singularity 1. Initial Value
Kenneth Jackson Problem of Ordinaru Differential Equations


YALE/DCS/tr216 II Difference Scheme for Singular Perturbation
MAY/82/NA of Two Point Boundary Value Problem
Jiachang Sun
Martin Schultz

YALE/DCS/tr217 * A Petrov-Galerkin Method on Nonlinear
JUN/82/NA Subsets and its application to a
Jiachang Sun Singular Perturbed Bondary value Problem

YALE/DCS/tr218 * What do novices know about Programming?
JAN/82/AI
Elliot Soloway
Kate Ehrlich
Jeffrey Bonar
Judith Greenspan

YALE/DCS/tr219 * In-Depth Understanding: A Computer Model of
MAY/82/AI Integrated Processing for Narrative Comprehension
Michael Dyer

YALE/DCS/tr220 * Modeling Memory for Languange Understanding
FEB/82/AI w/ Significant First Derivatives
Roger Schank
Mark Burstein

YALE/DCS/tr221 Sacrificing Serializability to Attain
FEB/85/TH High Availability of Data in an
Michael Fischer Unreliable Network
Alan Michael

YALE/DCS/tr222 * Algorithms for Computing the Sample
MAY/82/NA Variance: Analysis and Recommendations
Tony Chan
Gene Golub
Randall LeVeque

YALE/DCS/tr223 Multi-Grid Algorithms for Elliptic
MAY/82/NA Boundary-Value Problems
Craig Douglas

YALE/DCS/tr224 * Projection Methods for Solving Large Sparse
APR/82/NA Eigenvalue Problems
Youcef Saad

YALE/DCS/tr225 * Deflated Decomposition of Solutions of
MAR/82/NA Nearly Singular Systems
Tony Chan

YALE/DCS/tr226 * Deflation Techniques & Block-Elimination
MAR/82/NA Algorithms for Solving Bordered
Tony Chan Singular Systems.

YALE/DCS/tr227 * On the Existence and Computation of
MAR/82/NA LU-factorizations with Small Pivots
Tony Chan

YALE/DCS/tr228 * A Note on the Generalized Conjucate
MAR/82/NA Gradient Method
Stanley Eisenstat

YALE/DCS/tr229 * Iterative Methods for Large Sparse non-Semetric
APR/82/NA Systems of Linear Equation
Howard Elman

YALE/DCS/tr230 * Z - the 95% Program Editor
Wood

YALE/DCS/tr231 * A Bliss Programming Environment
Ellis
Mishkin
Nix
Wood

YALE/DCS/tr232 * Tools: A Systems Programming Environment
Ellis
Mishkin
Van Leunen
Wood

YALE/DCS/tr233 * Newton-Like Pseudo-Arclength Methods
APR/82/NA for Computing Simple Turning Points
Tony Chan

YALE/DCS/tr234 * Representation & Translation
MAY/82/AI
Roger Schank
Steve Lytinen

YALE/DCS/tr235 * Iterative Methods for Solving Bordered Systems
MAY/82/NA with Applications to Continuation Methods
Tony Chan
Youcef Saad

YALE/DCS/tr236 * An Empirical Investigation of the Tacit Plan
APR/82/AI Knowledge in Programming
Kate Ehrlich
Elliot Soloway

YALE/DCS/tr237 * Algorithmic Program De-Bugging
Ehud Shapiro

YALE/DCS/tr238 * A Comparison of Some Elliptic Solners on
Tony Chan General Two-Dimensional Regions
Faisal Saied
(See #263)

YALE/DCS/tr239 * Alternation & Computational Complexity of
JUN/82/TH Logic Programs
Ehud Shapiro

YALE/DCS/tr240 * Uncovering Principles of Novice Programming
NOV/82/AI
Jeffrey Bonar
Elliot Soloway

YALE/DCS/tr241 * Computer Systems Architecture at Yale: the
JUL/82/SYS Enormous Longword Instruction (ELI) Machine
J. Fisher Progress and Research Plans

YALE/DCS/tr242 * Cognitive Strategies and Looping Constructs:
JUL/82/AI An Empirical Study
Elliot Soloway
Jeffrey Bonar
Kate Ehrlich

YALE/DCS/tr243 Lecture Notes on the Complexity of Some Problems
AUG/82/TH in Number Theory
Dana Angluin

YALE/DCS/tr244 Some Observations on the Generalized Conjugate
SEPT/82/NA Gradient Method
Stanley Eisenstat

YALE/DCS/tr245 * Impossibility of Distributed Consensus with One
SEP/85/TH Faulty Process
Michael Fischer
Nancy Lynch
Michael Paterson

YALE/DCS/tr246 * Generation of Japanese Sentences from Conceptual
Ishizaki Representation: Inference Using Memory
Steven Lytinen Organization Packets
Littleboy

YALE/DCS/tr247 * Multi-Grid Algorithms with Applications to
1983/NA Elliptic Boundary-Value Problems
Craig Douglas

YALE/DCS/tr248 * A Multi-Grid Optimal Order Solver for Elliptic
Craig Douglas Boundary-Value Problems

YALE/DCS/tr249 * Approximation Algorithms for Steiner Tree
Sullivan Problems

YALE/DCS/tr250 A Survey of Inductive Inference: Theory and
SEP/83/TH Methods
Dana Angluin
Carl Smith

YALE/DCS/tr251 * Storage Requirements for Fair Scheduling
OCT/82/TH
Michael Fischer
Michael Paterson

YALE/DCS/tr252 * Finding a Majority Among N=Votes
OCT/82/TH
Michael Fischer
Steven Salzberg

YALE/DCS/tr253 * Very Long Instruction Word Architecture and the
APR/83/SYS ELI-512
J. Fisher

YALE/DCS/tr254 Chebysher Acceleration for Nonsymmetric
AUG/83/NA Eigenvalue Algorithms
Youcef Saad
Martin Schultz

YALE/DCS/tr255 * Conjugate Gradient-like Algorithms for Solving
JUN/83/NA Nonsymetric Linear Systems
Youcef Saad

YALE/DCS/tr256 * Carrier Array: An Extension to APL
MAY/83/SYS
P.G. Lowney

YALE/DCS/tr257 * Transfer Effects from Programming to Algebra
DEC/82/AI Word Problems: a Preliminary Study
Kate Ehrlich
Elliot Soloway
Valerie Abbott

YALE/DCS/tr258 * MENO-II: An AI-Based Programming Tutor
DEC/82/AI
Elliot Soloway
Eric Rubin
Beverly Woolf
Jeffrey Bonar
W. Lewis Johnson

YALE/DCS/tr259 * Nonlinearly-preconditioned Krylov Subspace
JAN/83/NA Methods for Discrete Newton Algorithms
Tony Chan
K. Jackson

YALE/DCS/tr260 * Stability Analysis of Finite Difference
APR/84/NA Schemes for the Advector-Difference Equation
Tony Chan

YALE/DCS/tr261 * PLTMGC: A Multi-grid Continuation Program
DEC/83/NA Package for Solving Parametrized Nonlinear
Tony Chan Elliptic Systems
Randolph Bank

YALE/DCS/tr262 * Systolic Architecture for Multi-Grid Algorithms
SEPT/83/NA
Tony Chan
R. Schreiber

YALE/DCS/tr263 * A Comparison of Elliptic Solvers for General
MAR/83/NA Two-Dimensional Regions
Tony Chan
Faisal Saied
(See #238)

YALE/DCS/tr264 * Scheduling Heuristics for Problem Solvers
APR/83/AI
David Miller

YALE/DCS/tr265 * The (New) Yale Sparse Matrix Package
APR/83/NA
Stanley Eisenstat
Howard Elman
Martin Schultz
Andrew Sherman

YALE/DCS/tr266 * Iterative Methods for Non-Self-Adjoint
APR/83/NA Elliptic Problems
Howard Elman

YALE/DCS/tr267 * Design and Use of the Yale Digital Simulator
MAY/83/SYS
Doug Baldwin
Richard Kelsey
John Ruttenberg
J. Fisher
J. Ellis

YALE/DCS/tr268 Distributed Graph Marking
JAN/83/SYS-NA
Paul Hudak

YALE/DCS/tr269 * Squeezing the most out of an Algorithm in Cray
MAY/83/NA Fortran
Jack Dongarra
Stanley Eisenstat

YALE/DCS/tr270 * Knowledge Reorganization & Reasoning Style
JUN/83/AI
Christopher Riesbeck

YALE/DCS/tr271 * Expert Systems & Diagnostic Monitors
NOV/83/SYS
David Gelernter

YALE/DCS/tr272 Solving Elliptic Problems on an Array Processor
JUN/83/NA System
Martin Schultz

YALE/DCS/tr273 * The Consensus Problem in Unreliable Distributed
JUN/83/TH Systems (A Brief Survey)
Michael Fischer

YALE/DCS/tr274 The Nisp Manual
JUN/83/AI
Drew McDermott

YALE/DCS/tr275 Abstract Multi-grid with Applications to
AUG/84/NA Elliptic Boundary-Value Problems
Craig Douglas
Youcef Saad

YALE/DCS/tr276 Least Squares Polynomials in the Complex Plane
AUG/84/NA with Applications to Solving Sparse
Youcef Saad Nonsymmetric Matrix Problems

YALE/DCS/tr277 Sharp Estimates for the Multigrid Rates of
Randolph Bank Convergence with General Smoothing and
Craig Douglas Acceleration

YALE/DCS/tr278 Local Uniform Mesh Refinement for Elliptic
JUL/83/NA Partial Differential Eauations
William Gropp

YALE/DCS/tr279 Analysis of an Implicit Finite Difference
JUL/83/NA Solution to an Underwater Wave Propagation
D.F. St. Mary Problem
Ding Lee

YALE/DCS/tr280 * Editing by Example
AUG/83/TH
Robert Nix

YALE/DCS/tr281 Large-scale Separation and Wake Closure/
AUG/83/NA Reattachment -- The Cascade Problem
F.T. Smith

YALE/DCS/tr282 Practical use of Polynomial preconditioning for
JUL/84/NA the conjugate gradient method
Youcef Saad

YALE/DCS/tr283 Conugate Gradient Like Methods for Solving
AUG/83/NA Nonsymmetric Linear Systems
Youcef Saad
Martin Schultz

YALE/DCS/tr284 * Classifying Bugs is a Tricky Business
AUG/83/AI
W. Lewis Johnson
Stephen Draper
Elliot Soloway

YALE/DCS/tr285 * PROUST: Knowledge-Based Program Understanding
AUG/83/AI
W. Lewis Johnson
Elliot Soloway

YALE/DCS/tr286 * Bug Catalogue: I
OCT/83/AI
W. Lewis Johnson
Elliot Soloway
Benjamin Cutler
Steven Draper

YALE/DCS/tr287 Preconditioning by Fast Direct Methods for Non-self-
DEC/83/NA Adjoint Nonseperable Elliptic Equations
Howard Elman
Martin Schultz

YALE/DCS/tr288 Provable Security of Cryptosystems: A Survey
OCT/83/TH
Dana Angluin

YALE/DCS/tr289 * Time Map Maintenance
OCT/83/AI
Thomas Dean

YALE/DCS/tr290 * Understanding Node Cover Approximations, Weighted and
1983/TH Unweighted
Dan Gusfield
Leonard Pitt

YALE/DCS/tr291 Singular Value Computations With Systolic Arrays
NOV/83/NA
Ilse Ipsen

YALEU/DCS/tr292 Representing and Acquiring Geographic Knowledge
JAN/84/AI
Ernnest Davis

YALE/DCS/tr293 Solving the Poisson Equation on the FPS-164
NOV/83/NA
Susan O'Donnell
Peter Geiger
Martin Schultz

YALE/DCS/tr294 Generative Communications in Linda
NOV/83/SYS Y
David Gelernter

YALE/DCS/tr295 * Fourier Methods with Extended Stability Intervals
DEC/83/NA for the Korteweg-de Vries Equation
Tony Chan
Tom Kerkhoven

YALE/DCS/tr296 * Qualitative and Quantitative Temporal Reasoning
DEC/83/AI
Stanley Letovsky

YALE/DCS/tr297 * Techniques for Large Sparse Systems Arising from
DEC/83/NA Continuation Methods
Tony Chan

YALE/DCS/tr298 * VLIW Machines: Multiprocessors We Can Actually Program
JAN/84/SYS
J. Fisher
J. O'Donnell

YALE/DCS/tr299 * A Parallel QR Method Using Fast Givens Rotations
JAN/84/NA
Ilse Ipsen

YALE/DCS/tr300 * An Approximate Newton Method for Coupled Non-Linear
JUN/84/NA Systems
Tony Chan

YALE/DCS/tr301 * A Hybrid Chebyshev Krylov Subspace Algorithm for Solv-
FEB/84/NA ing Nonsymmetric Systems of Linear Equations
Howard Elman
Youcef Saad
Paul Saylor

YALE/DCS/tr302 * On the Minimization of Quadratic Functions Subject to
SEPT/84/NA Box Constraints
Ron Dembo
Ulrich Tulowitzki

YALE/DCS/tr303 * A Convergent Framework for Constrained Non-Linear
JAN/84/NA Optimization
Ron Dembo
Siddhartha Sahi

YALE/DCS/tr304 * A Primal Truncated Newton Algorithm with Application to
MAR/83/NA Large-Scale Non-Linear Network Optimization
Ron Dembo

YALE/DCS/tr305 * Stable Explicit Schemes for Equations of the
MAR/84/NA Schrodinger Type
Tony Chan
Ding Lee
Long-jun Shen

YALE/DCS/tr306 * A Polynomial Time Algorithm for Fault Diagnosability
1984/TH
Sullivan, G.

YALE/DCS/tr307 * The Explanation Game
MAR/84/AI
Roger Schank

YALE/DCS/tr308 * Understanding Approximations for Node
APR/84/AI Cover and Other Subset Selection Problems
James Spohrer
Chris Riesbeck

YALE/DCS/tr309 * Preconditioned Iterative Methods for Nonselfadjoint
MAR/84/NA or Indefinite Elliptic Boundary Value Problems
James Bramble
Joseph Pasciak

YALE/DCS/tr310 * The Parallel Scaled Givens Rotations for the Solution
MAR/84/NA of Linear Least Squares Problems.
Jessie Barlow
Ilse Ipsen

YALE/DCS/tr311 * A High Performance Bulk Memory System
MAR/84/NA
William Gropp
John O'Donnell
Susan O'Donnell
Martin Schultz
Brian Weston

YALE/DCS/tr312 * The Use of Iterative Linear-Equation Solvers and
APR/84/NA Codes for Large Systems of Stiff IVPs for ODEs
Tony Chan
K. Jackson

YALE/DCS/tr313 * Local Uniform Mesh Refinement with Moving Grids
APR/84/NA
William Gropp

YALE/DCS/tr314 * On the Efficiency of Probabilistic Primality Tests
APR/84/TH
Evangelos Kranakis

YALE/DCS/tr315 * A Stable Explicit Scheme for the Ocean Acoustic
MAR/84/NA Wave Equation
Tony Chan
Long-jun Shen
Ding Lee

YALE/DCS/tr316 * A Class of Cryptosystems Equivalent to RSA
APR/84/TH
Evangelos Kranakis

YALE/DCS/tr317 Distributed Applicative Processing Systems: Project
MAY/84/SYS Goals, Motivation, and Status Report
Paul Hudak

YALE/DCS/tr318 * TBA
1984/AI
S. Ishizaki
C. Huang
L. Danlos
C. Turk

YALE/DCS/tr319 * A Characterization of Probabilistic Inference
JUL/84/TH
Leonard Pitt

YALE/DCS/tr320 * Difference Schemes for Equations of Schrodinger
JUN/84/NA Type
Tony Chan
Long-jun Shen

YALE/DCS/tr321 * Convergence of SIP
1984/NA
Pei-xian Chen

YALE/DCS/tr322 ALFL Reference Manual and Programmers Guide
OCT/84/SYS Z
Paul Hudak

YALE/DCS/tr323 An Efficient Implementation of the SSOR and ILU
1984/NA Preconditlonings for Conjugate Gradient Iteration
Randolph Bank
Craig Douglas

YALE/DCS/tr324 * Toward a Model of Subjective Interpretation
JUL/84/AI
William Bain

YALE/DCS/tr325 * A Methodology for Hierarchical Simulation of VLSI
JAN/84/SYS X Systems
Marina Chen

YALE/DCS/tr326 A Graph Theoretic Approach to Statistical Data
AUG/84/TH Security
Dan Gusfield

YALE/DCS/tr327 * Optimal Mixed Graph Augmentation
AUG/84/TH
Dan Gusfield

YALE/DCS/tr328 * A Modular Approach for Coupled Nonlinear Systems
SEPT/84/NA
Tony Chan

YALE/DCS/tr329 * Difference Schemes for the Parabolic Wave Equation
DEC/84/NA in Ocean Acoustics
Tony Chan
Ding Lee
Long-jun Shen

YALE/DCS/tr330 * Explanation: A First Pass
AUG/84/AI
Roger Schank

YALE/DCS/tr331 * Theoretical Aspects of the Security
SEPT/84/TH of Public Key Cryptography
Evangelos Kranakis

YALE/DCS/tr332 * The Steiner Tree Problem in Phylogeny
SEPT/84/TH
Dan Gusfield


YALE/DCS/tr333 * Fishspear: A Priority Queue Algorithm
SEPT/84/TH (Extended Abstract)
Michael Fischer
Michael Paterson

YALE/DCS/tr334 * A Synthesis Method for Systolic Arrays
JAN/85/SYS X with Space-time Variant, Data Independent Flow
Marina Chen

YALE/DCS/tr335 * Improving the Condition of Nearly Singular
DEC/84/NA Matrices by Rank-1 Modification
Tony Chan
Diana Resasco

YALE/DCS/tr336 * DBEPACK: A Program Package for Solving Bordered
AUG/84/NA Singular Systems
Tony Chan
Thomas Grossi

YALE/DCS/tr337 * Generalized Deflated Block Elimination
FEB/85/NA
Tony Chan
Diana Resasco

YALE/DCS/tr338 * Managing Permanent Objects
NOV/84/SYS
Nathaniel Mishkin

YALE/DCS/tr339 * Odd-Even Cyclic Reduction on Ensemble Architectures and
OCT/84/SYS X the Solution of Tridiagonal Systems of Equations.
Lennart Johnsson

YALE/DCS/tr340 * The Organization of Knowledge In a Multi-lingual,
NOV/84/AI Integrated Parser
Steven Leo Lytinen

YALE/DCS/tr341 Efficient Parallel Solution of Linear Systems
NOV/84/NA with Hyperbolic Rotations
Jean-Marc Delosme
Ilse Ipsen

YALE/DCS/tr342 A Model of Software Design
OCT/84/AI
Elliot Soloway
Beth Adelson

YALE/DCS/tr343 * Narrow and Wide Banded rystems Solvers
NOV/84/SYS for Ensemble Architechures
Lennart Johnsson

YALE/DCS/tr344 * Automatic Evaluation of Design Choices
DEC/84/SYS in Digital Controller Systhesis
Douglas Baldwin

YALE/DCS/tr345 Primality Tests
DEC/84/TH
Evangelos Kranakis

YALE/DCS/tr346 Block-Preconditioned Conjugate Gradient-Like
1984/NA Methods for Numerical Reservior Simulation
Stanley Eisenstat
Howard Elman
Martin Schultz

YALE/DCS/tr347 On the Condition Number of Modified Moment
1984/NA Matrices Arising from Least Quares Approximation
Youcef Saad in the Complex Plane

YALE/DCS/tr348 Communication Complexity of the Gaussian Elimination
1984/NA Algorithm on Multiprocessors
Youcef Saad

YALE/DCS/tr349 Complexity of Dense Linear System Solution on a
1984/NA Multiprocessor Ring
Ilse Ipsen
Youcef Saad
Martin Schultz

YALE/DCS/tr350 On the Choice of Coordinates for Semiconductor
1984/NA Simulation
Thomas Kerkhoven

YALE/DCS/tr351 Indexing and Causality: The Organization of
DEC/82/AI Plans and Strategies in Memory
Kristian Hammond

YALE/DCS/tr352 * Local Uniform Mesh Refinement on Loosely-coupled
1984/NA Parallel Processors
William Gropp

YALE/DCS/tr353 Symmetric Programming Languages
DEC/85/SYS Y
David Gelernter

YALE/DCS/tr354 Direct Memory Access Parsing
DEC/84/AI
Christopher Riesbeck
Charles Martin

YALE/DCS/tr355 * Relational Queries Computable in
1985/TH Polynomial Time
Neil Immerman

YALE/DCS/tr356 Fast Algorithms for Bipartite flow
JAN/85/TH
Daniel Gusfield
Charles Martel
David Fernandez

YALE/DCS/tr357 An Incremental Multigrid Strategy for the
JAN/85/NA Fluid Dynamics Equations
Michele Napolitano

YALE/DCS/tr358 High Re Separated Flow Solutions Using the
JAN/85/NA Navier-Strokes and Approximate Equations
Michele Napolitano

YALE/DCS/tr359 Parallel Programming in Linda
JAN/85/SYS Y
David Gelernter

YALE/DCS/tr360 Future High performance Computation: The Megaflop
JAN/85/SYS X per Dollar Alternative'
Lennart Johnsson

YALE/DCS/tr361 Communication Efficient Matrix Operations on a
JAN/85/SYS X Torus and a Boolean Cube
Lennart Johnsson

YALE/DCS/tr362 A New List Compaction Method
FEB/85/SYS Z
Kai Li
Paul Hudak

YALE/DCS/tr363 Multiple Array Processors for Ocean
FEB/85/NA Acoustic Problems
Martin Schultz

YALE/DCS/tr364 * Bulldog: A compiler for VLIW Architectures
FEB/85/SYS
John Ellis

YALE/DCS/tr365 A Stability Analysis of Incomplete LU
FEB/85/NA Factorizations
Howard Elman

YALE/DCS/tr366 On the dependence of the covergence of
MAR/85/NA Gummel's Algorithm on the Regularity of
Thomas Kerkhoven the Solution

YALE/DCS/tr367 Data Permutations and Basic Linear Alegebra
FEB/85/SYS X Computations on Ensemble Architectures
Lennart Johnsson

YALE/DCS/tr368 Multigrid Algorithms on the Hypercube Multiprocessor
FEB/85/NA
Tony Chan
Youcef Saad

YALE/DCS/tr369 Reasoning About Access to Equipment
FEB/85/AI
Erik Urdang

YALE/DCS/tr370 Efficient Systolic Arrays for the Solution of
1985/NA Toeplitz Systems: An Illustration of a Methodology
Jean-Marc Delosme for the Construction of Systolic Architectures
Ilse Ipsen in VLSI

YALE/DCS/tr371 * Parallel Programming and Algorithm Synthesis
MAR/85/SYS Using Recursion Equations and First Order
Marina Chen

YALE/DCS/tr372 Fairing of Biased Coins in Bounded Time
MAR/85/TH
Josh Cohen

YALE/DCS/tr373 Solving Eliptic Partial Differential Equations
MAR/85/NA on the Hypercube Multiprocessor
Tony Chan
Faisal Saied
Martin Schultz

YALE/DCS/tr374 Synthesizing Systolic Designs
MAR/85/SYS
Marina Chen

YALE/DCS/tr375 * Parallelism, Memory Anti-Aiasing
MAR/85/SYS and Correctness for Trace Scheduling Compilers
Alex Nicolau

YALE/DCS/tr376 Inductive Inference by Refinement
NOV/85/TH
Philip Laird

YALE/DCS/tr377 Dense Matrix Operations on a Torus
MAR/85/SYS X and a Boolean Cube
Lennart Johnsson

YALE/DCS/tr378 Automatic Generation of Layouts from
MAR/85/SYS X Circut Schematics
Lennart Johnsson

YALE/DCS/tr379 Banded Systems Solvers for Ensemble
MAR/85/SYS X Architectures
Lennart Johnsson

YALE/DCS/tr380 Polynomial Interation for Nonsymmetric
MAR/85/NA Indefinite Linear Systems
Howard Elman
Roy Streit

YALE/DCS/tr381 Alternating Direction Methods on Multiprocessors
APR/85/SYS X
Lennnart Johnsson
Youcef Saad
Martin Schultz

YALE/DCS/tr382 Alternating Direction on Multiprocessors: An
APR/85/SYS-NA Extended Abstract
Youcef Saad
Martin Schultz

YALE/DCS/tr383 The S/NET's Linda Kernel
MAR/85/SYS Y
Nicholas Carriero
David Gelernter

YALE/DCS/tr384 Explanation: A Second Pass
APR/85/AI
Roger C. Schank
Christopher Riesbeck

YALE/DCS/tr385 Questions and Thought
APR/85/AI
Roger C. Schank

YALE/DCS/tr386 Bug Catalogue 2,3,4.
MAY/85/AI
James Spohrer
Edgar Pope
Michael Lipman
Warren Sack
Scott Freiman
David Littman
W. Lewis Johnson
Elliot Soloway

YALE/DCS/tr387 Parallel Direct Methods for Solving Banded Linear
AUG/85/NA Systems
Youcef Saad
Martin H. Schultz

YALE/DCS/tr388 Band Matrix Systems Solvers on Ensemble Architecture.
MAY/85/SYS
Lennart Johnson

YALE/DCS/tr389 Topological Properties of Hyercubes
APR/85/NA
Youcef Saad
Martin H. Schultz

YALE/DCS/tr390 Para-Functional Programming: A Paradigm for Programming
MAY/85/SYS Multiprocessor Systems
Paul Hudak
Lauren Smith

YALE/DCS/tr391 * A Set-Theoretic Characterization of Function Strictness
MAY/85/SYS Z in the Lambda Calculus.
Pual Hudak
Jonathan Young

YALE/DCS/tr392 A Goal/Plan Analysis of Buggy Pascal Programs
MAY/85/AI
James Spohrer
Elliot Soloway
Edgar Pope

YALE/DCS/tr393 Relational Quirie Computable in Polynomial Time
MAY/85/TH
Neil Immerman

YALE/DCS/tr394 Primality and Cryptography
MAY/85/TH
Evangelos Kranakis

YALE/DCS/tr395 Intention-Based Diagnosis of Errors in Novice Programs
MAY/85/AI
William Lewis Johnson
(thesis)

YALE/DCS/tr396 On the Lanczos Method for Solving Symmetric Linear
JUNE/85/NA Systems w/ Several Right Hand Slides
Youcef Saad

YALE/DCS/tr397 Partial Eigen-Solutions of Large Nonsemetric Matrices
JUNE/85/NA
Youcef Saad

YALE/DCS/tr398 Rank revealing QR-Factorizations
JUNE/85/NA
Tony Chan

YALE/DCS/tr399 The DUCK Manual
JUNE/85/AI
Drew McDermott

YALE/DCS/tr400 Probabilistic Inductive Inference
JUNE/85/TH
Leonard Pitt

YALE/DCS/tr401 On the Solution of Circulant Linear Systems
JUNE/85/NA
Mingkui Chen

YALE/DCS/tr402 Micro-Proust
JUNE/85/AI
W. Lewis Johnson
Elliot Soloway

YALE/DCS/tr403 Deflated Decomposition by the Lanczos Process
JUNE/85/NA
Tony Chan
Youcef Saad

YALE/DCS/tr404 A Simple Probabilistic Approximation Algorithm for
JUNE/85/TH Vertex Cover
Leonard Pitt

YALE/DCS/tr405 Easy Impossibility Proofs for Distributed Consensus
JULY/85/TH Problems
Michael Fischer
Nancy Lynch
Michael Merritt

YALE/DCS/tr406 An Approach to the Design of Highly Parallel Algorithms
JULY/85/TH in VLSI
Marina Chen

YALE/DCS/tr407 Three Fast Algorithms for Four Problems in Stable
JULY/85/TH Marriage
Dan Gusfield

YALE/DCS/tr408 Analysis of Preconditioners for Domain Decomposition
JULY/85/NA
Tony Chan

YALE/DCS/tr409 A Domain Decomposed Fast Poisson Solver on a
JULY/85/NA Rectangle
Tony Chan
Diana Resasco

YALE/DCS/tr410 * Fourier Analysis of Preconditional Interactive
JULY/85/NA Methods
Tony Chan
Howard Elman

YALE/DCS/tr411 An Explicit Scheme for the Prediction of Ocean
JULY/85/NA Acoustic Propagation in Three Dimensions
Tony Chan
Long-jun Shen
Ding Lee

YALE/DCS/tr412 A Systolic Design for te Problem of Partitions of
JULY/85/SYS X an Integer
Marina Chen

YALE/DCS/tr413 Stability Analysis of Difference Schemes for Variable
AUG/85/NA Cofficient Schrodinger Type Equations
Tony Chan
Long-jun Shen

YALE/DCS/tr414 A Survey of Preconditioners for Domain Decomposition
AUG/85/NA
Tony Chan
Diana Resasco

YALE/DCS/tr415 Dynamic Monotone Priorities on Planer Sets [Extended
AUG/85/TH Abstract]
Michael Fischer
Michael Paterson

YALE/DCS/tr416 A Robust and Varifiable Cryptographically Secure
AUG/85/TH Election Scheme [Extended Abstract]
Josh Cohen
Michael Fischer

YALE/DCS/tr417 On the Solution of a class of Toeplitz Systems
AUG/85/NA
Mingkui Chen

YALE/DCS/tr418 Solving Narrow Banded Systems on Ensemble Architectures
AUG/85/SYS X
Lennart Johnsson

YALE/DCS/tr419 Probabilistic Analysis of a Network Resource Allocation
AUG/85/TH Algorithm.
Michael Fischer

YALE/DCS/tr420 Why Kids Should Learn to Program
AUG/85/AI
Elliot Soloway

YALE/DCS/tr421 Distributed FIFO Allocation of Identical Resources
AUG/85/TH Using Small Shared Space
Michael Fischer
Nancy A. Lynch
James E.Burns

YALE/DCS/tr422 Interconnection Networks and Parallel Memory
SEPT/85/SYST Organizations for Array Processing
Ranade

YALE/DCS/tr423 Planning by Search through Simulations
SEPT/85/AI
David Miller

YALE/DCS/tr424 Complex Shift and Invert Strategies for Real Matrices
SEPT/85/NA
Youcef Saad
Breseford Parlett

YALE/DCS/tr425 Parallel Implementations of Preconditioned Conjugate
SEPT/85/NA Gradien Methods
Martin Schultz
Youcef Saad

YALE/DCS/tr426 * Foundations of Knowledge for Distributed Systems
OCT/85/TH
Michael Fischer
Neil Immerman

YALE/DCS/tr427 Automatic Generation of VLSI Architectures: Synthesis
OCT/85/SYS X by Agorithym Transformation
Marina Chen

YALE/DCS/tr428 Data Communications in Hypercubes
OCT/85/NA
Martin Schultz
Youcef Saad

YALE/DCS/tr429 Coupled and lecoupled Algorithms for Semiconductors
OCT/85/NA Simulation
Thomas Kerkhoven

YALE/DCS/tr430 Temporal Reasoning & Default Logics
OCT/85/AI
Drew McDermott
Steven Hanks

YALE/DCS/tr431 Education and Computers: An AI Perspective
OCT/85/AI
Roger Schank
Stephen Slade

YALE/DCS/tr432 Revised: A Systolic Design for the Problem of
OCT/85/SYS X Partitions of an Integer
Marina Chen

YALE/DCS/tr433 Temporal Imagery: An Approach to Reasoning about Time
OCT/85/AI for Planning and Problem Solving
Thomas Dean

YALE/DCS/tr434 Every Finite Distributive Lattice is a Set of Stable
OCT/85/TH Matchings for a Small Stable Marriage Instance
Daniel Gusfield
R. Irving
P. Leather
M. Saks

YALE/DCS/tr435 The Structure of the Solvable Stable Roommates Problem:
OCT/85/TH It's the Stable Marriage Problem.
Daniel Gusfield

YALE/DCS/tr436 Solving Tridiagonal Systems on Ensemble Architectures.
OCT/85/SYS X
Lennart Johnsson

YALE/DCS/tr437 Cyclic Reduction on a Binary Tree.
OCT/85/SYS X
Lennart Johnsson

YALE/DCS/tr438 Distributed Dated Structures in Linda
OCT/85/SYS Z
David Gelernter
Nicholas Carriero
Jerold Leichter

YALE/DCS/tr439 Combining Parallel and Sequential Sorting on a Boolean
NOV/85/SYS N-Cube
Lennart Johnsson

YALE/DCS/tr440 Rapid Solution of Integral Equations of Scattering
NOV/85/NA Theory in Two Dimensions
Vladimir Rokhlin

YALE/DCS/tr441 End-point Corrected Trapezoidal Quadrature Rules
NOV/85/NA for Singluar Function
Vladimir Rokhlin

YALE/DCS/tr442 The Generation of a Class of Multipliers: A Synthesis
DEC/85/SYS X Approach to the Design of Highly Parallel Algorithms
Marina Chen in VLSI

YALE/DCS/tr443 * How to Embed lrees into Hypercubes.
DEC/85/NA Supported in part by the Office of Naval Research
Sandeep Bhatt under contracts
Ilse Ipsen Supported by: N00014-85-K-0461


YALE/DCS/tr444 The Impact of Parallel Architectures on the Solution
DEC/85/NA of the Eigenvalue Problems.
Ilse Ipsen Supported by: ONR-N00014-82-K-0184
Youcef Saad ONR-N00014-85-K-0461

YALE/DCS/tr445 Orbit: An Optimizing Compiler for Scheme
DEC/85/SYSZ Supported by: NSF-DCR-8403304
David Kranz
Richard Kelsey
Paul Hudak
James Philbin
Norman Adams

YALE/DCS/tr446 A Proof-Stream Semantics for Lazy Narrowing
DEC/85/SYS Z Partially Supported by: NSF-DCR-8403304
Juan Guzman
Paul Hudak

YALE/DCS/tr447 * Functional Programming on Multiprocessor Architectures
NOV/85/SYSZ Supported by: NSF-DCR-8403304
Paul Hudak NSF-DCR-8302018
N00014-82-K-0184

YALE/DCS/tr448 Comparison of Domain Decomposition Techniques for
DEC/85/NA Elliptic Partial Differential Equations and their
David Keyes Parallel Implementation
William Gropp Supported by: NSF-MCS-8106181





YALE/DCS/tr449 A Projection Method for Partial Pole
DEC/85/NA Assignment in Linear State Feedback
Youcef Saad Supported by: ONR N00014-82-K-0184;



YALE/DCS/tr450 Foundations of Knowledge for Distributed Systems
JAN/86/TH Supported by: NSF-DCR-8405478
Michael Fischer ONR-N00014-82-K-0154
Neil Immerman +NSF Postdoctoral Fellowship and
NSF-DCR-8451415

YALE/DCS/tr451 VOID


YALE/DCS/tr452 A Multi Processor Simulator
JAN/86/SYS Supported by: NSF DCR-8106181
Abhiram Ranade ONR N-00014-84-K-0043
ONR-N00014-82-K-0184
ONR-N00014-82-K-0184

YALE/DCS/tr453 Keeping Shares of a Secret Secret
FEB/86/TH Supported by: NSA MDA 904-84-H-0004
Josh Cohen

YALE/DCS/tr454 Improving Privacy in Cryptographic Elections
FEB/86/TH Supported by: NSA MDA 904-84-H-0004
Josh Cohen ARO DAAG-83-0177


YALE/DCS/tr455 * Automatic Generation of VLSI Architectures:
FEB/86/SYS Dynamic Programming Solver
Marina Chen Supported by: ONR N0001485K0030
the Mathematical Sciences Research
Institute, Berkley

YALE/DCS/tr456 * Implementation of Domain Fast
Feb/86/NA Poisson Solvers on Multi Processor
Tony Chan Supported by: DE AC 02-81 ER10996
Diana Resasco
Faisal Saied

YALE/DCS/tr457 Sythesizing Systolic Algorithms by Program
Feb/86/SYS Transformations: A New LU Decompsition Algorithm
Marina Chen Supported by: NSF MCS-8106181 (DCR-8106181)



YALE/DCS/tr458 Dynamic Grid Manipulation for PDEs on
Mar/86/NA Hypercube Parallel Processors
William Gropp Supported by: ONR N00014-82-K-0184


YALE/DCS/tr459 A Fast Algorithm for Particle Simulations
Mar/86/NA Supported by: ONR N00014-82-K-0184
Leslie Greengard
Vladimir Rokhlin

YALE/DCS/tr460 Interpreting Logics of Knowledge in
Mar/86/TH Propositional Dynamic Logic with Converse
Michael Fischer Supported by: NSF DCR-8405478
Neil Immerman ONR N00014-82-K-0154

YALE/DCS/tr461 Data Communication in Parallel Architectures
Feb/86/NA Supported by: ONR-N00014-K-0184 in part
Yousef Saad with IBM/Kingston
Martin Schultz ONR 00014-82-U-0184
ONR 00014-85-U-0030

YALE/DCS/tr462 Gaussion Elimination on Hypercubes
Mar/86/NA Supported by: N00014-82-K-0184 in part
Youcef Saad with IBM/Kingston

YALE/DCS/tr463 An effiecient Method fpr Solving the Three-
Mar/86/NA Dimensional Wide Angle Wave Equation
Ding Lee Supported by: N00014-82-K-0184
Yousef Saad N00014-85-WR-24268
Martin Schultz N00014-85-WR-24068 in part with
AFO SR-84-0360

YALE/DCS/tr464 Learning Regular Sets from Queries and
Mar/86/TH Counter-examples
Dana Angluin Supported by: NSF DCR-840422

YALE/DCS/tr465 Crystal: A Synthesis approach to Programming
Mar/86/SYS Parallel Machines
Marina Chen Supported by: ONR N00014-85-K0030


YALE/DCS/tr466 Machine Musing and the Smart Note Pad
April/86/SYSZ Sklar supported by the Yale Medical School.
David Gelernter
Mitchell Sklar

YALE/DCS/tr467 * Exploring Parafunctional Programming
April/86/SYSZ Supported by: DCR 840-3304
Paul Hudak DCR 845-1415

YALE/DCS/tr468 * FAC: Functional Array Calculator and its
April/86/SYS Application to APL and Functional Programming
Hai-Chen Tu NSF DCR 46564
NUS Center Independent Research Project

YALE/DCS/tr469 Transformations of Parallel Programs in Crystal
April/86/SYS Supported by: NSF MCS 8106181(in part) (DCR 8106181)
Marina Chen ONR N00014-85-K-0030

YALE/DCS/tr470 Case-Based Reasoning: A Computer Model of
April/86/AI Subjective Assessments
Bill Bain Supported by: AFOSR 85-0343
NSF DCR-8106181

YALE/DCS/tr471 Cryptographic Capsules: A Disjunctive
April/86/TH Primitive for Interactive Protocoles
Josh Cohen Supported by: NSA-MDA 904-84 H-0004

YALE/DCS/tr472 Linda and Friends
April/86/SYSY Supported by: NSF MCS 8303905
David Gelernter
Sid Ahuja
Nick Carriero

YALE/DCS/tr473 Floating Point Cordic
April/86/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson Advanced Technical Center - ITT
Venkatesh Krishnaswamy

YALE/DCS/tr474 Systolic Array Synthesis: Computability
May/86/NA and Time Cones
Ilse Ipsen Supported by: ONR N000014-82-K-0184
Jean-Marc Delosme N000014-85-K-0461



YALE/DCS/tr475 * Tree Embedding and Optimal Routing for
May/86/SYS Data Distribution in Hypercubes
Ching-Tien Ho Supported by: ONR-N00014-84K-0043
Lennart Johnsson

YALE/DCS/tr476 * A Preliminary Analysis of Recursively
MAY/86/SYS Generated Networks
Eric Mjolsness Supported by: ONR N00014-86-K-0310
David Sharp

YALE/DCS/tr477 * Synthesis Approach to the Design and Correctness
JUNE/86/SYS of Systolic Computations
Marina Chen Supported by: NSF-MCS 8106181


YALE/DCS/tr478 Identifying k-CNF Formulas From Noisy Examples
JUNE/86/TH Supported by: NSF-DCR-8404226
Dana Angluin NSF ECS-8314750
Philip Laird



YALE/DCS/tr479 * Types of Queries for Concept Learning
JUNE/86/TH Supported by: DCR-8404226
Dana Angluin N000014-84-K-0092


YALE/DCS/tr480 A Critic of Pure Reason
JUNE/86/AI Supported by: NSF-DCR 8407077
Drew McDermott


YALE/DCS/tr481 On Scheduling Transmissions in a Network
JUNE/86/TH (not supported)
Dan Gusfield

YALE/DCS/tr482 The Structure of the Stable Roommate Problem:
JUNE/86/TH Efficient Representation and Enumeration of all Stalk
Dan Gusfield Assignments
ONR- N00014-85-k-0030

YALE/DCS/tr483 Distributed Routing Algorithms for Broadcasting
JUNE/86/SYS and Personalized Communication in Hypercubes
Lennart Johnsson Supported by: ONR N00014-84-K-0043
Ching-Tien Ho

YALE/DCS/tr484 * The Denotational Semantics of a Para-Functional
JULY/86/SYSZ Programming Language
Paul Hudak Supported by: DOE grant DE-FG02-86ER25012


YALE/DCS/tr485 A New Algorithm for Solving the Wide Angle Wave
AUGUST/86/NA Equation.
Yousef Saad Supported by: ONR-N00014-82-K-0184
Ding Lee N00014-85-WR-24068

YALE/DCS/tr486 Symmetry and the Non-Evolution of Programming Languages
AUGUST/86/SYSY Supported by: NSF MCS 8306836.
David Gelernter

YALE/DCS/tr487 * Mercedes: A Realization of Lazy Narrowing
AUGUST/86/SYSZ Fundacion Gran Mariscal de Ayachuco
Paul Hudak Supported by: Fellowship Contract F-EX-84.1044
Juan Carlos Guzman NSF DCR-8403304


YALE/DCS/tr488 Case-based Planning: An integrated theory of
AUGUST/86/AI planning, learning and memory.
Kristian Hammond Supported by: DARPA-ONR N00014-82-K-0149
NSF-DCR 8403304



YALE/DCS/tr489 Integrated Processing in Planning and Understanding.
AUGUST/86/AI Supported by: DARPA-ONR N00014-75-C-1111
Lawrence Birnbaum NSF IST 7918463
Center Independent Research Project
A65020
N00014-85-WR-24268
In part by Navall Underwater Systems

YALE/DCS/tr490 Partitioning Circuits for Improved Testability
SEPTEMBER/86/TH Supported by: Bhatt's grant; acknowledge Martin's
Sandeep Bhatt and Mike's
Fan Chung
Arnold Rosenberg

YALE/DCS/tr491 The Complexity of System-Level Fault Diagnosis
SEPT/86/TH and Diagrosability.
Gregory Sullivan

YALE/DCS/tr492 Shared Virtual Memory on Loosely
SEPT/86/SYS Z Coupled Multiprocessors
Kai Li Supported by NSF Grant # DCR 8106181
ONR N00014-85-K-0108
N00014-75-C-1111
Air Force Grant F49620-82-K-0010
NSF IST 8120451

YALE/DCS/tr493 Finding an Opitmal Search Strategy for a Partial Order
SEPT/86/TH is NP-Complete.
Phil Laird Supported by: NSF MCS8002447
Leonard Pitt DCS 8404226

YALE/DCS/tr494 Matrix Transpose on Boolean n-cube Configured
SEPT/86/SYS Ensemble Architectures.
Lennart Johnsson Supported by: ONR N00014-84-K-0043
Ching-Tien Ho Thinking Machines Corp.
IST 8017790
N00014-85-K-0108

YALE/DCS/tr495 Optimal Simulations of Tree Machines
SEPT/86/TH Supported by: NSF DCI 8601885
Sandeep Bhatt NSF DCR 840578
Fan Chung
Tom Leighton
Arnold Rosenberg

YALE/DCS/tr496 A Fast Adaptive Multiple Algorithm for Particle
SEPT/86/NA Simulations
J. Carrier Supported by: N000014-82-K-0184
Leslie Greengard
Vladimir Rokhlin

YALE/DCS/tr497 * Collecting Interpretations of Expressions
SEPT/86/SYS Supported by: NSF DCR-8451415
Paul Hudak DOE DE-FG02-86ER25012


YALE/DCS/tr498 Placement and Interconnection of Systolic Processing
OCT/86/SYS Elements: A New Lu Decomposition Algorithm
Marina Chen Suppported by: ONR N000 14-86-1C-0296

YALE/DCS/tr499 Very-high-level Parallel Programming by Aggregate Set
OCT/86/SYS Operations
Marina Chen Supported by: ONR N000 14-86-1C-0296

YALE/DCS/tr500 Spanning Graphs and Optimum Broadcasting and Personalized
NOV/86/SYS Communication in Hypercubes.
Lennart Johnsson Supported by: ONR N00014-84-K-0043.
Ching-Tien Ho

YALE/DCS/tr501 Relativizing Relativized Computations
NOV/86/TH Supported by: NSF DCR-8603346
Neil Immerman ** Revised June 1988
Stephen Mahaney

YALE/DCS/tr502 Solving Schrodinger Equation on the Intel
DEC/86/SYS IPSC by the Alternating Direction Method
Faisal Saied Supported by: ONR N00014-86-K-0564
Ching-Tien Ho N00014-82-K-0184
Lennart Johnsson DCR-8403304
Martin Schultz

YALE/DCS/tr503 * On The Eventually Operator in Temporal Logic
DEC/86/TH Supported by: NSF DCR-840-5478
Sistla
Lenore Zuck

YALE/DCS/tr504 * Creativity in Education: A Standard for Computer
DEC/86/AI Based Teaching
Roger Schank
Sarrell

YALE/DCS/tr505 Finding Fixpoints on Function Spaces
DEC/86/SYS Supported by: DE-FG02-86ER25012
Johnathan Young NSF DCR-845145
Paul Hudak

YALE/DCS/tr506 Very-High-Level Parallel Programming in Crystal
DEC/86/SYS Supported by: ONR-N00014-86-1C-0296
Marina Chen

YALE/DCS/tr507 Reasoning About Change: Time and Causation from the
DEC/86/AI Standpoint of Artificial Intelligence
Yoav Shoham Supported by: ONR/ARPA N00014-85-K-0301-42186

YALE/DCS/tr508 Spanning Balanced Trees in Boolean Cubes
JAN/87/SYS Supported by: ONR N00014-84-K-00
Ching-Tien Ho
Lennart Johnsson

YALE/DCS/tr509 A Fast Algorithm for the Descrete Laplace
JAN/87/NA Transformation
Vladimir Rokhlin Supported by: ONR N00014-86-K-0310

YALE/DCS/tr510 Automated Problem Mapping: The Crystal Runtime System
JAN/87/NA Supported by: NSF-DCR 8106181
Joel Saltz ONR-N00014-86-K-0926
Marina Chen

YALE/DCS/tr511 Constrained Randomization for Parallel Communications
JAN/87/SYS Supported by: ONR N00014-86-K-0564
Abhiram Ranade ONR N00014-84-K-0043

YALE/DCS/tr512 Equivalents of Message Scheduling Algorithms for
JAN/87/SYS Parallel Communications
Abhiram Ranade Supported by: ONR N00014-86-K-0564


YALE/DCS/tr513 Design of Systolic Algorithms for Large Scale
JAN/87/SYS Multiprocessors
Jingke Li Supported by: N00014-86-K-0564
Marina Chen
Mark Young

YALE/DCS/tr514 Ten Problems in Artificial Intelligence
JAN/87/AI Supported by: N00014-85-K-0108
Roger Schank AFO SR-85-0343
Christopher Owens

YALE/DCS/tr515 The Rapid Evaluation of Potential Fields in Three
JAN/87/NA Dimensions
Leslie Greengard Supported by: ONR N00014-86-K-0310
Vladimer Rokhlin

YALE/DCS/tr516 Communication -llfficient Distributed Data Structures
FEB/87/SYS on Hypercubes Machines
Zhijing Mou Supported by: ONR N00014-86-0296
Marina Chen ONR N00014-84-K-0043

YALE/DCS/tr517 * A Little Knowledge Goes a Long Way: Simple Knowledge-
FEB/87/TH Based Derivations and Correctness Proofs for a Family
Lenore Zuck of Protocols
Joseph Halpern Supported by: DSF DCR-8405478

YALE/DCS/tr518 Creativity in Education: A Standard for Computer-Based
FEB/87/AI Teaching
Roger Schank Supported by: ONR N00014-882-K-0149
Robert Farrell

YALE/DCS/tr519 Solving Banded Systems on a Parallel Processor
FEB/87/SYS Supported by: AFOSR-ISSA-86-0031
J.J. Dongarra ONR N00014-84-K-0043
Lennart Johnsson

YALE/DCS/tr520 LINDA, A Portable Parallel
FEB/87/SYS Supported by: NSF DCR-8601920
Robert Bjornson
Nick Carriero
Jerrold Leichter

YALE/DCS/tr521 Generating Natural Language Under Pragmatic Constraints
FEB/87/AI Supported by: ONR N00014-82-K-0149
Ed Hovy

YALE/DCS/tr522 DARPA - Sponsored Planning Research+ Report and Prospectus
MARCH/87/AI Supported by: ONR N00014-83-K-0281
Drew McDermott BRL DAAA 15-87-K-0001

YALE/DCS/tr523 Type of Explanations
MARCH/87/AI Supported by: N00014-82-K-0149
Alex Kass AFOSR 850343
David Leake N00014-82-K-0149

YALE/DCS/tr524 A Para-Functional Programming Environment for Parallel
MARCH/87/NA and Distributed Computing
Paul Hudak Supported by: Army Research Office: DAAL03-86-K-0158
Jean-Marc Delosme Dept. of Energy: DOE FG02-86ER25012
Ilse Ipsen NSF NSF DCR-8451415


YALE/DCS/tr525 Complete Operational Semantics for First-Order
MARCH/87/SYS Lazy Narrowing
Paul Hudak Supported by: Fundacion Gran Mariscal de Ayacucho:
Juan Guzman F-EX-84.1044



YALE/DCS/tr526 Inferring Sharing Proprties of Partial Applications
MARCH/87/SYS in Higher-Order Functional Programs
Paul Hudak Supported by: DOE AFG02-86ER25012
Benjamin Goldberg Unisys Paoli Research Center

YALE/DCS/tr527 Synthesis Systolic Arrays from Recurrsion Equation
MARCH/87/SYS Supported by: ONR N00014-86-K-0564
Marina Chen

YALE/DCS/tr528 PSpace Survives Three-Bit Bottlenecks
MARCH/87/TH Supported by: NSFl46753
Jin-yi Cai ONR N00014-85-K-0461
Merrick Furst

YALE/DCS/tr529 * A Linda User's Manual
MARCH/87/SYS Supported by: DCR 8601920
Robert Bjornson

YALE/DCS/tr530 Matrix Multiplication on Boolean Cubes Using Generic
MARCH/87/SYS Communication Primitives
S.Lennart Johnsson Supported by: ONR N00014-84-K-0043
Ching-Tien Ho ONR N00014-86-K-0564
NCF DCR-8403304
NCF DCR-8302018

YALE/DCS/tr531 Parrellism Persistence and META-Cleanliness in the
MARCH/87/SYS Symetric Lisp Interpreter
David Gelernter Supported in part by: NSF DCR 8601920
Suresh Jagannathan
T. Lyndon

YALE/DCS/tr532 Solving Multiple Tridiagonal Systems, the Alternating
APIIL/87/SYS Direction Method, and Boolean Cube Configured
Lennart Johnsson Multiprocessors
Ching-Tien Ho Supported by: ONR N00014-86-K-0564

YALE/DCS/tr533 The Rapid Evaluation of Potential Feilds in Particle
APRIL/87/NA Systems
Leslie Greengard Supported by: ONR N00014-86-K-0310



YALE/DCS/tr534 Analysis of Domain Decomposition Preconditioners on
APRIL/87/NA Irregular Regions
Tony Chan Supported by: DE-AC02-81ER0996
Diana Resasco

YALE/DCS/tr535 Minimum Expansion Embebbings of Meshes in Hypercubes
APRIL/87/TH Supported by: NSF DCI 8601885
David Greenberg

YALE/DCS/tr536 On The Eventuality Operator in Temporal Logic
APRIL/87/TH Supported by: NSF DCR 8405478
A. Prasad Sistla
Lenore Zuck A REVISION OF RR# 503

YALE/DCS/tr537 Analysis of Parameterized Methods for Problem
MAY/87/NA Partitioning
Joel Saltz Supported by: ONR N00014-86-K-0310
NSF DCR 8106181
BM P0003 8437

YALE/DCS/tr538 Expressability as a Complexity Measure:
MAY/87/TH Results and Directions
Neil Immerman Supported by: DCR 8603346

YALE/DCS/tr539 Systolic Algorithms for the Parallel Solution of
MAY/87/NA Dense Symetric Positive-Definite Toeplitz Systems
Ilse Ipsen Supported by: ONR N00014-86-K-0310



YALE/DCS/tr540 A Processor for Two-Dimensional Symetric Eigenvalue
MAY/87/NA and Singular Value Arrays
Jean-Marc Delosme Supported by: ARO DAA L03-86-K-0158

YALE/DCS/tr541 Computing Particle Correlations from the Data Matrix
MAY/87/NA Supported by: NSF ECS 8314750
Jean-Marc Delosme ONR-N00014-86-K-0310
Ilse Ipsen ONR-N00014-85-K-0461
NSF DCR 8106181
NASA NAS 1-18107

YALE/DCS/tr542 A Programable Systolic Array for Factorial Data Analysis
May/87/NA Part I: Matrix Computations
Tiba Porta Supported by: AFOSR-86-0098

YALE/DCS/tr543 A Programable Systolic Array for Factorial Data Analysis
MAY/87/NA Part II: The Symetric Eigenvalue Problem
Tiba Porta Supported by: AFOSR-86-0098

YALE/DCS/tr544 Transformation of Broadcasting into Pipelining
JUNE/87/NA Supported by: ARO DAAL03-86-K-0758
YiWan Wong ONR N00014-85-K-0461
Jean-Marc Delosme ARO DAA L03-86-K-0158

YALE/DCS/tr545 Control of Attention in Neuro Networks
JUNE/87/SYS Supported by: ONR N00014-86-K-0310
Eric Mjolsness

YALE/DCS/tr546 Expressability and Parallel Complexity
JUNE/87/TH Supported by: NSF DCR-8603346
Revised AUG/88 Mathamatical Sciences Research
Neil Immerman Institute @ Berkeley, California
ARO-DAAL03-86-K-0158

YALE/DCS/tr547 A Greedy Approximation Algorythm for the Partial Order
JUNE/87/TH Search Problem
Phillip Laird Supported by: NSF IRI 840 4226

YALE/DCS/tr548 * Solving the Symmetric Tridiagonal Eigenvalue Problem on
JUNE/87/NA the Hypercube
Ilse Ipsen Supported by: ONR N00014-82-K-0184
Elizabeth Jessup ONR N00014-85-K-0461

YALE/DCS/tr549 Recursively Generated Neural Networks
JUNE/87/SYS Supported by: ONR N00014-86-K-0310
Eric Mjolsness
David H. Sharp
Bradley Alpert

YALE/DCS/tr550 The FORBIN Paper
JULY/87/AI Supported by: ONR N00014-83-K-0281
Thomas Dean ONR N00014-85-K-0301
R. James Firby
David Miller

YALE/DCS/tr551 Learning From Good Data and Bad
JULY/87/TH Supported by: NSF IRI-8404226
Phil Laird

YALE/DCS/tr552 Nondeterministic Space is Closed Under Complement
JULY/87/TH Supported by: NSF DCR -8603346
Neil Immerman

YALE/DCS/tr553 * Implicit Finite Difference Simulation of an Internal Flow
JULY/87/NA in a Nozzle: An Example of a Physical Application on the
Pierre Porta Hypercube


YALE/DCS/tr554 A Fast Algorithm for the Numerical Evaluation of
JULY/87/NA Conformal Mappings
S.T O'Donnell Supported by: ONR N00014-86-K-0310
Vladimir Rokhlin

YALE/DCS/tr555 Unassigned

YALE/DCS/tr556 Can Parallel Machines Be Made Easy to Program?
AUG/87/SYS A Data-Parallel Model for Functional Languages
Marina Chen Supported by: ONR N00014-86-K-0654

YALE/DCS/tr557 Learning K-Bounded Context-Free Grammars
AUG/87/TH Supported by: NSF IRI-804226
Dana Angluin

YALE/DCS/tr558 * A Numerical Treatment of the Fluid/Elastic Interface
AUG/87/NA Under Range-Dependent Environments
Er Chang Shang Supported by: ONR N00014-86-K-0310
Ding Lee

YALE/DCS/tr559 Learning K-Term DNF Formulas Using Queries and Counter-
AUG/87/TH examples
Dana Angluin Supported by: NSF IRI-8404226
Supported by: ONR N00014-86-K-0310

YALE/DCS/tr560 Time-Optimal Synthesis of Systolic Arrays with
SEPT/87/SYS Pipelined Cell
Bjorn Lisper Supported by: ONR N00014-86-K-0564

YALE/DCS/tr561 Verifiable Secret-Ballot Elections
SEPT/87/TH Supported by: NSF MCS-8116678
Josh Benaloh NSF MCS-8305382

YALE/DCS/tr562 From Local to Global-Analysis of Nearest Neighbor Load
SEPT/87/SYS Balancing on Hypercube
Marina Chen Supported by: ONR N00014-86-K-0564
Jia wei Hong
Xiao Nan Tan

YALE/DCS/tr563 A Simulator for Mobile Robot Planning
SEPT/87/AI Supported by: DARPA BRL
R. James Firby DAAll5-87-K-0001
Steve Hanks

YALE/DCS/tr564 E Unum Pluribus: Generating Alternative Designs
SEPT/87/AI Supported by: NSF DPE-8470014
Elliot Soloway IST-8505019
James Spohrer
David Littman

YALE/DCS/tr565 The Fast Multipole Method for Gridless Particle
SEPT/87/NA Simulations
J. Ambrosiano Supported by: ONR N00014-86-0310
Leslie Greengard NSF DCR-8405478
Vladamir Rohklin NSA MDA-904-84-H-00004

YALE/DCS/tr566 How to Imbed FFTS in Hypercubes
OCT/87/TH Supported by: NSF MIP-8601885
David Greenberg

YALE/DCS/tr567 Implementation of Tuple Space Machines
OCT/87/SYS Supported by: NSF DCR-8601920
Nicholas Carriero CCR-8657615


YALE/DCS/tr568 A Symmetric Language
OCT/87/SYS Supported by: NSF CCR-8601920
David Gelernter CCR-8657615
Suresh Jagannathan ONR N00014-86-K-0310
Thomas London
Mark Day

YALE/DCS/tr569 Algorithms for Multiplying Matrices of Arbitrary Shapes
OCT/87/SYS Using Shared Memory Primitives on a Boolean Cube
Lennart Johnsson Supported by: ONR N00014-86-K-0564
Ching-Tien Ho

YALE/DCS/tr570 Computation Fluid Dynamics on Parallel Processors
OCT/87/NA Supported by: AFOSR-86-0098
William Gropp
Edward Smith

YAlE/DCS/tr571 A Little Knowledge Goes a Long Way: Simple Knowledge-
OCT/87/TH Based Derivations anllllrrectness Proofs for a Family of
Lenore Zuck Protocols
Joseph Halpern Supported by: NSF DCR 8405478
ONR N00014-86-K-0310

YALE/DCS/tr572 Algorithms for Matrix Transposition on Boolean-cube
SEPT/87/SYS Configured Ensemble Architectures
Lennart Johnson
Ching-Tien Ho

YALE/DCS/tr573 The design of a Fluent Machine
OCT/87/SYS Supported by: ONR N00014-84-K-0043
Abhiram Ranade ONR N00014-86-K-0564
Lennart Johnsson NSF MIP 8601885
Sandeep Bhatt

YALE/DCS/tr574 Directions in High Performance Computation
OCT/87/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr575 Take a Walk, Grow a Tree
NOV/87/SYS Supported by: NSF MIP 8601885
Sandeep Bhatt NSF CCR 8709818
Jin-yi Cai

YALE/DCS/tr576 On the Embebbing of Arbitrary Meshes in Boolean Cubes
NOV/87/SYS With Expansion Two Dilation Two
Ching-Tien Ho Supported by: ONR N00014-86-K-0564
Lennart Johnsson

YALE/DCS/tr577 Algorithms for Matrix Transposition on Boolean N-Cube
NOV/87/SYS Configured Ensemble Architechtures
Ching-Tien Ho Supported by: ONR N00014-86-K-0564
Lennart Johnsson

YALE/DCS/tr578 How to Emulate Shared Memory
NOV/87/SYS Supported by: ONR N00014-84-K-0043
Abhiram Ranade ONR N00014-86-K-0564

YALE/DCS/tr579 The Communication Efficiency of Meshes Boolean Cubes
NOV/87/SYS and Cube Connected Cycles for Wafer Scale Intergration
Abhiram Ranade Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr580 Ensemble Architectures and Their Algorithms: An Overview
NOV/87/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr581 Highly Parallel banded Systems Solvers
NOV/87/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr582 The FFT and Fast Poisson Solvers on Parallel Architectures
NOV/87/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr583 Fast PDE Solvers on Fine and Medium Grain Architectures
NOV/87/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr584 Data Parallel Programming and Basic Linear Algebra
NOV/87/SYS Subroutines
Lennart Johnsson Supported by: ONR N00014-84-K-0043


YALE/DCS/tr585 Enumerative Counting is Hard
NOV/87/TH Supported by: NSF CCR-8709818
Jin-Yi Cai
Lane H. Hemachandra

YALE/DCS/tr586 Adaptive Load Sharing in Heterogeneous Systems
NOV/87/SYS Supported by: NSF ECS-8606402
Ravi Mirchandaney RADC RI-44896X
Don Towsley ONR N00014-86-K-0564
John Stankovic


YALE/DCS/tr587 * Directions in High Performance Computation
NOV/87/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr588 The Crytsal Runtime System: A Framework
JAN/88/NA/SYS Supported by: ONR N00014-86-K-0564
Joel Saltz ONR N00014-86-K-0564
Ravi Mirchandaney
Roger Smith
David Nicol
Kay Crowley

YALE/DCS/tr589 Relative Knowledge and Belief
DEC/87/TH Supported by: NSF DCR-8505478
Michael Fischer ONR N00014-82-K-0154
Lenore Zuck

YALE/DCS/tr590 Learning Propositional Horn Sentences with Hints
DEC/87/TH Supported by: NSF IRI 8404226
Dana Angluin

YALE/DCS/tr591 Debugging a DAG Efficiently
DEC/87/TH Supported by: NSF IRI 8404226
Dana Angluin

YALE/DCS/tr592 * A Performability Analysis of a Multi-processor System
DEC/87/NA Supported by: AFOSR-84-0132
R.M. Smith DAAG 299-84-K-0045
K.S. Trivedi DAAG L03-87-0066
A.V. Ramesh

YALE/DCS/tr593 Replaced by RR-609


YALE/DCS/tr594 Implicit Finite-Difference Simulation of an Internal
JAN/88/NA Flow on a Hypercube
Pierre Porta Supported by: ONR N00014-86-K-0310

YALE/DCS/tr595 Composite Semantics: One Generic Environment is Enough
JAN/88/SYS Supported by: CCR-845145
Jonathan Young

YALE/DCS/tr596 Numerical Simulation of a 2-D Compressible Fluid Flow on
JAN/88/NA a Hypercube
Pierre Porta Supported by: ONR N00014-K-86-0310
Faisal Saied

YALE/DCS/tr597 Adaptive Load Sharing in the Presence of Delays
JAN/88/SYS Supported by: ONR N00014-86-K-0564
Ravi Mirchandaney

YALE/DCS/tr598 Computing Fast Fourier Transforms on Boolean Cubes and
JAN/88/SYS Related Networks
Johnsson Supported by: ONR N00014-86-K-0564
Ho (as of Feb. 88)
Jacquemin
Ruttenberg

YALE/DCS/tr599 Planned Creation Using Strategies as Blueprints
JAN/88/AI Supported by: ONR N00014-86-K-0310
Greg Collins DARPA N00014-82-K-0149

YALE/DCS/tr600 Performability Analysis: Measures an Algorithm, And a
JAN/88/NA Case Study
R. Smith Supported by: ONR N00014-86-K-0564
K.S. Trivedi
A.V. Ramesh

YALE/DCS/tr601 Using Entropy Minimax Estimation for Load Sharing
JAN/88/SYS Supported by: NSF ECS-8406402
Ravi Mirchandaney ONR N00014-86-K-0564
L. Sha RADC RI-44896
J.A. Stankovic

YALE/DCS/tr602 On the Efficient Implementation of the Fast Multipole
FEB/88/NA Algorithm
Leslie Greengard Supported by: ONR N00014-86-K-0310
Vladimir Rokhlin

YALE/DCS/tr603 Efficient Protocols for Common Knowledge and
JAN/88/TH Simultaneous Byzantine Agreement
Ruben Michel Supported by: ONR N00014-86-K-42162

YALE/DCS/tr604 Uncertain Knowledge in Distributed Systems
JAN/88/TH Supported by: NSF DCR-8405478
Michael Fischer (Revised edition, including title, now #643)
Lenore Zuck

YALE/DCS/tr605 Describing Graphs: A First-Order Approach to Graph
FEB/88/TH Canonization
Neil Immerman Supported by: NSF DCR-8603346
Eric Lander NSF DCB-8611317


YALE/DCS/tr606 On Projections from Permanent to Determinant
FEB/88/TH Supported by: NSF CCR-8709818
Jin-yi Cai

YALE/DCS/tr607 The Cholesky Factorization, Schur Complements,
FEB/88/NA Correlation Coefficients, Angles between Vectors,
Ilse Ipsen and the QR Factorization
Jean-Marc Delosme Supported by: NSF ECS-8314750
C.C. Paige ONR N00014-86-K-0310

YALE/DCS/tr608 A Theory of Paralell Program Optimization
FEB/88/SYS Supported by: ONR N00014-86-K-0564
Young-il Choo
Marina Chen

YALE/DCS/tr609 Footprints of Dependency: Towards Dynamic Memory
FEB/88/SYS Management of Massively Paralell Architectures
Marina Chen Supported by: ONR N00014-86-K-0564
Michel Jacquemin SDF G612

YALE/DCS/tr610 Optimum Broadcasting and Personalized Communication
FEB/88/SYS in Hypercubes
Lennart Johnsson Supported by: ONR N00014-84-K-0043
Ching-Tien Ho ONR N00014-86-K-0564

YALE/DCS/tr611 Spanning Balanced Trees in Boolean Cubes
FEB/88/SYS Supported by: ONR N00014-84-K-0043
Ching-Tien Ho ONR N00014-86-K-0564
Lennart Johnsson ONR N00014-85-K-0461
ARO DAAL03-86-K-0158

YALE/DCS/tr612 QED on the Connection Machine
MARCH/88/SYS Supported by: Thinking Machines
Lennart Johnsson Natural Science and Engineering
Research Council of Canada A9236

YALE/DCS/tr613 Scaling, Machine Learning, and Generic Neural Nets
MARCH/88/SYS Supported by: ONR N00014-86-K-0310
Eric Mjolsness
Dave Sharp
Bradley Albert

YALE/DCS/tr614 Identifying Languages from Stochastic Examples
MARCH/88/TH Supported by: NSF IRI 8404226
Dana Angluin

YALE/DCS/tr615 The VAX Linda-C User's Guide
MARCH/88/SYS Supported by: CCR-8601920
Jerrold Leichter CCR-8657615


YALE/DCS/tr616 Recursive Mesh Refinement on Hypercubes
MARCH/88/NA Supported by: ONR N00014-85-K-0461
William Gropp ARO DAAL 0386K-0158
Ilse Ipsen ONR N00014-86-K-0310


YALE/DCS/tr617 Stable Dimension Permutaions on Boolean Cubes
MARCH/88/SYS Supported by: ONR N00014-86-K-0564
Ching-Tien Ho
Lennart Johnsson

YALE/DCS/tr618 Multiprocessor Execution of Functional Programs
APRIL/88/SYS Supported by: ONR N00014-84-K-0043
Benjamin Goldberg ONR N00014-86-K-0564

YALE/DCS/tr619 Systolic FFT Algorithms on Boolean Cube Networks
MARCH/88/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564
Ching-Tien Ho ONR N00014-86-K-0310
Michel Jacquemin
Mark Ruttenberg

YALE/DCS/tr620 Optimal Algorithms for Dimension Permutations on
MARCH/88/SYS Boolean Cubes
Lennart Johnsson Supported by: ONR N00014-84-K-0043
Ching-Tien Ho ONR N00014-86-K-0564
NSF DCR 8521451

YALE/DCS/tr621 Data File + Dependency = Parallel Program
APRIL/88/SYS Supported by: ONR N00014-86-K-0564
Marina Chen
Young-il Choo
Jingke Li

YALE/DCS/tr622 Linda in Context
APRIL/88/SYS Supported by: NSF CCR-8601920
Nicholas Carriero NSF CCR-8657615
David Gelernter ONR N00014-86-K-0310

YALE/DCS/tr623 Expressing Boolean Cube Matrix Algorithms in Shared
APRIL/88/SYS Memory Primitives
Lennart Johnsson Supported by: ONR N00014-86-K-0564
Ching-Tien Ho

YALE/DCS/tr624 From Bareiss' Algorithm to the Stable Computation of
APRIL/88/NA Partial Correlations
Jean-Marc Delsosme Supported by: ONR N00014-86-K-0310
Ilse Ipsen ONR N00014-85-K-0461


YALE/DCS/tr625 Unassigned

YALE/DCS/tr626 An Optimal Lower Bound on the Number of Variables for
MAY/88/TH Graph Identification
Jin-ji Cai Supported by: NSF CCR 8709818
Neil Immerman NSF DCR 8603346

YALE/DCS/tr627 Haskell Solutions to the Language Session Problems at the
MAY/88/SYS 1988 Salishan High-speed Computing Conference
Paul Hudak Supported by: DOE FG02-86ER25012
Steve Anderson

YALE/DCS/tr628 How to Write Parallel Programs: A Guide to the Perplexed
MAY/88/SYS Supported by: NSF DCR-8601920
Nicholas Carriero NSF DCR-8657615
David Gelernter NSF ONR N00014-86-K-0310

YALE/DCS/tr629 An Experimental Study of Methods for Parallel
JUNE/88/NA Preconditioned Krylov Methods
Doug Baxter Supp