1988 Technical Reports

YALEU/DCS/TR594 [.pdf] Implicit Finite-Difference Simulation of an Internal Flow on a Hypercube
Pierre Porta
January 1988

YALEU/DCS/TR595 [.pdf] Composite Semantics: One Generic Environment is Enough
Jonathan Young
January 1988

YALEU/DCS/TR596 * Numerical Simulation of a 2-D Compressible Fluid Flow on a Hypercube
Pierre Porta
Faisal Saied
January 1988

YALEU/DCS/TR597 [.pdf] Adaptive Load Sharing in the Presence of Delays
Ravi Mirchandaney
January 1988

YALEU/DCS/TR598 * Computing Fast Fourier Transforms on Boolean Cubes and Related Networks
Johnsson
Ho (as of Feb. 88)
Jacquemin
Ruttenberg
January 1988

YALEU/DCS/TR599 * Planned Creation Using Strategies as Blueprints
Greg Collins
January 1988

YALEU/DCS/TR600 [.pdf] Performability Analysis: Measures an Algorithm, And a Case Study
R. Smith
K.S. Trivedi
A.V. Ramesh
January 1988

YALEU/DCS/TR601 [.pdf] Using Entropy Minimax Estimation for Load Sharing
Ravi Mirchandaney
L. Sha
J.A. Stankovic
January 1988

YALEU/DCS/TR602 [.pdf] On the Efficient Implementation of the Fast Multipole Algorithm
Leslie Greengard
Vladimir Rokhlin
February 1988

YALEU/DCS/TR603 [.pdf] Efficient Protocols for Common Knowledge and Simultaneous Byzantine Agreement
Ruben Michel
January 1988

YALEU/DCS/TR604 [.pdf] Uncertain Knowledge in Distributed Systems (Revised edition, including title, now #643)
Michael Fischer
Lenore Zuck
January 1988

YALEU/DCS/TR605 [.pdf] Describing Graphs: A First-Order Approach to Graph Canonization
Neil Immerman
Eric Lander
February 1988

YALEU/DCS/TR606 [.pdf] On Projections from Permanent to Determinant
Jin-yi Cai
February 1988

YALEU/DCS/TR607 [.pdf] The Cholesky Factorization, Schur Complements, Correlation Coefficients, Angles between Vectors, and the QR Factorization
Ilse Ipsen
Jean-Marc Delosme
C.C. Paige
February 1988

YALEU/DCS/TR608 [.pdf] A Theory of Parallel Program Optimization
Young-il Choo
Marina Chen
February 1988

YALEU/DCS/TR609 * Footprints of Dependency: Towards Dynamic Memory Management of Massively Paralell Architectures
Marina Chen
Michel Jacquemin
February1988

YALEU/DCS/TR610 [.pdf] Optimum Broadcasting and Personalized Communication in Hypercubes
Lennart Johnsson
Ching-Tien Ho
February 1988

YALEU/DCS/TR611 [.pdf] Spanning Balanced Trees in Boolean Cubes
Ching-Tien Ho
Lennart Johnsson
February 1988

YALEU/DCS/TR612 [.pdf] QED on the Connection Machine
Lennart Johnsson
March 1988

YALEU/DCS/TR613 [.pdf] Scaling, Machine Learning, and Generic Neural Nets
Eric Mjolsness
Dave Sharp
Bradley Albert
March 1988

YALEU/DCS/TR614 [.pdf] Identifying Languages from Stochastic Examples
Dana Angluin
March 1988

YALEU/DCS/TR615 The VAX Linda-C User’s Guide
Jerrold Leichter
March 1988

YALEU/DCS/TR616 [.pdf] Recursive Mesh Refinement on Hypercubes
William Gropp
Ilse Ipsen
March 1988

YALEU/DCS/TR617 [.pdf] Stable Dimension Permutaions on Boolean Cubes
Ching-Tien Ho
Lennart Johnsson
March 1988

YALEU/DCS/TR618 [.pdf] Multiprocessor Execution of Functional Programs
Benjamin Goldberg
April 1988

YALEU/DCS/TR619 [.pdf] Systolic FFT Algorithms on Boolean Cube Networks
Lennart Johnsson
Ching-Tien Ho
Michel Jacquemin
Mark Ruttenberg
March 1988

YALEU/DCS/TR620 [.pdf] Optimal Algorithms for Dimension Permutations on Boolean Cubes
Lennart Johnsson
Ching-Tien Ho
March 1988

YALEU/DCS/TR621 [.pdf] Data Field + Dependency = Parallel Program
Marina Chen
Young-il Choo
Jingke Li
April 1988

YALEU/DCS/TR622 * Linda in Context
Nicholas Carriero
David Gelernter
April 1988

YALEU/DCS/TR623 [.pdf] Expressing Boolean Cube Matrix Algorithms in Shared Memory Primitives
Lennart Johnsson
Ching-Tien Ho
April 1988

YALEU/DCS/TR624 [.pdf] From Bareiss’ Algorithm to the Stable Computation of Partial Correlations
Jean-Marc Delsosme
Ilse Ipsen
April 1988

YALEU/DCS/TR625 Unassigned

YALEU/DCS/TR626 [.pdf] An Optimal Lower Bound on the Number of Variables for Graph Identification
Jin-ji Cai
Neil Immerman
May 1988

YALEU/DCS/TR627 [.pdf] Haskell Solutions to the Language Session Problems at the 1988 Salishan High-speed Computing Conference
Paul Hudak
Steve Anderson
May 1988

YALEU/DCS/TR628 * How to Write Parallel Programs: A Guide to the Perplexed
Nicholas Carriero
David Gelernter
May 1988

YALEU/DCS/TR629 [.pdf] An Experimental Study of Methods for Parallel Preconditioned Krylov Methods
Doug Baxter
Joel Saltz
Martin Schultz
Stan Eisenstat
Kay Crowley
June 1988

YALEU/DCS/TR630 [.pdf] Parallel Processing of Biological Sequence Comparison Algorithms
Nolan Core
Elizabeth Edmundston
Joel Saltz
Roger Smith
June 1988

YALEU/DCS/TR631 Unassigned

YALEU/DCS/TR632 [.pdf] ORBIT: An Optimizing Compiler for Scheme
David Kranz
June 1988

YALEU/DCS/TR633 [.pdf] Compiling Parallel Programs By Optimizing Performance
Marina Chen
Young-il Choo
Jingke Li
June 1988

YALEU/DCS/TR634 [.pdf] Optimization in Model Matoning and Perceptual Organization, A First Look
Eric Mjolsness
Gene Gindi
P. Anandan
June 1988

YALEU/DCS/TR635 [.pdf] Potential Flow in Channels
Leslie Greengard
June 1988

YALEU/DCS/TR636 [.pdf] Matrix Multiplication on Boolean Cubes Using Shared Memory Primitives
Ching-Tien Ho
Lennart Johnson
July 1988

YALEU/DCS/TR637 [.pdf] The Complexity of the Real Line is a Fractal
Jin-Yi Cai
Juris Hartmanis
July 1988

YALEU/DCS/TR638 * Using Linda for Supercomputing on a Local Area Network
R.A. Whiteside
Jerold Leichter
June 1988

YALEU/DCS/TR639 * Grid Tracing: Fast Ray Tracing for Height Fields
F. Kenton Musgrave
June 1988

YALEU/DCS/TR640 * A Parallel Version of the Fast Multipole Method
Leslie Greengard
William Gropp
August 1988

YALEU/DCS/TR641 * Spatial Reasoning About Mechanisms ITT (Partially)
Andrew Gelsey
Drew McDermott
August 1988

YALEU/DCS/TR642 [.pdf] Revised NISP Manual
Drew McDermott
August 1988

YALEU/DCS/TR643 * Reasoning About Uncertainty in Fault - Tolerant Distributed Systems (Revision of #604)
Michael Fischer
Lenore Zuck
August 1988

YALEU/DCS/TR644 * Case-Based Reasoning: A Research Paradigm
Stephen Slade
August 1988

YALEU/DCS/TR645 [.pdf] Explicit Routing in the Fluent Machine
Bjorn Lisper
August 1988

YALEU/DCS/TR646 * Spectral Integration and Two-Point Boundary Value Value Problems
Leslie Greengard
August 1988

YALEU/DCS/TR647 [.pdf] Requests for Hints That Return No Hints
Dana Angluin
September 1988

YALEU/DCS/TR648 [.pdf] Negative Results for Equivalence Queries
Dana Angluin
September 1988

YALEU/DCS/TR649 [.pdf] Learning With Localized Receptive Fields
John Moody
Christian Darken
September 1988

YALEU/DCS/TR650 * On the Performance of Self-Execution Primitives in the PARTY Runtime System
Ravi Mirchandaney
Joel Saltz
September 1988

YALEU/DCS/TR651 * Optimization of Computation Time for Systolic Arrays
Yi Wan Wong
Jean-Marc Delosme
September 1988

YALEU/DCS/TR652 [.pdf] A Rapid Numerical Procedure for Determining Axisymetric Transfer Electric Electromgnetic Fields Via Boundary Intergrals
Vladimir Rokhlin
Ira Bernstein
September 1988

YALEU/DCS/TR653 [.pdf] Shuffle Permutations on Boolean Cubes
Lennart Johnsson
Ching-Tien Ho
October 1988

YALEU/DCS/TR654 * Learning With Localized Receptive Fields: A Speedy Alternative to Back Propagation
John Moody
Christian Darken
October 1988

YALEU/DCS/TR655 [.pdf] Preconditioned Krylov Solvers and Methods for Runtime Loop Parallelization
Doug Baxter
Joel Saltz
Martin Schultz
Stanley Eisenstat
October 1988

YALEU/DCS/TR656 * Report on the Functional Programming Language Haskell
Paul Hudak
Phil Wadler
October 1988

YALEU/DCS/TR657 [.pdf] Runtime Scheduling and Execution of Loops on Message Passing Machines
Kay Crowley
Joel Saltz
Ravi Mirchandaney
H. Scott Berryman
October 1988

YALEU/DCS/TR658 Unassigned

YALEU/DCS/TR659 [.pdf] Equivalence Queries and DNF Formulas
Dana Angluin
November 1988

YALEU/DCS/TR660 * The LogiCalc Manual
Denys Duchier
November 1988

YALEU/DCS/TR661 [.pdf] Run-Time Parallelization and Scheduling of Loops
Joel Saltz
Ravi Mirchandaney
Doug Baxter
November 1988

YALEU/DCS/TR662 * Plan Analysis of Programs
Stanley Letovsky
November 1988

YALEU/DCS/TR663 * Fluent Parallel Computation
Abriham Ranade
December 1988

YALEU/DCS/TR664 [.pdf] Synthesis of a Systolic Dirichlet Product Using Non-Linear Domain Contraction
Marina Chen
Young-il Choo
December 1988

YALEU/DCS/TR665 [.pdf] On the Expressiveness of Purely Functional Operating Systems
Paul Hudak
R. Sundaresh
December 1988

YALEU/DCS/TR666 * Report on the Functional Programming Language Haskell
Paul Hudak
December 1988

YALEU/DCS/TR667 [.pdf] Embedding Hyper-Pyramids into Hypercubes
Ching-Tien Ho
Lennart Johnsson lll
December 1988

YALEU/DCS/TR668 * Optimal Architectures and Objective Functions for Associative Memory
John Moody
December 1988