YALE/DCS/TR001 * Multiple-track Programming
Edgar Irons
1970

[return to Technical Reports main page]

YALE/DCS/TR002 * Syntax Graphs and Fast Context Free Parsing
Edgar Irons
1971

YALE/DCS/TR003 * L2-Error Bounds for the Raleigh-Bitz-Galerkin Method
Martin Schultz
April 1971

YALE/DCS/TR004 * Discrete Tchebycheff Approximation for Multivariate Splines
Martin Schultz
April 1971

YALE/DCS/TR005 * Error Bounds for Bivariate Cubic Interpolation
Martin Schultz
April 1971

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

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

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

YALE/DCS/TR009 * Quadrature-Galerkin Approximations to Solutions of Elliptic Differential Equations
Martin Schultz
May 1971

YALE/DCS/TR010 * A Ritz Method for an Optimal Control Problem
Martin Schultz
May 1971

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

YALE/DCS/TR012 * On the Rate of Convergence of the Gergman-Vekua Method for Numerical Solution of Elliptic Boundary Value
Stanley Eisenstat
July 1972

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

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

YALE/DCS/TR015 * Bicubic Interpolation Over Right Triangles
Martin Schultz
August 1972

YALE/DCS/TR016 * The File Transmission Problem Problems
Weiner
Tuttle
1972

YALE/DCS TR017 * Linear Pattern Matching Algorithms
Weiner
1973

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

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

YALE/DCS/TR020 * The Complexity of Partial Differential Equations
Stanley Eisenstat
Martin Schultz
May 1973

YALE/DCS/TR021 The Complexity of Linear Approximation Algorithms
Martin Schultz
May 1973

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

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

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

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

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

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

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

YALE/DCS/TR029 * A Real-Time Algorithm for Least Square Splines and its Application in Computer-Aided Geometric Design
Stanley Eisenstat
John Lewis
Martin Schultz
May 1975

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

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

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

YALE/DCS/TR033 * Chomsky-S
Book
1974

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

YALE/DCS/TR035 Subroutines for Envelope Solution of Sparse Linear Systems
Stanley Eisenstat
Sherman
October 1974

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

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

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

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

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

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

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

YALE/DCS/TR043 * SAM -- A Story Understander
Roger Schank
August 1975

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

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

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

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

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

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

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

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

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

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

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

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

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

YALE/DCS/TR057 * Question Answering in a Story Understanding
Wendy Lehnert
December 1975

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

YALE/DCS/TR074 * The Metanovel
James Meehan
September 1976

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

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

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

YALE/DCS/TR078 * Comprehension by Computer: Expectation-based Analysis of Sentences in Context
Reisbeck
Roger Schank
October 1976

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

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

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

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

YALE/DCS/TR083 * On the Optimality of the Rayleigh-Ritz Approximation
Stanley Eisenstat
Schrieber
Martin Schultz
December 1976

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

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

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

YALE/DCS/TR087 * The APL Idiom List
S. Rugaber
Allen Perlis
April 1977

YALE/DCS/TR088 * The Process of Question Answering (In book form - may be ordered from publisher:
Wendy Lehnert Lawrence Erlbaum Associates)
May 1977

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

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

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

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

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

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

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


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

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

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

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

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


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

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

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

YALE/DCS/TR104 * Skimming Newspaper Stories by Computer
Gerald DeJong
May 1977

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

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

YALE/DCS/TR107 * The Modified Conjugate Residual Method for Partial Differential Equations
Stanley Eisenstat
Martin Schultz
May 1977

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

YALE/DCS/TR109 * Finite Element Methods for Spherically Symmetric Elliptic Equations
Stanley Eisenstat
Schreiber
Martin Schultz
May 1977

YALE/DCS/TR110 * Analyzing English Noun Groups for Their Conceptual Content
Anatole Gershman
May 1977

YALE/DCS/TR111 * Ideological belief system simulation
Carbonell
May 1977

YALE/DCS/TR112 [.pdf] Yale Sparse Matrix Package I. The Symmetric Codes
Stanley Eisenstat
Gursky
Martin Schultz
Sherman
1977

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

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

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

YALE/DCS/TR116 * Script Application: Computer Understanding of Newspaper Stories
Cullingford
January 1978

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

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

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

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

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

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

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

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

YALE/DCS/TR127 * Re: The Gettysburg Address
Schank
Carbonell
January 1978

YALE/DCS/TR128 * Representing Attitudes: Some Primitive States
Roger Schank
Robert Wilensky
Jaime Carbonell
Janet Kolodner
James Hendler
January 1978

YALE/DCS/TR129 * Conjugate Gradient Methods for Partial Differential Equations
Chandra
January 1978

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

YALE/DCS/TR131 * Representing Physical Objects in Memory
Wendy Lehnert
May 1978

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

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

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

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

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

YALE/DCS/TR137 * On the Use of Framed Knowledge in Language Comprehension
Eugene Charniak
September 1987

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

YALE/DCS/TR139 * Micro-SAM and Micro-ELI: Exercises in Popular Cognitive Mechanics
Chris Riesbeck
Eugene Charniak
September 1978

YALE/DCS/TR140 * Understanding Goal-based Stories
Robert Wilensky
September 1978

YALE/DCS/TR141 * Inference in the Conceptual Dependency Paradigm: A Personal History
Roger Schank
September 1978

YALE/DCS/TR142 * Memory Organization for Natural Language Data-base Inquiry
Janet Kolodner
September 1978

YALE/DCS/TR143 * Integrated Partial Parsing
Roger Schank
Michael Lebowitz
Lawrence Birnbaum
December 1978

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

YALE/DCS/TR145 * Interestingness: Controlling Inferences
Roger Schank
October 1978

YALE/DCS/TR146 * Knowledge-based Machine Translation
Jaime Carbonell
Richard Cullingford
Anatole Gershman
December 1978

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

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

YALE/DCS/TR149 * Codification of Programming Knowledge: Graph Algorithms
David Barstow
December 1978

YALE/DCS/TR150 * Subjective Understanding: Computer Models of Belief Systems
Jaime Carbonell
January 1979

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

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

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

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

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

YALE/DCS/TR156 * Knowledge-based Parsing
Anatole Gershman
April 1979

YALE/DCS/TR157 * Text Processing Effects and Recall Memory
Wendy Lehnert
May 1979

YALE/DCS/TR158 * Skimming Stories in Real Time: An Experiment in Integrated Understanding
Gerald DeJong
May 1979

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

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

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

YALE/DCS/TR162 * The Role of Object Primitives in Natural Language Processing
Wendy Lehnert
Mark Burstein
May 1979

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

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

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

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

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

YALE/DCS/TR168 * Problems in Conceptual Analysis of Natural Language
Lawrence Birnbaum
Selfridge
October 1979

YALE/DCS/TR169 * A UNIX Shell
Ellis
1979

YALE/DCS/TR170 * Reminding and Memory Organization: An Introduction to MOPs
Roger Schank
December 1979

YALE/DCS/TR171 * Adaptive Understanding: Correcting Erroneous Inferences (Ph.d. thesis)
Richard Granger, Jr.
January 1980

YALE/DCS/TR172 * Model of Children's Language of Compilers
Mallory Selfridge
January 1980

YALE/DCS/TR173 * Spatial Inferences with Ground, Metric Formulas on Simple Objects
Drew McDermott
January 1980

YALE/DCS/TR174 * Non Monotonic Logic II: Non Monotonic Modal Theories
Drew McDermott
February 1980

YALE/DCS/TR175 * Memory Organization and Search Processes for for Narratives
Michael Dyer
Wendy Lehnert
April 1980

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

YALE/DCS/TR177 * On Convergence Towards Data Base of Programming Rules
David Barstow
April 1980

YALE/DCS/TR178 * The Role of Knowledge an Deduction in Algorithm Creation
David Barstow
April 1980

YALE/DCS/TR179 * Affect Analysis and Narrative Summarization
Wendy Lehnert
May 1980

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

YALE/DCS/TR181 * A Survey of Synchronization Design
Holober
1980

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

YALE/DCS/TR183 * VEGE: Variable Processing in a NaturalLanguage System
Wendy Lehnert
William Bain
April 1980

YALE/DCS/TR184 A Finite Solution of a Reduced Fokker-Planck Equation
D. Fyfe
Alan Weiser
I. Bernstein
Stanley Eisenstat
Martin Schultz
August 1980

YALE/DCS/TR185 * Efficient Implementation of a Class of Precondition Conjugate Methods
Stanley Eisenstat
August 1980

YALE/DCS/TR186 * Generalization and Memory in an Integrated Understanding System
Michael Lebowitz
October 1980

YALE/DCS/TR187 * Retrieval and Organizational Strategies for Conceptual Memory: A Computer Memory
Janet Kolodner
November 1980

YALE/DCS/TR188 * BORIS: A Progress Report
Wendy Lehnert
Dyer
Harley
Young
Johnson
January 1981

YALE/DCS/TR189 * Memory, Meaning and Syntax
Roger Schank
Lawrence Birnbaum
November 1980

YALE/DCS/TR190 * Conceptual Information Retrieval
Roger Schank
Janet Kolodner
Gerald DeJong
December 1980

YALE/DCS/TR191 * Multiple Context Shells
J.R. Ellis
January 1981

YALE/DCS/TR192 * Inductive Inference Theories from Facts
Ehud Shapiro
February 1981

YALE/DCS/TR193 * Organizing Spatial Knowledge
Ernest Davis
January 1981

YALE/DCS/TR194 On Some Trends in Elliptical Problem Solvers
Stanley Eisenstat
Martin Schultz
February 1981

YALE/DCS/TR195 * Finding Objects with Given Spatial Properties
Drew McDermott
March 1981

YALE/DCS/TR196 * A Temporal Logic for Reasoning about Processes and Plans
Drew McDermott
March 1981

YALE/DCS/TR197 * Arc-length Continuation and Multi-grid Techniques for Non-linear Elliptic Eigenvalue Problems
Tony Chan
H. Keller
March 1981

YALE/DCS/TR198 * Numerical Computation of Large Amplitude Internal Solitary Waves
Tony Chan
March 1981

YALE/DCS/TR199 * Analysis of Multi-level Inverse Iteration Process Eigenvalue Problems
Randolph Bank
December 1980

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

YALE/DCS/TR201 * Secondary Storage Methods for Solving Symmetric, Positive Definite, Bonded Linear Systems
Richard Perry
April 1981

YALE/DCS/TR202 * Analysis of a Multi-level Iterative Method for Non-linear Finite Element Equation
Randolph Bank Equation
April 1981

YALE/DCS/TR203 * Preconditioned Conjugate-Gradient Methods for Non-Symmetric Systems of Linear Equations
Howard Elman
April 1981

YALE/DCS/TR204 Optimal Block Diagonal Scaling of Block 2-Cyclic Matrices
Stanley Eisenstat
Martin Schultz
John Lewis
April 1981

YALE/DCS/TR205 * What's the Point System
Gregg Collins
Ernest Davis
Peter Johnson
Steve Lytinen
Brian Reiser
April 1981

YALE/DCS/TR206 * MAGPIE: A Goal-Based Model of Conversation
Johnson
Peter Johnson
Scott Robertson
May 1981

YALE/DCS/TR207 The Order of Monotone Piecewise Cubic Interpolation
Stanley Eisenstat
K. Jackson
John Lewis
August 1981

YALE/DCS/TR208 * Alternating-Direction Incomplete Factorizations
Tony Chan
K. Jackson
Benren Zhu
August 1981

YALE/DCS/TR209 Variational Iterative Methods for Non-symmetric Systems of Linear Equations
Stanley Eisenstat
Martin Schultz
Howard Elman
August 1981

YALE/DCS/TR210 * The Positive Solution of a Certain Non-linear Parabolic System and it's Computation I
Benren Zhu
September 1981

YALE/DCS/TR211 * Stability of High Order Difference Equations and its Algebraic Survey
Benren Zhu
September 1981

YALE/DCS/TR212 * Iterative Solution of Large Symmetric Indefinite Systems by Methods using Orthogonal Polynomials over Two Disjointed Intervals
Youcef Saad
October 1981

YALE/DCS/TR213 * Local-Mesh, Local-Order, Adaptive Finite Element Methods with A Posteriori Error Estimators for Elliptic Partial Differential
Alan Weiser
September 1981

YALE/DCS/TR214 * Practical Use of Some Krylov Subspace Methods for Solving Indefinite and Unsymmetric Linear Systems
Youcef Saad
January 1982

YALE/DCS/TR215 * Adaptive Semi-Linear Numerical Methods for Solving Linear & Semi-Linear Differential Equations with Singularity 1. Initial Value Problem of Ordiniary Differential Equations
Jiachang Sun
Kenneth Jackson
September 1982


YALE/DCS/TR216 II Difference Scheme for Singular Perturbation of Two Point Boundary Value Problem
Jiachang Sun
Martin Schultz
May 1982

YALE/DCS/TR217 * A Petrov-Galerkin Method on Nonlinear Subsets and its application to a Singular Perturbed boundary Value Problem
Jiachang Sun
May 1982

YALE/DCS/TR218 * What do novices know about Programming?
Elliot Soloway
Kate Ehrlich
Jeffrey Bonar
Judith Greenspan
January 1982

YALE/DCS/TR219 * In-Depth Understanding: A Computer Model of Integrated Processing for Narrative Comprehension
Michael Dyer
May 1982

YALE/DCS/TR220 * Modeling Memory for Languange Understanding w/ Significant First Derivatives
Roger Schank
Mark Burstein
February 1982

YALE/DCS/TR221 Sacrificing Serializability to Attain High Availability of Data in an Unreliable Network
Michael Fischer
Alan Michael
February 1982

YALE/DCS/TR222 * Algorithms for Computing the Sample Variance: Analysis and Recommendations
Tony Chan
Gene Golub
Randall LeVeque
May 1982

YALE/DCS/TR223 Multi-Grid Algorithms for Elliptic Boundary-Value Problems
Craig Douglas
May 1982

YALE/DCS/TR224 * Projection Methods for Solving Large Sparse Eigenvalue Problems
Youcef Saad
April 1982

YALE/DCS/TR225 * Deflated Decomposition of Solutions of Nearly Singular Systems
Tony Chan
March 1982

YALE/DCS/TR226 * Deflation Techniques & Block-Elimination Algorithms for Solving Bordered Singular Systems
Tony Chan
March 1982

YALE/DCS/TR227 * On the Existence and Computation of LU-factorizations with Small Pivots
Tony Chan
March 1982

YALE/DCS/TR228 * A Note on the Generalized Conjucate Gradient Method
Stanley Eisenstat
March 1982

YALE/DCS/TR229 * Iterative Methods for Large Sparse non-Semetric Systems of Linear Equation
Howard Elman
April 1982

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

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

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

YALE/DCS/TR233 * Newton-Like Pseudo-Arclength Methods for Computing Simple Turning Points
Tony Chan
April 1982

YALE/DCS/TR234 * Representation & Translation
Roger Schank
Steve Lytinen
May 1982

YALE/DCS/TR235 * Iterative Methods for Solving Bordered Systems with Applications to Continuation Methods
Tony Chan
Youcef Saad
May 1982

YALE/DCS/TR236 * An Empirical Investigation of the Tacit Plan Knowledge in Programming
Kate Ehrlich
Elliot Soloway
April 1982

YALE/DCS/TR237 * Algorithmic Program De-Bugging
Ehud Shapiro
April 1982

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

YALE/DCS/TR239 * Alternation & Computational Complexity of Logic Programs
Ehud Shapiro
June 1982

YALE/DCS/TR240 * Uncovering Principles of Novice Programming
Jeffrey Bonar
Elliot Soloway
November 1982

YALE/DCS/TR241 * Computer Systems Architecture at Yale: the Enormous Longword Instruction (ELI) Machine Progress and Research Plans
J. Fisher
July 1982

YALE/DCS/TR242 * Cognitive Strategies and Looping Constructs: An Empirical Study
Elliot Soloway
Jeffrey Bonar
Kate Ehrlich
July 1982

YALE/DCS/TR243 Lecture Notes on the Complexity of Some Problems in Number Theory
Dana Angluin
August 1982

YALE/DCS/TR244 Some Observations on the Generalized Conjugate Gradient Method
Stanley Eisenstat
September 1982

YALE/DCS/TR245 * Impossibility of Distributed Consensus with One Faulty Process
Michael Fischer
Nancy Lynch
Michael Paterson
September 1982

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

YALE/DCS/TR247 * Multi-Grid Algorithms with Applications to Elliptic Boundary-Value Problems
Craig Douglas
1982

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

YALE/DCS/TR249 * Approximation Algorithms for Steiner Tree Problems
Sullivan
1982

YALE/DCS/TR250 A Survey of Inductive Inference: Theory and Methods
Dana Angluin
Carl Smith
September 1982

YALE/DCS/TR251 * Storage Requirements for Fair Scheduling
Michael Fischer
Michael Paterson
October 1982

YALE/DCS/TR252 * Finding a Majority Among N=Votes
Michael Fischer
Steven Salzberg
October 1982

YALE/DCS/TR253 * Very Long Instruction Word Architecture and the ELI-512
J. Fisher
April 1983

YALE/DCS/TR254 Chebysher Acceleration for Nonsymmetric Eigenvalue Algorithms
Youcef Saad
Martin Schultz
August 1983

YALE/DCS/TR255 * Conjugate Gradient-like Algorithms for Solving Nonsymetric Linear Systems
Youcef Saad
June 1983

YALE/DCS/TR256 * Carrier Array: An Extension to APL
P.G. Lowney
May 1983

YALE/DCS/TR257 * Transfer Effects from Programming to Algebra Word Problems: a Preliminary Study
Kate Ehrlich
Elliot Soloway
Valerie Abbott
December 1983

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

YALE/DCS/TR259 * Nonlinearly-preconditioned Krylov Subspace Methods for Discrete Newton Algorithms
Tony Chan
K. Jackson
January 1983

YALE/DCS/TR260 * Stability Analysis of Finite Difference Schemes for the Advector-Difference Equation
Tony Chan
April 1983

YALE/DCS/TR261 * PLTMGC: A Multi-grid Continuation Program Package for Solving Parametrized Nonlinear Elliptic Systems
Tony Chan
Randolph Bank
December 1983

YALE/DCS/TR262 * Systolic Architecture for Multi-Grid Algorithms
Tony Chan
R. Schreiber
September 1983

YALE/DCS/TR263 * A Comparison of Elliptic Solvers for General Two-Dimensional Regions
Tony Chan
Faisal Saied
(See #238)
March 1983

YALE/DCS/TR264 * Scheduling Heuristics for Problem Solvers
David Miller
April 1983

YALE/DCS/TR265 * The (New) Yale Sparse Matrix Package
Stanley Eisenstat
Howard Elman
Martin Schultz
Andrew Sherman
April 1983

YALE/DCS/TR266 * Iterative Methods for Non-Self-Adjoint Elliptic Problems
Howard Elman
April 1983

YALE/DCS/TR267 * Design and Use of the Yale Digital Simulator
Doug Baldwin
Richard Kelsey
John Ruttenberg
J. Fisher
J. Ellis
May 1983

YALE/DCS/TR268 Distributed Graph Marking
Paul Hudak
January 1983

YALE/DCS/TR269 * Squeezing the most out of an Algorithm in Cray Fortran
Jack Dongarra
Stanley Eisenstat
May 1983

YALE/DCS/TR270 * Knowledge Reorganization & Reasoning Style
Christopher Riesbeck
June 1983

YALE/DCS/TR271 * Expert Systems & Diagnostic Monitors
David Gelernter
November 1983

YALE/DCS/TR272 Solving Elliptic Problems on an Array Processor System
Martin Schultz
June 1983

YALE/DCS/TR273 * The Consensus Problem in Unreliable Distributed Systems (A Brief Survey)
Michael Fischer
June 1983

YALE/DCS/TR274 The Nisp Manual
Drew McDermott
June 1983

YALE/DCS/TR275 Abstract Multi-grid with Applications to Elliptic Boundary-Value Problems
Craig Douglas
Youcef Saad
1983

YALE/DCS/TR276 Least Squares Polynomials in the Complex Plane with Applications to Solving Sparse Nonsymmetric Matrix Problems
Youcef Saad
August 1984

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

YALE/DCS/TR278 Local Uniform Mesh Refinement for Elliptic Partial Differential Eauations
William Gropp
July 1983

YALE/DCS/TR279 Analysis of an Implicit Finite Difference Solution to an Underwater Wave Propagation Problem
D.F. St. Mary
Ding Lee
July 1983

YALE/DCS/TR280 * Editing by Example
Robert Nix
August 1983

YALE/DCS/TR281 Large-scale Separation and Wake Closure/ Reattachment -- The Cascade Problem
F.T. Smith
August 1983

YALE/DCS/TR282 Practical use of Polynomial preconditioning for the conjugate gradient method
Youcef Saad
July 1984

YALE/DCS/TR283 Conugate Gradient Like Methods for Solving Nonsymmetric Linear Systems
Youcef Saad
Martin Schultz
August 1983

YALE/DCS/TR284 * Classifying Bugs is a Tricky Business
W. Lewis Johnson
Stephen Draper
Elliot Soloway
August 1983

YALE/DCS/TR285 * PROUST: Knowledge-Based Program Understanding
W. Lewis Johnson
Elliot Soloway
August 1983

YALE/DCS/TR286 * Bug Catalogue: I
W. Lewis Johnson
Elliot Soloway
Benjamin Cutler
Steven Draper
October 1983

YALE/DCS/TR287 Preconditioning by Fast Direct Methods for Non-self-Adjoint Nonseperable Elliptic Equations
Howard Elman
Martin Schultz
December 1983

YALE/DCS/TR288 Provable Security of Cryptosystems: A Survey
Dana Angluin
October 1983

YALE/DCS/TR289 * Time Map Maintenance
Thomas Dean
October 1983

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

YALE/DCS/TR291 Singular Value Computations With Systolic Arrays
Ilse Ipsen
November 1983

YALEU/DCS/TR292 Representing and Acquiring Geographic Knowledge
Ernnest Davis
January 1984

YALE/DCS/TR293 Solving the Poisson Equation on the FPS-164
Susan O'Donnell
Peter Geiger
Martin Schultz
November 1983

YALE/DCS/TR294 Generative Communications in Linda Y
David Gelernter
November 1983

YALE/DCS/TR295 * Fourier Methods with Extended Stability Intervals for the Korteweg-de Vries Equation
Tony Chan
Tom Kerkhoven
December 1983

YALE/DCS/TR296 * Qualitative and Quantitative Temporal Reasoning
Stanley Letovsky
December 1983

YALE/DCS/TR297 * Techniques for Large Sparse Systems Arising from Continuation Methods
Tony Chan
December 1983

YALE/DCS/TR298 * VLIW Machines: Multiprocessors We Can Actually Program
J. Fisher
J. O'Donnell
January 1984

YALE/DCS/TR299 * A Parallel QR Method Using Fast Givens Rotations
Ilse Ipsen
January 1984

YALE/DCS/TR300 * An Approximate Newton Method for Coupled Non-Linear
Tony Chan
January 1984

YALE/DCS/TR301 * A Hybrid Chebyshev Krylov Subspace Algorithm for Solving Nonsymmetric Systems of Linear Equations
Howard Elman
Youcef Saad
Paul Saylor
February 1984

YALE/DCS/TR302 [.pdf] On the Minimization of Quadratic Functions Subject to Box Constraints
Ron Dembo
Ulrich Tulowitzki
September 1984

YALE/DCS/TR303 * A Convergent Framework for Constrained Non-Linear Optimization
Ron Dembo
Siddhartha Sahi
January 1984

YALE/DCS/TR304 * A Primal Truncated Newton Algorithm with Application to Large-Scale Non-Linear Network Optimization
Ron Dembo
March 1984

YALE/DCS/TR305 * Stable Explicit Schemes for Equations of the Schrodinger Type
Tony Chan
Ding Lee
Long-jun Shen
March 1984

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

YALE/DCS/TR307 * The Explanation Game
Roger Schank
March 1984

YALE/DCS/TR308 * Understanding Approximations for Node Cover and Other Subset Selection Problems
James Spohrer
Chris Riesbeck
April 1984

YALE/DCS/TR309 * Preconditioned Iterative Methods for Nonselfadjoint or Indefinite Elliptic Boundary Value Problems
James Bramble
Joseph Pasciak
March 1984

YALE/DCS/TR310 * The Parallel Scaled Givens Rotations for the Solution of Linear Least Squares Problems.
Jessie Barlow
Ilse Ipsen
March 1984

YALE/DCS/TR311 * A High Performance Bulk Memory System
William Gropp
John O'Donnell
Susan O'Donnell
Martin Schultz
Brian Weston
March 1984

YALE/DCS/TR312 * The Use of Iterative Linear-Equation Solvers and Codes for Large Systems of Stiff IVPs for ODEs
Tony Chan
K. Jackson
April 1984

YALE/DCS/TR313 * Local Uniform Mesh Refinement with Moving Grids
William Gropp
April 1984

YALE/DCS/TR314 * On the Efficiency of Probabilistic Primality Tests
Evangelos Kranakis
April 1984

YALE/DCS/TR315 * A Stable Explicit Scheme for the Ocean Acoustic Wave Equation
Tony Chan
Long-jun Shen
Ding Lee
March 1984

YALE/DCS/TR316 * A Class of Cryptosystems Equivalent to RSA
Evangelos Kranakis
April 1984

YALE/DCS/TR317 Distributed Applicative Processing Systems: Project Goals, Motivation, and Status Report
Paul Hudak
May 1984

YALE/DCS/TR318 * TBA
S. Ishizaki
C. Huang
L. Danlos
C. Turk
May 1984

YALE/DCS/TR319 * A Characterization of Probabilistic Inference
Leonard Pitt
July 1984

YALE/DCS/TR320 * Difference Schemes for Equations of Schrodinger Type
Tony Chan
Long-jun Shen
June 1984

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

YALE/DCS/TR322 ALFL Reference Manual and Programmers Guide Z
Paul Hudak
October 1984

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

YALE/DCS/TR324 * Toward a Model of Subjective Interpretation
William Bain
July 1984

YALE/DCS/TR325 * A Methodology for Hierarchical Simulation of VLSI X Systems
Marina Chen
January 1984

YALE/DCS/TR326 A Graph Theoretic Approach to Statistical Data Security
Dan Gusfield
August 1984

YALE/DCS/TR327 * Optimal Mixed Graph Augmentation
Dan Gusfield
August 1984

YALE/DCS/TR328 * A Modular Approach for Coupled Nonlinear Systems
Tony Chan
September 1984

YALE/DCS/TR329 * Difference Schemes for the Parabolic Wave Equation in Ocean Acoustics
Tony Chan
Ding Lee
Long-jun Shen
December 1984

YALE/DCS/TR330 * Explanation: A First Pass
Roger Schank
August 1984

YALE/DCS/TR331 * Theoretical Aspects of the Security of Public Key Cryptography
Evangelos Kranakis
September 1984

YALE/DCS/TR332 * The Steiner Tree Problem in Phylogeny
Dan Gusfield
September 1984

YALE/DCS/TR333 * Fishspear: A Priority Queue Algorithm (Extended Abstract)
Michael Fischer
Michael Paterson
September 1984

YALE/DCS/TR334 * A Synthesis Method for Systolic Arrays with Space-time Variant, Data Independent Flow
Marina Chen
January 1985

YALE/DCS/TR335 * Improving the Condition of Nearly Singular Matrices by Rank-1 Modification
Tony Chan
Diana Resasco
December 1984

YALE/DCS/TR336 * DBEPACK: A Program Package for Solving Bordered Singular Systems
Tony Chan
Thomas Grossi
August 1984

YALE/DCS/TR337 * Generalized Deflated Block Elimination
Tony Chan
Diana Resasco
February 1985

YALE/DCS/TR338 * Managing Permanent Objects
Nathaniel Mishkin
November 1984

YALE/DCS/TR339 * Odd-Even Cyclic Reduction on Ensemble Architectures and the Solution of Tridiagonal Systems of Equations.
Lennart Johnsson
October 1984

YALE/DCS/TR340 * The Organization of Knowledge In a Multi-lingual, Integrated Parser
Steven Leo Lytinen
November 1984

YALE/DCS/TR341 Efficient Parallel Solution of Linear Systems with Hyperbolic Rotations
Jean-Marc Delosme
Ilse Ipsen
November 1984

YALE/DCS/TR342 A Model of Software Design
Elliot Soloway
Beth Adelson
October 1984

YALE/DCS/TR343 * Narrow and Wide Banded rystems Solvers for Ensemble Architechures
Lennart Johnsson
November 1984

YALE/DCS/TR344 * Automatic Evaluation of Design Choices in Digital Controller Systhesis
Douglas Baldwin
December 1984

YALE/DCS/TR345 Primality Tests
Evangelos Kranakis
December 1984

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

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

YALE/DCS/TR348 Communication Complexity of the Gaussian Elimination Algorithm on Multiprocessors
Youcef Saad
December 1984

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

YALE/DCS/TR350 On the Choice of Coordinates for Semiconductor Simulation
Thomas Kerkhoven
December 1984

YALE/DCS/TR351 Indexing and Causality: The Organization of Plans and Strategies in Memory
Kristian Hammond
December 1984

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

YALE/DCS/TR353 Symmetric Programming Languages
David Gelernter
December 1984

YALE/DCS/TR354 Direct Memory Access Parsing
Christopher Riesbeck
Charles Martin
December 1984

YALE/DCS/TR355 * Relational Queries Computable in Polynomial Time
Neil Immerman
January 1985

YALE/DCS/TR356 Fast Algorithms for Bipartite flow
Daniel Gusfield
Charles Martel
David Fernandez
January 1985

YALE/DCS/TR357 An Incremental Multigrid Strategy for the Fluid Dynamics Equations
Michele Napolitano
January 1985

YALE/DCS/TR358 High Re Separated Flow Solutions Using the Navier-Strokes and Approximate Equations
Michele Napolitano
January 1985

YALE/DCS/TR359 Parallel Programming in Linda
David Gelernter
January 1985

YALE/DCS/TR360 Future High performance Computation: The Megaflop per Dollar Alternative'
Lennart Johnsson
January 1985

YALE/DCS/TR361 Communication Efficient Matrix Operations on a Torus and a Boolean Cube
Lennart Johnsson
January 1985

YALE/DCS/TR362 A New List Compaction Method
Kai Li
Paul Hudak
February 1985

YALE/DCS/TR363 Multiple Array Processors for Ocean Acoustic Problems
Martin Schultz
February 1985

YALE/DCS/TR364 * Bulldog: A compiler for VLIW Architectures
John Ellis
February 1985

YALE/DCS/TR365 A Stability Analysis of Incomplete LU Factorizations
Howard Elman
February 1985

YALE/DCS/TR366 On the dependence of the covergence of Gummel's Algorithm on the Regularity of the Solution
Thomas Kerkhoven
February 1985

YALE/DCS/TR367 Data Permutations and Basic Linear Alegebra Computations on Ensemble Architectures
Lennart Johnsson
February 1985

YALE/DCS/TR368 Multigrid Algorithms on the Hypercube Multiprocessor
Tony Chan
Youcef Saad
February 1985

YALE/DCS/TR369 Reasoning About Access to Equipment
Erik Urdang
February 1985

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

YALE/DCS/TR371 * Parallel Programming and Algorithm Synthesis Using Recursion Equations and First Order
Marina Chen
March 1985

YALE/DCS/TR372 Fairing of Biased Coins in Bounded Time
Josh Cohen
March 1985

YALE/DCS/TR373 Solving Eliptic Partial Differential Equations on the Hypercube Multiprocessor
Tony Chan
Faisal Saied
Martin Schultz
March 1985

YALE/DCS/TR374 Synthesizing Systolic Designs
Marina Chen
March 1985

YALE/DCS/TR375 * Parallelism, Memory Anti-Aiasing and Correctness for Trace Scheduling Compilers
Alex Nicolau
March 1985

YALE/DCS/TR376 Inductive Inference by Refinement
Philip Laird
November 1985

YALE/DCS/TR377 Dense Matrix Operations on a Torus and a Boolean Cube
Lennart Johnsson
March 1985

YALE/DCS/TR378 Automatic Generation of Layouts from Circut Schematics
Lennart Johnsson
March 1985

YALE/DCS/TR379 Banded Systems Solvers for Ensemble Architectures
Lennart Johnsson
March 1985

YALE/DCS/TR380 Polynomial Interation for Nonsymmetric Indefinite Linear Systems
Howard Elman
Roy Streit
March 1985

YALE/DCS/TR381 Alternating Direction Methods on Multiprocessors
Lennnart Johnsson
Youcef Saad
Martin Schultz
April 1985

YALE/DCS/TR382 Alternating Direction on Multiprocessors: An Extended Abstract
Youcef Saad
Martin Schultz
April 1985

YALE/DCS/TR383 The S/NET's Linda Kernel
Nicholas Carriero
David Gelernter
March 1985

YALE/DCS/TR384 Explanation: A Second Pass
Roger C. Schank
Christopher Riesbeck
April 1985

YALE/DCS/TR385 Questions and Thought
Roger C. Schank
April 1985

YALE/DCS/TR386 Bug Catalogue 2,3,4.
James Spohrer
Edgar Pope
Michael Lipman
Warren Sack
Scott Freiman
David Littman
W. Lewis Johnson
Elliot Soloway
May 1985

YALE/DCS/TR387 Parallel Direct Methods for Solving Banded Linear
Youcef Saad
Martin H. Schultz
August 1985

YALE/DCS/TR388 Band Matrix Systems Solvers on Ensemble Architecture.
Lennart Johnson
May 1985

YALE/DCS/TR389 Topological Properties of Hyercubes
Youcef Saad
Martin H. Schultz
April 1985

YALE/DCS/TR390 Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems
Paul Hudak
Lauren Smith
May 1985

YALE/DCS/TR391 * A Set-Theoretic Characterization of Function Strictness in the Lambda Calculus.
Pual Hudak
Jonathan Young
May 1985

YALE/DCS/TR392 A Goal/Plan Analysis of Buggy Pascal Programs
James Spohrer
Elliot Soloway
Edgar Pope
May 1985

YALE/DCS/TR393 Relational Quirie Computable in Polynomial Time
Neil Immerman
May 1985

YALE/DCS/TR394 Primality and Cryptography
Evangelos Kranakis
May 1985

YALE/DCS/TR395 Intention-Based Diagnosis of Errors in Novice Programs
William Lewis Johnson
May 1985

YALE/DCS/TR396 On the Lanczos Method for Solving Symmetric Linear Systems w/ Several Right Hand Slides
Youcef Saad
June 1985

YALE/DCS/TR397 Partial Eigen-Solutions of Large Nonsemetric Matrices
Youcef Saad
June 1985

YALE/DCS/TR398 Rank revealing QR-Factorizations
Tony Chan
June 1985

YALE/DCS/TR399 The DUCK Manual
Drew McDermott
June 1985

YALE/DCS/TR400 Probabilistic Inductive Inference
Leonard Pitt
June 1985

YALE/DCS/TR401 On the Solution of Circulant Linear Systems
Mingkui Chen
June 1985

YALE/DCS/TR402 Micro-Proust
W. Lewis Johnson
Elliot Soloway
June 1985

YALE/DCS/TR403 Deflated Decomposition by the Lanczos Process
Tony Chan
Youcef Saad
June 1985

YALE/DCS/TR404 A Simple Probabilistic Approximation Algorithm for Vertex Cover
Leonard Pitt
June 1985

YALE/DCS/TR405 Easy Impossibility Proofs for Distributed Consensus Problems
Michael Fischer
Nancy Lynch
Michael Merritt
June 1985

YALE/DCS/TR406 An Approach to the Design of Highly Parallel Algorithms in VLSI
Marina Chen
July 1985

YALE/DCS/TR407 Three Fast Algorithms for Four Problems in Stable Marriage
Dan Gusfield
July 1985

YALE/DCS/TR408 Analysis of Preconditioners for Domain Decomposition
Tony Chan
July 1985

YALE/DCS/TR409 A Domain Decomposed Fast Poisson Solver on a Rectangle
Tony Chan
Diana Resasco
July 1985

YALE/DCS/TR410 * Fourier Analysis of Preconditional Interactive Methods
Tony Chan
Howard Elman
July 1985

YALE/DCS/TR411 An Explicit Scheme for the Prediction of Ocean Acoustic Propagation in Three Dimensions
Tony Chan
Long-jun Shen
Ding Lee
July 1985

YALE/DCS/TR412 A Systolic Design for te Problem of Partitions of an Integer
Marina Chen
July 1985

YALE/DCS/TR413 Stability Analysis of Difference Schemes for Variable Cofficient Schrodinger Type Equations
Tony Chan
Long-jun Shen
August 1985

YALE/DCS/TR414 A Survey of Preconditioners for Domain Decomposition
Tony Chan
Diana Resasco
August 1985

YALE/DCS/TR415 Dynamic Monotone Priorities on Planer Sets (Extended Abstract)
Michael Fischer
Michael Paterson
August 1985

YALE/DCS/TR416 A Robust and Varifiable Cryptographically Secure Election Scheme (Extended Abstract)
Josh Cohen
Michael Fischer
August 1985

YALE/DCS/TR417 On the Solution of a class of Toeplitz Systems
Mingkui Chen
August 1985

YALE/DCS/TR418 Solving Narrow Banded Systems on Ensemble Architectures
Lennart Johnsson
August 1985

YALE/DCS/TR419 Probabilistic Analysis of a Network Resource Allocation Algorithm.
Michael Fischer
August 1985

YALE/DCS/TR420 Why Kids Should Learn to Program
Elliot Soloway
August 1985

YALE/DCS/TR421 Distributed FIFO Allocation of Identical Resources Using Small Shared Space
Michael Fischer
Nancy A. Lynch
James E.Burns
August 1985

YALE/DCS/TR422 Interconnection Networks and Parallel Memory Organizations for Array Processing
Ranade
September 1985

YALE/DCS/TR423 Planning by Search through Simulations
David Miller
September 1985

YALE/DCS/TR424 Complex Shift and Invert Strategies for Real Matrices
Youcef Saad
Breseford Parlett
September 1985

YALE/DCS/TR425 Parallel Implementations of Preconditioned Conjugate Gradien Methods
Martin Schultz
Youcef Saad
September 1985

YALE/DCS/TR426 * Foundations of Knowledge for Distributed Systems
Michael Fischer
Neil Immerman
October 1985

YALE/DCS/TR427 Automatic Generation of VLSI Architectures: Synthesis by Agorithym Transformation
Marina Chen
October 1985

YALE/DCS/TR428 Data Communications in Hypercubes
Martin Schultz
Youcef Saad
October 1985

YALE/DCS/TR429 Coupled and lecoupled Algorithms for Semiconductors Simulation <