1990 Technical Reports

YALEU/DCS/TR756 * Projecting Plans for Uncertain Worlds
Steve Hanks
January 1990

YALEU/DCS/TR757 * CS661 Lecture Notes
Prabhakar Raghavan
January 1990

YALEU/DCS/TR758 * Non-Strict Monoloitic Arrays in a Strict Context
Steve Anderson
January 1990

YALEU/DCS/TR759 [.pdf] Memo-Functions in Alfl
Pradeep Varma
Paul Hudak
January 1990

YALEU/DCS/TR760 * Theory and Pragmatics of Compiling Efficient Parallel Code
Marina Chen
Young-il Choo
Jingke Li
January 1990

YALEU/DCS/TR761 [.pdf] Static and Dynamic Semantics Processing
Charles Consel
Oliver Danvy
February 1990

YALEU/DCS/TR762 [.pdf] Some Remarks on the Generalised Bareiss and Levinson Algorithms
Ilse Ipsen
February 1990

YALEU/DCS/TR763 [.pdf] Linear Algorithms for Analysis of Minimum Spanning and Shortest Path Trees of Planar Graphs
Heather Booth
Jeffery Westbrook
February 1990

YALEU/DCS/TR764 [.pdf] Boolean Cube Emulation of Butterfly Networks Encoded by Gray Code
Lennart Johnsson
Ching-Tien Ho
February 1990

YALEU/DCS/TR765 [.pdf] Mathematical Foundations for Fast Algorithms for the Biharmonic Equation
Peter Farkas
February 1990

YALEU/DCS/TR766 * Melinda: Linda with Multiple Tuple Spaces
Susanne C. Hupfer
February 1990

YALEU/DCS/TR767 [.pdf] Improving the Accuracy of Inverse Iteration
Elizabeth R. Jessup
Ilse C.F. Ipsen
February 1990

YALEU/DCS/TR768 [.pdf] Routing Multiple Paths in Hypercubes
David Greenberg
Sandeep N. Bhatt
March 1990

YALEU/DCS/TR769 * Evaluating Explanations
David Leake
March 1990

YALEU/DCS/TR770 [.pdf] Incremental Computation via Partial Evaluation
R.S. Sundaresh
Paul Hudak
March 1990

YALEU/DCS/TR771 [.pdf] The Wakeup Problem
Michael Fischer
Shlomo Moran
Steven Rudich
Gadi Taubenfeld
March 1990

YALEU/DCS/TR772 [.pdf] Sub-domain Dependency Test and Scheduling Algorithms for Massively Parallel Computing
Lee-Chung Lu
Marina Chen
March 1990

YALEU/DCS/TR773 [.pdf] Parallel Performance of Domain-Decomposed Preconditioned Krylov Methods for PDEs with Adaptive Refinement
William Gropp
David Keyes
March 1990

YALEU/DCS/TR774 [.pdf] From Interpreting to Compiling Binding Times
Charles Consel
Olivier Danvy
March 1990

YALEU/DCS/TR775 [.pdf] Data Parallel Algorithms for Finite Element Method
Kapil K. Mathur
S. Lennart Johnsson
March 1990

YALEU/DCS/TR776 [.pdf] Domain Decomposition Algorithms for Elliptic Partial Differential Equations (Thesis)
Diana C. Resasco
March 1990

YALEU/DCS/TR777 * Report on the Programming Language Haskell
Paul Hudak
et al
April 1990

YALEU/DCS/TR778 [.pdf] Supercomputers: Past and Future
S. Lennart Johnsson
April 1990

YALEU/DCS/TR779 * Optimal Communication Primitives and Graph Embeddings on Hypercubes (Thesis)
Ching-Tien Ho
April 1990

YALEU/DCS/TR780 [.pdf] Binding time Analysis for Higher Order Untyped Functional Languages
Charles Consel
April 1990

YALEU/DCS/TR781 [.pdf] Semantics-Directed Generation of a Prolog Compiler
Charles Consel
Siau Cheng Khoo
April 1990

YALEU/DCS/TR782 [.pdf] TupleScope: A Graphical Monitor and Debugger for Linda- Based Parallel Programs
Paul Bercovitz
Nicholas Carriero
April 1990

YALEU/DCS/TR783 * Semantics and Analyst of First-Class Tuple-Spaces
Suresh Jagannathan
April 1990

YALEU/DCS/TR784 * Data Dependencies and Space-Time Algebras in Parallel Programming
Magne Haveraaen
April 1990

YALEU/DCS/TR785 * Automated Reasoning About Machines
Andrew Gelsey
April 1990

YALEU/DCS/TR786 [.pdf] Meta-Crystal – A Metalanguange for Parallel-Program Optimazation
J. Allan Yang
Young-il Choo
April 1990

YALEU/DCS/TR787 [.pdf] The Complexity of Reshaping Arrays on Boolean Cubes
Lennart Johnsson
Ching-Tien Ho
April 1990

YALEU/DCS/TR788 * The Semantics of Tuple Space and Correctness of an Implementation
Keld Kondrup Jensen
April 1990

YALEU/DCS/TR789 * Constraints for the Early Detection of Discontinuity from Motion
Michael J. Black
P. Anandan
April 1990

YALEU/DCS/TR790 * Neutral Networks for Model-Based Recognition
Gene Gindi
Eric Mjolsness
P. Anandan
May 1990

YALEU/DCS/TR791 [.pdf] Embedding Meshes into Small Boolean Cubes
Ching-Tien Ho
Lennart Johnsson
May 1990

YALEU/DCS/TR792 [.pdf] Secret Bit Transmission Using a Random Deal of Cards
Michael J. Fischer
Michael S. Paterson
Charles Rackoff
May 1990

YALEU/DCS/TR793 [.pdf] Embedding Three-Demensional Meshes in Boolean Cubes by Graph Decomposition
Ching-Tien Ho
Lennart Johnson
May 1990

YALEU/DCS/TR794 * Linda Coordination Language; Subsystem Kernal Architecture (on transputers)
Steven Ericsson Zenith
May 1990

YALEU/DCS/TR795 [.pdf] A Formal Model for Divide-and-Conquer and its Parallel Realization
Z.G. Mou
May 1990

YALEU/DCS/TR796 * A Connectionist Model of Morphogenesis
Eric Mjolsness
David H. Sharp
John Reinitz
May 1990

YALEU/DCS/TR797 [.pdf] Multiscale Optimization in Neural Nets
Eric Mjolsness
Charles Garrett
Willard L. Miranker
May 1990

YALEU/DCS/TR798 * Modularity & Concurrency through Environment- based reflection.
Suresh Jagannathan
May 1990

YALEU/DCS/TR799 [.pdf] How to Create a Failure Tolerant Disturbed System.
Jonathan Hochman
June 1990

YALEU/DCS/TR800 * Knowledge in Distributed Byzantine Environments.
Ruben Michel
June 1990

YALEU/DCS/TR801 [.pdf] The Trade off Between Processor Speed and Paralellism for Supercomputers
Min-You Wu
June 1990

YALEU/DCS/TR802 [.tex] [.pdf] On the Numerical Solution of Two-Point Boundary Value Problems II
V. Rokhlin
P. Starr
June 1990

YALEU/DCS/TR803 [.tex] [.pdf] PP is Closed Under Intersection. Suppt. by: NSF CCR-8601920
Richard Beigel
Nick Reingold
Daniel Spielman
June 1990

YALEU/DCS/TR804 [.tex] [.pdf] Randomized Algorithms for The List Update Problem.
Nick Reingold
Jeffery Westbrook
June 1990

YALEU/DCS/TR805 [.tex] [.pdf] Optimal Off-line Algorithms for List Update Problems.
Nick Reingold
Jeffery Westbrook
June 1990

YALEU/DCS/TR806 * A Scheme for Supporting Automatic Data Migration on Multicomputers
S. Mirchandaney
J. Saltz
P. Mehrotra
S. Berryman
June 1990

YALEU/DCS/TR807 * Execution Time Support for Adaptive Scientific Algorithms on Distributive Memory Machines
S. Berryman
J. Saltz
J. Scroggs
June 1990

YALEU/DCS/TR808 * Real-Time Performance, Parallelism and Program Visualization in Medical Monitoring.
M. Factor
D. Gelernter
C. Kolb
P. Miller
D. Sittig
July 1990

YALEU/DCS/TR809 * Programming with Ease: Semiotic Definition of the Language
S. Ericsson Zenith
July 1990

YALEU/DCS/TR810 [.pdf] A Comparison of Three Column-based Distributed Sparse Ractorization Schemes
Cleve Ashcraft
Stanley Eisenstat
Joseph H. Liu
Andrew H. Sherman
July 1990

YALEU/DCS/TR811 [.pdf] Numerical Techniques for the Solution of the Time- dependent Schrodinger Equation and their Parallel Implementation
Faisal Saied
July 1990

YALEU/DCS/TR812 [.pdf] A Linear Time Algorithm for DNA Sequencing
David E. Foulser
July 1990

YALEU/DCS/TR813 [.tex] [.pdf] The Perceptron Strikes Back
Richard Beigel
Nick Reingold
Daniel Spielman
July 1990

YALEU/DCS/TR814 [.pdf] Sparse Representation of Smooth Linear Operators
Bradley Keith Alpert
August 1990

YALEU/DCS/TR815 * Parallel Computation and FASTA: Confronting the Problems of Parallel Data-base Search for a Fast-Sequence Comparison Algorithm
Perry Miller
Prakash Nadkarni
Nicholas Carriero
August 1990

YALEU/DCS/TR816 * Systematic Applications of Loop Transactions
Marina Chen
Lee-Chung Lu
August 1990

YALEU/DCS/TR817 * Domain Morphisms: A New Construct for Parallel Programming and Formalizing Program Optimization
Marina Chen
Young-il Choo
August 1990

YALEU/DCS/TR818 * Experience with the Process Trellis Software Architecture
Michael Factor
David Gelernter
August 1990

YALEU/DCS/TR819 [.tex] [.pdf] Improved Bounds on Coherence and Checkability
Richard Beigel
Joan Feigenbaum
September 1990

YALEU/DCS/TR820 [.pdf] Partial Evaluation in Parallel
Charles Consel
Olivier Danvy
September 1990

YALEU/DCS/TR821 * True Bigness
Michael Factor
David Gelernter
September 1990

YALEU/DCS/TR822 * A Model for Incremental Motion Estimation
Michael Black
P. Anandan
September 1990

YALEU/DCS/TR823 [.tex] On ACC
Richard Beigel
September 1990

YALEU/DCS/TR824 [.pdf] Parellel Programming Transformation Using a Metalanguage
J. Allen Yang
Young-il Choo
September 1990

YALEU/DCS/TR825 * Parellel Programming with Theory Morphisms
J. Allen Yang
Young-il Choo
September 1990

YALEU/DCS/TR826 * The Hypercomputer: A Network Process Management System
David Kaminsky
September 1990

YALEU/DCS/TR827 [.pdf] Convergence Rate Estimate for A Domain Decomposition Method
Xiao-Chuan Cai
William D. Gropp
David E. Keyes
October 1990

YALEU/DCS/TR828 [.pdf] Building Incremental Programs Using Partial Evaluation
Raman Sundaresh
October 1990

YALEU/DCS/TR829 * Automating the Coordination of Interprocessor Communication
Jinge Li
Marina Chen
October 1990

YALEU/DCS/TR830 * YALE - The Yale Automated Linda Editor
Shakil Ahmed
October 1990

YALEU/DCS/TR831 * Inside Linda
Paolo Ciancarini Consiglio
October 1990

YALEU/DCS/TR832 * The Process Trellis Software Architecture for Parallel, Real-Time Monitors
Michael E. Factor
October 1990

YALEU/DCS/TR833 * New Loop Transformation Techniques for Massive Parallelism
Lee-Chung Lu
Marina Chen
October 1990

YALEU/DCS/TR834 * Global Optimization of Interprocedural Data Movement
Marina Chen
Jan-Jan Wu
October 1990

YALEU/DCS/TR835 [.pdf] Robust Dynamic Motion Estimation Over Time
Michael J. Black
P. Anandan
November 1990

YALEU/DCS/TR836 * Compiling Inheritance using Partial Evaluation
Siau Cheng
R.S. Sundaresh
December 1990

YALEU/DCS/TR837 [.pdf] Wavelets for the Fast Solution of Second Kind Integral Equations
B. Alpert
C. Beylkin
R. Coifman
V. Rokhlin
December 1990

YALEU/DCS/TR838 [.pdf] On the Inverse Scattering Problem for the Helmholtz Equation in One Demension
Y. Chen
V. Rokhlin
December 1990

YALEU/DCS/TR839 [.tex] An Informal Operational Semantics of C-Linda V2.3.5
J. Narem Jr.
December 1990