1983 Technical Reports

YALEU/DCS/TR253 [.pdf] Very Long Instruction Word Architecture and the ELI-512
J. Fisher
April 1983

YALEU/DCS/TR254 [.pdf] A Generalized Minimal Residual Algorithm for Solving Nonsymmetric Linear Systems
Youcef Saad
Martin Schultz
May 1985

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

YALEU/DCS/TR256 [.pdf] Carrier Array: An Extension to APL
P.G. Lowney
May 1983

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

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

YALEU/DCS/TR259 [.pdf] Nonlinearly-Preconditioned Krylov Subspace Methods for Discrete Newton Algorithms
Tony Chan
Kenneth Jackson
January 1983

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

YALEU/DCS/TR261 [.pdf] PLTMGC: A Multi-grid Continuation Program Package for Solving Parametrized Nonlinear Elliptic Systems
Tony Chan
Randolph Bank
December 1983

YALEU/DCS/TR262 [.pdf] Parallel Networks for Multi-Grid Algorithms: Architecture and Complexity
Tony Chan
R. Schreiber
September 1983

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

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

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

YALEU/DCS/TR266 [.pdf] Iterative Methods for Non-Self-Adjoint Elliptic Problems
Howard Elman
April 1983

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

YALEU/DCS/TR268 [.pdf] Distributed Graph Marking
Paul Hudak
January 1983

YALEU/DCS/TR269 [.pdf] Squeezing the most out of an Algorithm in Cray Fortran
Jack Dongarra
Stanley Eisenstat
May 1983

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

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

YALEU/DCS/TR272 [.pdf] Solving Elliptic Problems on an Array Processor System
Martin Schultz
June 1983

YALEU/DCS/TR273 [.pdf] The Consensus Problem in Unreliable Distributed Systems (A Brief Survey)
Michael Fischer
June 1983

YALEU/DCS/TR274 * The Nisp Manual
Drew McDermott
June 1983

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

YALEU/DCS/TR276 [.pdf] Least Squares Polynomials in the Complex Plane with Applications to Solving Sparse Nonsymmetric Matrix Problems
Youcef Saad
August 1984

YALEU/DCS/TR277 [.pdf] Sharp Estimates for the Multigrid Rates of Convergence with General Smoothing and Acceleration
Randolph Bank
Craig Douglas
1983

YALEU/DCS/TR278 [.pdf] Local Uniform Mesh Refinement for Elliptic Partial Differential Eauations
William Gropp
July 1983

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

YALEU/DCS/TR280 [.pdf] Editing by Example
Robert Nix
August 1983

YALEU/DCS/TR281 [.pdf] Large-scale Separation and Wake Closure/ Reattachment – The Cascade Problem
F.T. Smith
August 1983

YALEU/DCS/TR282 [.pdf] Practical use of Polynomial preconditioning for the conjugate gradient method
Youcef Saad
July 1984

YALEU/DCS/TR283 [.pdf] Conugate Gradient Like Methods for Solving Nonsymmetric Linear Systems
Youcef Saad
Martin Schultz
August 1983

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

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

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

YALEU/DCS/TR287 [.pdf] Preconditioning by Fast Direct Methods for Non-self-Adjoint Nonseperable Elliptic Equations
Howard Elman
Martin Schultz
December 1983

YALEU/DCS/TR288 [.pdf] Provable Security of Cryptosystems: A Survey
Dana Angluin
David Lichtenstein
October 1983

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

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

YALEU/DCS/TR291 [.pdf] Singular Value Computations With Systolic Arrays
Ilse Ipsen
November 1983

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

YALEU/DCS/TR293 [.pdf] Solving the Poisson Equation on the FPS-164
Susan O’Donnell
Peter Geiger
Martin Schultz
November 1983

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

YALEU/DCS/TR295 [.pdf] Fourier Methods with Extended Stability Intervals for the Korteweg-de Vries Equation
Tony Chan
Tom Kerkhoven
December 1983

YALEU/DCS/TR296 [.pdf] Qualitative and Quantitative Temporal Reasoning
Stanley Letovsky
December 1983

YALEU/DCS/TR297 [.pdf] Techniques for Large Sparse Systems Arising from Continuation Methods
Tony Chan
December 1983