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. |
||||||||||||||
|
|
|
|
|
|
|
|
|||||||
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