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 Distributed 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