1987 Technical Reports

YALEU/DCS/TR508 [.pdf] Spanning Balanced Trees in Boolean Cubes
Ching-Tien Ho
Lennart Johnsson
January 1987

YALEU/DCS/TR509 [.pdf] A Fast Algorithm for the Descrete Laplace Transformation
Vladimir Rokhlin
January 1987

YALEU/DCS/TR510 [.pdf] Automated Problem Mapping: The Crystal Runtime System
Joel Saltz
Marina Chen
January 1987

YALEU/DCS/TR511 [.pdf] Constrained Randomization for Parallel Communication
Abhiram Ranade
January 1987

YALEU/DCS/TR512 [.pdf] Equivalence of Message Scheduling Algorithms for Parallel Communication
Abhiram Ranade
January 1987

YALEU/DCS/TR513 [.pdf] Design of Systolic Algorithms for Large Scale Multiprocessors
Jingke Li
Marina Chen
Mark Young
January 1987

YALEU/DCS/TR514 * Ten Problems in Artificial Intelligence
Roger Schank
Christopher Owens
January 1987

YALEU/DCS/TR515 * The Rapid Evaluation of Potential Fields in Three Dimensions
Leslie Greengard
Vladimer Rokhlin
January 1987

YALEU/DCS/TR516 [.pdf] Communication -llfficient Distributed Data Structures on Hypercubes Machines
Zhijing Mou
Marina Chen
February 1987

YALEU/DCS/TR517 * A Little Knowledge Goes a Long Way: Simple Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols
Lenore Zuck
Joseph Halpern
February 1987

YALEU/DCS/TR518 * Creativity in Education: A Standard for Computer-Based Teaching
Roger Schank
Robert Farrell
February 1987

YALEU/DCS/TR519 [.pdf] Solving Banded Systems on a Parallel Processor
J.J. Dongarra
Lennart Johnsson
Febraury 1987

YALEU/DCS/TR520 [.pdf] LINDA The Portable Parallel
Robert Bjornson
Nick Carriero
Jerrold Leichter
February 1987

YALEU/DCS/TR521 * Generating Natural Language Under Pragmatic Constraints
Ed Hovy
February 1987

YALEU/DCS/TR522 * DARPA - Sponsored Planning Research+ Report and Prospectus
Drew McDermott
March 1987

YALEU/DCS/TR523 * Type of Explanations
Alex Kass
David Leake
March 1987

YALEU/DCS/TR524 [.pdf] A Para-Functional Programming Environment for Parallel and Distributed Computing
Paul Hudak
Jean-Marc Delosme
Ilse Ipsen
March 1987

YALEU/DCS/TR525 [.pdf] Complete Operational Semantics for First-Order Lazy Narrowing
Paul Hudak
Juan Guzman
March 1987

YALEU/DCS/TR526 [.pdf] Detecting Sharing of Partial Applications in Functional Programs
Paul Hudak
Benjamin Goldberg
March 1987

YALEU/DCS/TR527 [.pdf] Synthesizing Systolic Arrays from Recurrsion Equations
Marina Chen
March 1987

YALEU/DCS/TR528 [.pdf] PSpace Survives Three-Bit Bottlenecks
Jin-yi Cai
Merrick Furst
March 1987

YALEU/DCS/TR529 * A Linda User’s Manual
Robert Bjornson
March 1987

YALEU/DCS/TR530 [.pdf] Matrix Multiplication on Boolean Cubes Using Generic Communication Primitives
S.Lennart Johnsson
Ching-Tien Ho
March 1987

YALEU/DCS/TR531 * Parrellism Persistence and META-Cleanliness in the Symetric Lisp Interpreter
David Gelernter
Suresh Jagannathan
T. Lyndon
March 1987

YALEU/DCS/TR532 [.pdf] Solving Multiple Tridiagonal Systems, the Alternating Direction Method, and Boolean Cube Configured Multiprocessors
Lennart Johnsson
Ching-Tien Ho
April 1987

YALEU/DCS/TR533 [.pdf] The Rapid Evaluation of Potential Feilds in Particle Systems
Leslie Greengard
April 1987

YALEU/DCS/TR534 [.pdf] Analysis of Domain Decomposition Preconditioners on Irregular Regions
Tony Chan
Diana Resasco
April 1987

YALEU/DCS/TR535 [.pdf] Minimum Expansion Embebbings of Meshes in Hypercubes
David Greenberg
April 1987

YALEU/DCS/TR536 [.pdf] On The Eventuality Operator in Temporal Logic
A. Prasad Sistla
Lenore Zuck
April 1987

YALEU/DCS/TR537 [.pdf] Analysis of Parameterized Methods for Problem Partitioning
Joel Saltz
May 1987

YALEU/DCS/TR538 [.pdf] Expressability as a Complexity Measure: Results and Directions
Neil Immerman
May 1987

YALEU/DCS/TR539 [.pdf] Systolic Algorithms for the Parallel Solution of Dense Symetric Positive-Definite Toeplitz Systems
Ilse Ipsen
May 1987

YALEU/DCS/TR540 * A Processor for Two-Dimensional Symetric Eigenvalue and Singular Value Arrays
Jean-Marc Delosme
May 1987

YALEU/DCS/TR541 [.pdf] Computing Particle Correlations from the Data Matrix
Jean-Marc Delosme
Ilse Ipsen
May 1987

YALEU/DCS/TR542 [.pdf] A Programmable Systolic Array for Factorial Data Analysis Part I: Matrix Computations
Tiba Porta
May 1987

YALEU/DCS/TR543 [.pdf] A Programmable Systolic Array for Factorial Data Analysis Part II: The Symetric Eigenvalue Problem
Tiba Porta
May 1987

YALEU/DCS/TR544 [.pdf] Transformation of Broadcasting into Pipelining
YiWan Wong
Jean-Marc Delosme
June 1987

YALEU/DCS/TR545 [.pdf] Control of Attention in Neural Networks
Eric Mjolsness
June 1987

YALEU/DCS/TR546 [.pdf] Expressability and Parallel Complexity
Neil Immerman
August 1988

YALEU/DCS/TR547 [.pdf] A Greedy Approximation Algorythm for the Partial Order Search Problem
Phillip Laird
June 1987

YALEU/DCS/TR548 [.pdf] Solving the Symmetric Tridiagonal Eigenvalue Problem on the Hypercube
Ilse Ipsen
Elizabeth Jessup
June 1987

YALEU/DCS/TR549 [.pdf] Recursively Generated Neural Networks
Eric Mjolsness
David H. Sharp
Bradley Alpert
June 1987

YALEU/DCS/TR550 * The FORBIN Paper
Thomas Dean
R. James Firby
David Miller
July 1987

YALEU/DCS/TR551 * Learning From Good Data and Bad
Phil Laird
July 1987

YALEU/DCS/TR552 [.pdf] Nondeterministic Space is Closed Under Complement
Neil Immerman
July 1987

YALEU/DCS/TR553 [.pdf] Implicit Finite Difference Simulation of an Internal Flow in a Nozzle: An Example of a Physical Application on the Hypercube
Pierre Porta
July 1987

YALEU/DCS/TR554 * A Fast Algorithm for the Numerical Evaluation of Conformal Mappings
S.T O’Donnell
Vladimir Rokhlin
July 1987

YALEU/DCS/TR555 Unassigned

YALEU/DCS/TR556 [.pdf] Can Parallel Machines Be Made Easy to Program? A Data-Parallel Model for Functional Languages
Marina Chen
August 1987

YALEU/DCS/TR557 [.pdf] Learning K-Bounded Context-Free Grammars
Dana Angluin
August 1987

YALEU/DCS/TR558 [.pdf] A Numerical Treatment of the Fluid/Elastic Interface Under Range-Dependent Environments
Er Chang Shang
Ding Lee
August 1987

YALEU/DCS/TR559 [.pdf] Learning K-Term DNF Formulas Using Queries and Counter-examples
Dana Angluin
August 1987

YALEU/DCS/TR560 [.pdf] Time-Optimal Synthesis of Systolic Arrays with Pipelined Cell
Bjorn Lisper
September 1987

YALEU/DCS/TR561 [.pdf] Verifiable Secret-Ballot Elections
Josh Benaloh
September 1987

YALEU/DCS/TR562 * From Local to Global-Analysis of Nearest Neighbor Load Balancing on Hypercube
Marina Chen
Jia wei Hong
Xiao Nan Tan
September 1987

YALEU/DCS/TR563 * A Simulator for Mobile Robot Planning
R. James Firby
Steve Hanks
September 1987

YALEU/DCS/TR564 * E Unum Pluribus: Generating Alternative Designs
Elliot Soloway
James Spohrer
David Littman
September 1987

YALEU/DCS/TR565 [.pdf] The Fast Multipole Method for Gridless Particle Simulations
J. Ambrosiano
Leslie Greengard
Vladamir Rohklin
September 1987

YALEU/DCS/TR566 [.pdf] How to Imbed FFTS in Hypercubes
David Greenberg
October 1987

YALEU/DCS/TR567 [.pdf] Implementation of Tuple Space Machines
Nicholas Carriero
October 1987

YALEU/DCS/TR568 * A Symmetric Language
David Gelernter
Suresh Jagannathan
Thomas London
Mark Day
October 1987

YALEU/DCS/TR569 [.pdf] Algorithms for Multiplying Matrices of Arbitrary Shapes Using Shared Memory Primitives on a Boolean Cube
Lennart Johnsson
Ching-Tien Ho
October 1987

YALEU/DCS/TR570 [.pdf] Computational Fluid Dynamics on Parallel Processors
William Gropp
Edward Smith
October 1987

YALEU/DCS/tr571 [.pdf] A Little Knowledge Goes a Long Way: Simple Knowledge-Based Derivations anllllrrectness Proofs for a Family of Protocols
Lenore Zuck
Joseph Halpern
October 1987

YALEU/DCS/TR572 [.pdf] Algorithms for Matrix Transposition on Boolean-cube Configured Ensemble Architectures
Lennart Johnson
Ching-Tien Ho
October 1987

YALEU/DCS/TR573 * The Fluent Abstract Machine
Abhiram Ranade
Lennart Johnsson
Sandeep Bhatt
October 1987

YALEU/DCS/TR574 [.pdf] Directions in High Performance Computations
Lennart Johnsson
October 1987

YALEU/DCS/TR575 * Take a Walk, Grow a Tree
Sandeep Bhatt
Jin-yi Cai
November 1987

YALEU/DCS/TR576 * On the Embebbing of Arbitrary Meshes in Boolean Cubes With Expansion Two Dilation Two
Ching-Tien Ho
Lennart Johnsson
November 1987

YALEU/DCS/TR577 [.pdf] Algorithms for Matrix Transposition on Boolean N-Cube Configured Ensemble Architechtures
Ching-Tien Ho
Lennart Johnsson
November 1987

YALEU/DCS/TR578 [.pdf] How to Emulate Shared Memory
Abhiram Ranade
November 1987

YALEU/DCS/TR579 [.pdf] The Communication Efficiency of Meshes Boolean Cubes and Cube Connected Cycles for Wafer Scale Intergration
Abhiram Ranade
Lennart Johnsson
November 1987

YALEU/DCS/TR580 [.pdf] Ensemble Architectures and Their Algorithms: An Overview
Lennart Johnsson
November 1987

YALEU/DCS/TR581 [.pdf] Highly Parallel banded Systems Solvers
Lennart Johnsson
November 1987

YALEU/DCS/TR582 [.pdf] The FFT and Fast Poisson Solvers on Parallel Architectures
Lennart Johnsson
November 1987

YALEU/DCS/TR583 [.pdf] Fast PDE Solvers on Fine and Medium Grain Architectures
Lennart Johnsson
November 1987

YALEU/DCS/TR584 [.pdf] Data Parallel Programming and Basic Linear Algebra Subroutines
Lennart Johnsson
November 1987

YALEU/DCS/TR585 [.pdf] Enumerative Counting is Hard
Jin-Yi Cai
Lane H. Hemachandra
November 1987

YALEU/DCS/TR586 [.pdf] Adaptive Load Sharing in Heterogeneous Systems
Ravi Mirchandaney
Don Towsley
John Stankovic
November 1987

YALEU/DCS/TR587 * Directions in High Performance Computation
Lennart Johnsson
November 1987

YALEU/DCS/TR588 [.pdf] The Crytsal Runtime System: A Framework
Joel Saltz
Ravi Mirchandaney
Roger Smith
David Nicol
Kay Crowley
November 1987

YALEU/DCS/TR589 [.pdf] Relative Knowledge and Belief
Michael Fischer
Lenore Zuck
December 1987

YALEU/DCS/TR590 [.pdf] Learning Propositional Horn Sentences with Hints
Dana Angluin
December 1987

YALEU/DCS/TR591 [.pdf] Debugging a DAG Efficiently
Dana Angluin
December 1987

YALEU/DCS/TR592 * A Performability Analysis of a Multi-processor System
R.M. Smith
K.S. Trivedi
A.V. Ramesh
December 1987

YALEU/DCS/TR593 [.pdf] Footprints of Dependency: Towards Dynamic Memory Management for Massively Parallel Architectures
Marina C. Chen
Michel Jacquemin
January 1988