Yale University.  
Computer Science.  
   
     
 

Technical Reports

The following is a complete listing of research reports published by the department.

Some of the reports are out of print and unavailable from Yale. These are indicated by an asterisk * next to the title.

Some of the reports are available electronically, either with a .ps or .pdf file and will have a link to the paper. If there is a paper with no electronic version that you are interested in, please send email requesting the paper you are looking for. Be sure to list the tr number/title/authors.


Click on a year below to view reports for that year.

1970

1971

1972

1973

1974

1975

1976

1977

1978

1979

1980

1981

1982

1983

1984

1985

1986

1987

1988

1989

1990

1991

1992

1993

1994

1995

1996

1997

1998

1999

2000

2001

2002

2003

2004

2005

2006

 

 

 

 

 

 

 

 




YALE/DCS/tr001 * Multiple-track Programming
1970
Edgar Irons
YALE/DCS/tr002 * Syntax Graphs and Fast Context Free Parsing
1971
Edgar Irons

YALE/DCS/tr003 * L2-Error Bounds for the Raleigh-Bitz-Galerkin
APR/71/NA Method
Martin Schultz

YALE/DCS/tr004 * Discrete Tchebycheff Approximation for
APR/71/NA Multivariate Splines
Martin Schultz

YALE/DCS/tr005 * Error Bounds for Bivariate Cubic Interpolation
APR/71/NA
Martin Schultz

YALE/DCS/tr006 * Error Bounds for Galerkin's Method for Monotone
1971/NA Operator Equations
Martin Schultz

YALE/DCS/tr007 * New Computational Algorithms for Minimizing a
1971/NA Sum of Squares of Nonlinear Functions
Kenneth Brown
J. Dennis, Jr.

YALE/DCS/tr008 * On the Second Order of Convergence
1971/NA
Kenneth Brown

YALE/DCS/tr009 * Quadrature-Galerkin Approximations to
MAY/71/NA Solutions of Elliptic Differential
Martin Schultz Equations

YALE/DCS/tr010 * A Ritz Method for an Optimal Control Problem
MAY/71/NA
Martin Schultz

YALE/DCS/tr011 * Computational Aspects of the Finite Element Method
1972/NA
Stanley Eisenstat
Martin Schultz

YALE/DCS/tr012 * On the Rate of Convergence of the
JUL/72/NA Gergman-Vekua Method for Numerical
Stanley Eisenstat Solution of Elliptic Boundary Value


YALE/DCS/tr013 * Neighborhood Search Algorithms for Finding
1973 Optimal Traveling Salesmen Tours Must
Weiner be Inefficient
Savage
Bagchi

YALE/DCS/tr014 * Convergent Local Search
1973
Savage
Weiner
Krone

YALE/DCS/tr015 * Bicubic Interpolation Over Right Triangles
AUG/72/NA
Martin Schultz

YALE/DCS/tr016 * The File Transmission Problem
1973
Weiner
Tuttle
Problems
YALE/DCS tr017 * Linear Pattern Matching Algorithms
1973
Weiner

YALE/DCS/tr018 * An Overview of the Yale GEM System
1973 (Preliminary Version)
Weiner
Minter

YALE/DCS/tr019 * The Yale Editor "E" - A CRT-Based Text Editing
1973 System (Preliminary Version)
Weiner
Singh
Mostow
Edgar Irons

YALE/DCS/tr020 * The Complexity of Partial Differential Equations
MAY/73/NA
Stanley Eisenstat
Martin Schultz

YALE/DCS/tr021 The Complexity of Linear Approximation
MAY/73/NA Algorithms
Martin Schultz

YALE/DCS/tr022 * On Synchronization Primitive Systems
1973
Lipton

YALE/DCS/tr023 * On the Arithmetic Complexity of a Class
1973 of Arithmetic Computations
Dobkin

YALE/DCS/tr024 * Steps Toward an APL Compiler
1974
Allen Perlis

YALE/DCS/tr025 * On Some Generalizations of Binary Search
1974
Dobkin
Lipton

YALE/DCS/tr026 * Limitations of Synchronization Primitives
1974 with...
Lipton

YALE/DCS/tr027 * The Application of Sparse Matrix Methods
1974/NA to the Solution of Nonlinear Elliptic Partial
Stanley Eisenstat Differential
Martin Schultz
Sherman

YALE/DCS/tr028 * A Comparative Analysis of the Cuthill-McKee
1974/NA and Reverse Cuthill-McKee Ordering
Liu Algorithms for Sparse Matrices
Sherman

YALE/DCS/tr029 * A Real-Time Algorithm for Least Square
MAY/75/NA Splines and its Application in Computer-Aided
Stanley Eisenstat Geometric Design
John Lewis
Martin Schultz

YALE/DCS/tr030 * Reduction: A New Method of Proving
l974 Properties of Systems (Revised+ see
Lipton #40.)


YALE/DCS/tr031 * Limitations of Synchronization Primitives
1974
Lipton

YALE/DCS/tr032 * Translational Lemmas, Polynomial Time and (log n)-space
1974
Book

YALE/DCS/tr033 * Chomsky-S
1974
Book

YALE/DCS/tr034 * Multidimensional Searching Problems
1974
Dobkin
Lipton

YALE/DCS/tr035 Subroutines for Envelope Solution of
OCT/74/NA Sparse Linear Systems
Stanley Eisenstat
Sherman

YALE/DCS/tr036 * A Model for Natural Language Semantics
1974
Hobbs

YALE/DCS/tr037 * On the Optimal Parsing of Speech
1974
Lipton
Snyder

YALE/DCS/tr038 * Complexity Measures and Hierarchies for the
1974 Evaluation of Integers, Polynomials, and
Lipton N-linear Forms
Dobkin

YALE/DCS/tr039 * The Role of Memory in Language Processing
1975/AI
Roger Schank

YALE/DCS/tr040 * Reduction: A Method for Proving Properties
1975 of Parallel Programs (revision of #30)
Lipton

YALE/DCS/tr041 * The Complexity of Control Structures and Data
1975 Structures
Lipton
Stanley Eisenstat
DeMillo

YALE/DCS/tr042 * On the Complexity of Computations Under
1975 Varying Sets of Primitives
Dobkin
Lipton

YALE/DCS/tr043 * SAM -- A Story Understander
AUG/75/AI
Roger Schank

YALE/DCS/tr044 * LGS: A Lexical Analyzer Generator
1975
Wick

YALE/DCS/tr045 * PGS: A Parser Generator
1975
Wick

YALE/DCS/RR/046 * On the Efficient Solution of Sparse Systems
1975/NA of Linear and Nonlinear Equations
Sherman

YALE/DCS/tr047 * Application of Sparse Matrix Methods to Partial
1975/NA Differential Equations
Stanley Eisenstat
Martin Schultz
Sherman

YALE/DCS/tr048 * Efficient Implementation of Sparse Symmetric
1975/NA Gaussian Elimination
Stanley Eisenstat
Martin Schultz
Sherman

YALE/DCS/tr049 * Conjugate Gradient Methods for Partial
1975/NA Differential Equations
Chandra
Stanley Eisenstat
Martin Schultz

YALE/DCS/tr050 * Automatic Generation of Assemblers
1975
Wick

YALE/DCS/tr051 * Program Construction From Examples
1975
Summers

YALE/DCS/tr052 * A Non-Linear Lower Bound on Linear Search Tree
1975 Program for Solving Knapsack Problems
Dobkin

YALE/DCS/tr053 * Application of Sparse Matrix Techniques to
1975/NA Reservoir Simulation
Woo
Stanley Eisenstat
Martin Schultz
Sherman

YALE/DCS/tr054 * Applications of an Element Model for Gaussian
1975/NA Elimination
Stanley Eisenstat
Martin Schultz
Sherman

YALE/DCS/tr055 * Consideration in the Design of Software for
1975/NA Sparse Gaussian Elimination
Stanley Eisenstat
Martin Schultz
Sherman

YALE/DCS/tr056 * Subrecursive Predicates and Automata
1975
Wrathall

YALE/DCS/tr057 * Question Answering in a Story Understanding
DEC/1975/AI System
Wendy Lehnert

YALE/DCS/tr058 * TINY: A Bundled One-Chip Computer
1975
Edgar Irons

YALE/DCS/tr059 * A Constructive Generalization of the
1975 Borel-Cantelli Lemma with Application to
DeMillo the Complexity of Infinite Strings
Lipton

YALE/DCS/tr060 * Word Problems Solvable in Log Space
1975/AI
Lipton
Zalcstein

YALE/DCS/tr061 * Space & Time Hierarchies for Control Structures
1975/AI and Data Structures
Lipton
Stanley Eisenstat
DeMillo

YALE/DCS/tr062 * AMPL: A Programming Language for Manuscript
1976 Preparation Systems (Available only from
Sustman University Microfilms)

YALE/DCS/tr063 * The Reachability Problem Requires
1976 Exponential Space
Lipton

YALE/DCS/tr064 * On the Complexity of Resource Managers
1976
Snyder
Lipton

YALE/DCS/tr065 * Secure Data Bases: Protection Against
1976 User Inference
Dobkin
Jones
Lipton

YALE/DCS/tr066 * Polynomials With 0-1 Coefficients That
1976 Are Hard to Evaluate
Lipton

YALE/DCS/tr067 * Even Data Bases that Lie can be Compromised
1976
DeMillo
Dobkin
Lipton

YALE/DCS/tr068 * On the GEM System: A Progress Report
1976
Edgar Irons

YALE/DCS/tr069 * On the Complexity of Linear Programming
1976
Reiss
Dobkin

YALE/DCS/tr070 * A Lower Bound of 1/2n2 on Linear Search Programs
1976 for the Knapsack Problem
Dobkin
Lipton

YALE/DCS/tr071 * Excursions into Geometry
1976
Dobkin
Lipton
Reiss

YALE/DCS/tr072 * A Linear Time Algorithm for Deciding
1976 Subject Security
Lipton
Snyder

YALE/DCS/tr073 * A Machine Design for Efficient Implementation
1976 of APL (Duplicate of #81.)
Minter

YALE/DCS/tr074 * The Metanovel
SEPT/76/AI
James Meehan

YALE/DCS/tr075 * The Definition Mechanism for Standard PL/I
1976
Marcotty
Sayward

YALE/DCS/tr076 * A Linear Time Algorithm for Deciding
1976 Subject-Object Security (Extension of #72.)
Lipton
Snyder

YALE/DCS/tr077 * Security in Data Bases: A Combinational Study
1976
Reiss

YALE/DCS/tr078 * Comprehension by Computer: Expectation-based
OCT/76/AI Analysis of Sentences in Context
Reisbeck
Roger Schank

YALE/DCS/tr079 * New Lower Bounds for Median and Other Related
1976 Problems
Yap

YALE/DCS/tr080 * Pattern Matching and Inference in a Story-
1976/AI understanding System
Cullingford
Stutzman

YALE/DCS/tr081 * A Microprocessor Design for Efficient
1976 Implementation of A.P.L.
Minter

YALE/DCS/tr082 * Social Processes and Proofs of Theorems
1976 and Programs
DeMillo
Lipton
Allen Perlis

YALE/DCS/tr083 * On the Optimality of the Rayleigh-Ritz
DEC/76/NA Approximation
Stanley Eisenstat
Schrieber
Martin Schultz

YALE/DCS/tr084 * Research at Yale
1977/AI
Roger Schank
Yale AI Project

YALE/DCS/tr085 * On Structure Preserving Reductions
1977
Lipton
Lynch

YALE/DCS/tr086 * Specific Hard 0,1 Polynomials Over a
1977 Monotone Basis
Lipton

YALE/DCS/tr087 * The APL Idiom List
APR/77/SYS
S. Rugaber
Allen Perlis

YALE/DCS/tr088 * The Process of Question Answering
MAY/77/AI (In book form - may be ordered from publisher:
Wendy Lehnert Lawrence Erlbaum Associates)

YALE/DCS/tr089 * Notes on Parallel Computation
1977
R. Miller

YALE/DCS/tr090 * Evaluation Criteria for Process Synchronization
1977
Lipton
Snyder
Zalcstein

YALE/DCS/tr091 * The Complexity of Word and Isomorphism Problems
1977 for Finite Groups
Lipton
Snyder
Zalcstein

YALE/DCS/tr092 * Linear Time Colorings of Planar Graphs
1977
Lipton
R. Miller

YALE/DCS/tr093 * The Complexity of Searching Lines in the Plane
1977 (Preliminary version)
Dobkin
Lipton

YALE/DCS/tr094 * On the Power of Applicative Languages
1977
Lipton
Snyder

YALE/DCS/tr095 * On an Array Sorting Problem of Kosaraju
1977
Lipton
R. Miller
Snyder


YALE/DCS/tr096 * On the Complexity of Linear Search Tree Programs for
1977 Searching
Dobkin
Lipton

YALE/DCS/tr097 * On the Synthesis and Analysis of Protection
1977 Systems
Snyder

YALE/DCS/tr098 * Some Results on Maximum a Posteriori Probability
1977 Parsing Algorithms
Lipton
Levinson
Snyder

YALE/DCS/tr099 * On the Halting of Tree Replacement Systems
1977
Lipton
Snyder

YALE/DCS/tr100 * Increasing Confidence in Software Through Program
1977 Perturbations
Hanson
Lipton
Sayward


YALE/DCS/tr101 * Introduction to Linear Asynchronous Structures
1977
Lipton
R. Miller
Snyder

YALE/DCS/tr102 * On the Solvability of a Word Problem for Restricted
1977 Semigroups
Snyder

YALE/DCS/tr103 * A Linear Time Algorithm for Deciding Security
1977
James
Lipton
Snyder

YALE/DCS/tr104 * Skimming Newspaper Stories by Computer
MAY/77/AI
Gerald DeJong

YALE/DCS/tr105 * Minimal Storage Band Elimination
1977/NA
Martin Schultz
Stanley Eisenstat
Sherman

YALE/DCS/tr106 * A Minimal Space Selection Algorithm That Runs in
1977 Linear Time
Dobkin
Munro

YALE/DCS/tr107 * The Modified Conjugate Residual Method for
MAY/77/NA Partial Differential Equations
Stanley Eisenstat
Martin Schultz

YALE/DCS/tr108 * Response Time of Parallel Programs
1977
Lipton
Sayward

YALE/DCS/tr109 * Finite Element Methods for Spherically Symmetric
MAY/77/NA Elliptic Equations
Stanley Eisenstat
Schreiber
Martin Schultz

YALE/DCS/tr110 * Analyzing English Noun Groups for Their
MAY/77/AI Conceptual Content
Anatole Gershman

YALE/DCS/tr111 * Ideological belief system simulation
MAY/77/AI
Carbonell

Yale/DCS/tr112 * Yale Sparse Matrix Package
1977 I. The Symmetric Codes
Stanley Eisenstat
Gursky
Martin Schultz
Sherman

YALE/DCS/tr113 * Inverse Translation: The Theory of Practical
1977 Automatic Programming
Reiss

YALE/DCS/tr114 * Yale Sparse Matrix Package
1977 II. Nonsymmetric Codes
Stanley Eisenstat
Gursky
Martin Schultz
Sherman

YALE/DCS/tr115 * Finite Element Methods for Singular Two-point
1977 Boundry Value Problems
Schreiber

YALE/DCS/tr116 * Script Application: Computer Understanding of
JAN/78/AI Newspaper Stories
Cullingford

YALE/DCS/tr117 * Users' Guide to the Pilot Mutation System
1977
Budd
Sayward

YALE/DCS/tr118 * The Design of the Pilot Mutation System
1977
Budd
Sayward

YALE/DCS/tr119 * On the Synthesis and Analysis of Protection
1977 Systems
Snyder

YALE/DCS/tr120 * A Theoretic Approach to Automatic Programming
1977
Reiss

YALE/DCS/tr123 * Testing Ramamoorthy's Triangle Categorization
1977 Program on PIMS
Sayward

YALE/DCS/tr124 * A Comparison of Symbolic Evaluation and Mutant
1977 Analysis
Budd

YALE/DCS/tr125 * SCAN - PIM's Line Scanner
1977
Budd

YALE/DCS/tr126 * I. Inert Rights and Conspirators in the TAKE/GRANT
1977 System
Budd
Lipton II. Safety in Protection Systems

YALE/DCS/tr127 * Re: The Gettysburg Address
JAN/78/AI
Schank
Carbonell

YALE/DCS/tr128 * Representing Attitudes: Some Primitive States
JAN/78/AI
Roger Schank
Robert Wilensky
Jaime Carbonell
Janet Kolodner
James Hendler

YALE/DCS/tr129 * Conjugate Gradient Methods for Partial
JAN/78/NA Differential Equations
Chandra

YALE/DCS/tr130 * The Structure and Rank of M by P by Q Tensors:
1978 An Heuristic Approach
Laskowski
Dobkin

YALE/DCS/tr131 * Representing Physical Objects in Memory
MAY/78/AI
Wendy Lehnert

YALE/DCS/tr132 * On Idiom Recognition and Selection
1978
Snyder

YALE/DCS/tr133 * Tentative Compilation: A Design for an APL
1978 Compiler
Miller

YALE/DCS/tr134 * Time and Space Bounds for Selection Problems
1978
Dobkin
Munroe

YALE/DCS/tr135 * The Beacon Set Approach to Graph Isomorphism
1978
Lipton

YALE/DCS/tr136 * Social Processes and Proofs of Theorems and
1978 Programs
DeMillo
Lipton
Allen Perlis

YALE/DCS/tr137 * On the Use of Framed Knowledge in Language
SEPT/78/AI Comprehension
Eugene Charniak

YALE/DCS/tr138 * A New Approach to the Analysis of Algorithms
1978
Dobkin

YALE/DCS/tr139 * Micro-SAM and Micro-ELI: Exercises in Popular
SEPT/78/AI Cognitive Mechanics
Chris Riesbeck
Eugene Charniak

YALE/DCS/tr140 * Understanding Goal-based Stories
SEPT/78/AI
Robert Wilensky

YALE/DCS/tr141 * Inference in the Conceptual Dependency Paradigm:
SEPT/78/AI A Personal History
Roger Schank

YALE/DCS/tr142 * Memory Organization for Natural Language Data-base
SEPT/78/AI Inquiry
Janet Kolodner

YALE/DCS/tr143 * Integrated Partial Parsing
DEC/78/AI
Roger Schank
Michael Lebowitz
Lawrence Birnbaum

YALE/DCS/tr144 * Does a Hippie Own a Hairdrier?
1978/AI
Roger Schank
Michael Lebowitz

YALE/DCS/tr145 * Interestingness: Controlling Inferences
OCT/78/AI
Roger Schank

YALE/DCS/tr146 * Knowledge-based Machine Translation
DEC/78/AI
Jaime Carbonell
Richard Cullingford
Anatole Gershman

YALE/DCS/tr147 * Theft and Conspiracy in the Take-grant Protection
1978/AI Model
Snyder

YALE/DCS/tr148 * Spline Regression: Algorithms and Local
1978/AI Dependence
John Lewis

YALE/DCS/tr149 * Codification of Programming Knowledge: Graph
DEC/78/AI Algorithms
David Barstow

YALE/DCS/tr150 * Subjective Understanding: Computer Models
JAN/79/AI of Belief Systems
Jaime Carbonell

YALE/DCS/tr151 * Formal Models of Capability-based Protection
1978 Systems
Snyder

YALE/DCS/tr152 * Software for Sparse Gaussian Elimination
1978/NA With Limited Core Storage
Stanley Eisenstat
Martin Schultz
Sherman

YALE/DCS/tr153 * On Uniquely Represented Data Structures
1979
Snyder

YALE/DCS/tr154 * Scheduling Processes Without a Common Scheduler
1979
Holober
Snyder

YALE/DCS/tr155 * Mutation Analysis
1979
Budd
Lipton
DeMillo
Sayward

YALE/DCS/tr156 * Knowledge-based Parsing
APR/79/AI
Anatole Gershman

YALE/DCS/tr157 * Text Processing Effects and Recall Memory
MAY/79/AI
Wendy Lehnert

YALE/DCS/tr158 * Skimming Stories in Real Time: An Experiment in
MAY/79/AI Integrated Understanding
Gerald DeJong

YALE/DCS/tr159 * Retrieving Information from an Episodic
JAN/79/AI Memory, or Why Computer Memories Should Be
Roger Schank More Like People
Janet Kolodner

YALE/DCS/tr160 * The Conceptual Content of Conversation
1979/AI
Roger Schank
Wendy Lehnert

YALE/DCS/tr161 * Heuristics for Determining Equivalence
1979 of Program Mutation
Baldwin
Sayward

YALE/DCS/tr162 * The Role of Object Primitives in Natural
MAY/79/AI Language Processing
Wendy Lehnert
Mark Burstein

YALE/DCS/tr163 * An Overview of the Yale GEM System
1979
Levine

YALE/DCS/tr164 * An Evaluation of Pagodas
1979
Peter Nix

YALE/DCS/tr165 * Testing Bradley's Greatest Divisor
1979 Program on EXPER
Hess
Sayward

YALE/DCS/tr166 * The Transfer of Information and Authority
1979 in a Protection System
Snyder
Bishop

YALE/DCS/tr167 * Time- and Space-optimimality in B-trees
1979
Snyder
Rosenberg

YALE/DCS/tr168 * Problems in Conceptual Analysis of Natural
OCT/79/AI Language
Lawrence Birnbaum
Selfridge

YALE/DCS/tr169 * A UNIX Shell
1979
Ellis

YALE/DCS/tr170 * Reminding and Memory Organization: An
DEC/79/AI Introduction to MOPs
Roger Schank

YALE/DCS/tr171 * Adaptive Understanding: Correcting Erroneous
JAN/80/AI Inferences (Ph.d. thesis)
Richard Granger, Jr.

YALE/DCS/tr172 * Model of Children's Language of Compilers
JAN//80/AI
Mallory Selfridge

YALE/DCS/tr173 * Spatial Inferences with Ground, Metric
JAN/80/AI Formulas on Simple Objects
Drew McDermott

YALE/DCS/tr174 * Non Monotonic Logic II: Non Monotonic Modal
FEB/80/AI Theories
Drew McDermott

YALE/DCS/tr175 * Memory Organization and Search Processes for
APR/80/AI for Narratives
Michael Dyer
Wendy Lehnert

YALE/DCS/tr176 * Tree Organized Processor Structure,
Snyder A VLSI Parallel Processor Design

YALE/DCS/tr177 * On Convergence Towards Data Base of
APR/80/AI Programming Rules
David Barstow

YALE/DCS/tr178 * The Role of Knowledge an Deduction
APR/80/AI in Algorithm Creation
David Barstow

Yale/DCS/tr179 * Affect Analysis and Narrative Summarization
MAY/80/AI
Wendy Lehnert

YALE/DCS/tr180 * Error Programs and Test Data for Life-
Budd Cycle Experiments
Hess
Sayward

YALE/DCS/tr181 * A Survey of Synchronization Design
Holober

YALE/DCS/tr182 * Draft Version of the Softwave Metrics
Allan Perlis Panel's Final Report
Sayward
Shaw and eds.

YALE/DCS/tr183 * VEGE: Variable Processing in a Natural
APR/80/AI Language System
Wendy Lehnert
William Bain

YALE/DCS/tr184 A Finite Solution of a Reduced Fokker-Planck
AUG/80/NA Equation
D. Fyfe
Alan Weiser
I. Bernstein
Stanley Eisenstat
Martin Schultz

YALE/DCS/tr185 * Efficient Implementation of a Class of
AUG/80/NA Precondition Conjugate Methods
Stanley Eisenstat

YALE/DCS/tr186 * Generalization and Memory in an Integrated
OCT/80/AI Understanding System
Michael Lebowitz

YALE/DCS/tr187 * Retrieval and Organizational Strategies for
NOV/80/AI Conceptual Memory: A Computer Memory
Janet Kolodner

YALE/DCS/tr188 * BORIS: A Progress Report
JAN/81/AI
Wendy Lehnert
Dyer
Harley
Young
Johnson

YALE/DCS/tr189 * Memory, Meaning and Syntax
NOV/80/AI
Roger Schank
Lawrence Birnbaum

YALE/DCS/tr190 * Conceptual Information Retrieval
DEC/80/AI
Roger Schank
Janet Kolodner
Gerald DeJong

YALE/DCS/tr191 * Multiple Context Shells
JAN/81/AI
J.R. Ellis

YALE/DCS/tr192 * Inductive Inference Theories from Facts
FEB/81/TH
Ehud Shapiro

YALE/DCS/tr193 * Organizing Spatial Knowledge
JAN/81/AI
Ernest Davis

YALE/DCS/tr194 On Some Trends in Elliptical Problem
FEB/81/NA Solvers
Stanley Eisenstat
Martin Schultz

YALE/DCS/tr195 * Finding Objects with Given Spatial
MAR/81/AI Properties
Drew McDermott

YALE/DCS/tr196 * A Temporal Logic for Reasoning about
MAR/81/AI Processes and Plans
Drew McDermott

YALE/DCS/tr197 * Arc-length Continuation and Multi-grid
MAR/81/NA Techniques for Non-linear Elliptic
Tony Chan Eigenvalue Problems
H. Keller

YALE/DCS/tr198 * Numerical Computation of Large Amplitude
MAR/81/NA Internal Solitary Waves
Tony Chan

YALE/DCS/tr199 * Analysis of Multi-level Inverse Iteration
DEC/80/NA Process Eigenvalue Problems
Randolph Bank

YALE/DCS/tr200 * Steps Toward Efficiently Implementing
Sayward Program Mutation Systems: The High
Lipton Level Design of a Distributed Mutation


YALE/DCS/tr201 * Secondary Storage Methods for Solving
APR/81/NA Symmetric, Positive Definite, Bonded
Richard Perry Linear Systems

YALE/DCS/tr202 * Analysis of a Multi-level Iterative
MAR/81/NA Method for Non-linear Finite Element
Randolph Bank Equation

YALE/DCS/tr203 * Preconditioned Conjugate-Gradient Methods
APR/81/NA for Non-Symmetric Systems of Linear
Howard Elman Equations

YALE/DCS/tr204 Optimal Block Diagonal Scaling of
APR/81/NA Block 2-Cyclic Matrices
Stanley Eisenstat
Martin Schultz
John Lewis

YALE/DCS/tr205 * What's the Point
MAY/81/AI
System
Gregg Collins
Ernest Davis
Peter Johnson
Steve Lytinen
Brian Reiser

YALE/DCS/tr206 * MAGPIE: A Goal-Based Model of Conversation
MAY/81/AI
Johnson
Peter Johnson
Scott Robertson

YALE/DCS/tr207 The Order of Monotone Piecewise Cubic
AUG/81/NA Interpolation
Stanley Eisenstat
K. Jackson
John Lewis

YALE/DCS/tr208 * Alternating-Direction Incomplete
AUG/81/NA Factorizations
Tony Chan
K. Jackson
Benren Zhu

YALE/DCS/tr209 Variational Iterative Methods for
AUG/81/NA Non-symmetric Systems of Linear Equations
Stanley Eisenstat
Martin Schultz
Howard Elman

YALE/DCS/tr210 * The Positive Solution of a Certain Non-linear
SEPT/81/NA Parabolic System and it's Computation I
Benren Zhu

YALE/DCS/tr211 * Stability of High Order Difference Equations
SEPT/81/NA and its Algebraic Survey
Benren Zhu

YALE/DCS/tr212 * Iterative Solution of Large Symmetric
OCT/81/NA Indefinite Systems by Methods using Orthogonal
Youcef Saad Polynomials over Two Disjointed Intervals

YALE/DCS/tr213 * Local-Mesh, Local-Order, Adaptive Finite
DEC/81/NA Element Methods with A Posteriori Error
Alan Weiser Estimators for Elliptic Partial Differential


YALE/DCS/tr214 * Practical Use of Some Krylov Subspace
JAN/82/NA Methods for Solving Indefinite and
Youcef Saad Unsymmetric Linear Systems

YALE/DCS/tr215 * Adaptive Semi-Linear Numerical Methods for
SEPT/82/NA Solving Linear & Semi-Linear Differential
Jiachang Sun Equations wiith Singularity 1. Initial Value
Kenneth Jackson Problem of Ordinaru Differential Equations


YALE/DCS/tr216 II Difference Scheme for Singular Perturbation
MAY/82/NA of Two Point Boundary Value Problem
Jiachang Sun
Martin Schultz

YALE/DCS/tr217 * A Petrov-Galerkin Method on Nonlinear
JUN/82/NA Subsets and its application to a
Jiachang Sun Singular Perturbed Bondary value Problem

YALE/DCS/tr218 * What do novices know about Programming?
JAN/82/AI
Elliot Soloway
Kate Ehrlich
Jeffrey Bonar
Judith Greenspan

YALE/DCS/tr219 * In-Depth Understanding: A Computer Model of
MAY/82/AI Integrated Processing for Narrative Comprehension
Michael Dyer

YALE/DCS/tr220 * Modeling Memory for Languange Understanding
FEB/82/AI w/ Significant First Derivatives
Roger Schank
Mark Burstein

YALE/DCS/tr221 Sacrificing Serializability to Attain
FEB/85/TH High Availability of Data in an
Michael Fischer Unreliable Network
Alan Michael

YALE/DCS/tr222 * Algorithms for Computing the Sample
MAY/82/NA Variance: Analysis and Recommendations
Tony Chan
Gene Golub
Randall LeVeque

YALE/DCS/tr223 Multi-Grid Algorithms for Elliptic
MAY/82/NA Boundary-Value Problems
Craig Douglas

YALE/DCS/tr224 * Projection Methods for Solving Large Sparse
APR/82/NA Eigenvalue Problems
Youcef Saad

YALE/DCS/tr225 * Deflated Decomposition of Solutions of
MAR/82/NA Nearly Singular Systems
Tony Chan

YALE/DCS/tr226 * Deflation Techniques & Block-Elimination
MAR/82/NA Algorithms for Solving Bordered
Tony Chan Singular Systems.

YALE/DCS/tr227 * On the Existence and Computation of
MAR/82/NA LU-factorizations with Small Pivots
Tony Chan

YALE/DCS/tr228 * A Note on the Generalized Conjucate
MAR/82/NA Gradient Method
Stanley Eisenstat

YALE/DCS/tr229 * Iterative Methods for Large Sparse non-Semetric
APR/82/NA Systems of Linear Equation
Howard Elman

YALE/DCS/tr230 * Z - the 95% Program Editor
Wood

YALE/DCS/tr231 * A Bliss Programming Environment
Ellis
Mishkin
Nix
Wood

YALE/DCS/tr232 * Tools: A Systems Programming Environment
Ellis
Mishkin
Van Leunen
Wood

YALE/DCS/tr233 * Newton-Like Pseudo-Arclength Methods
APR/82/NA for Computing Simple Turning Points
Tony Chan

YALE/DCS/tr234 * Representation & Translation
MAY/82/AI
Roger Schank
Steve Lytinen

YALE/DCS/tr235 * Iterative Methods for Solving Bordered Systems
MAY/82/NA with Applications to Continuation Methods
Tony Chan
Youcef Saad

YALE/DCS/tr236 * An Empirical Investigation of the Tacit Plan
APR/82/AI Knowledge in Programming
Kate Ehrlich
Elliot Soloway

YALE/DCS/tr237 * Algorithmic Program De-Bugging
Ehud Shapiro

YALE/DCS/tr238 * A Comparison of Some Elliptic Solners on
Tony Chan General Two-Dimensional Regions
Faisal Saied
(See #263)

YALE/DCS/tr239 * Alternation & Computational Complexity of
JUN/82/TH Logic Programs
Ehud Shapiro

YALE/DCS/tr240 * Uncovering Principles of Novice Programming
NOV/82/AI
Jeffrey Bonar
Elliot Soloway

YALE/DCS/tr241 * Computer Systems Architecture at Yale: the
JUL/82/SYS Enormous Longword Instruction (ELI) Machine
J. Fisher Progress and Research Plans

YALE/DCS/tr242 * Cognitive Strategies and Looping Constructs:
JUL/82/AI An Empirical Study
Elliot Soloway
Jeffrey Bonar
Kate Ehrlich

YALE/DCS/tr243 Lecture Notes on the Complexity of Some Problems
AUG/82/TH in Number Theory
Dana Angluin

YALE/DCS/tr244 Some Observations on the Generalized Conjugate
SEPT/82/NA Gradient Method
Stanley Eisenstat

YALE/DCS/tr245 * Impossibility of Distributed Consensus with One
SEP/85/TH Faulty Process
Michael Fischer
Nancy Lynch
Michael Paterson

YALE/DCS/tr246 * Generation of Japanese Sentences from Conceptual
Ishizaki Representation: Inference Using Memory
Steven Lytinen Organization Packets
Littleboy

YALE/DCS/tr247 * Multi-Grid Algorithms with Applications to
1983/NA Elliptic Boundary-Value Problems
Craig Douglas

YALE/DCS/tr248 * A Multi-Grid Optimal Order Solver for Elliptic
Craig Douglas Boundary-Value Problems

YALE/DCS/tr249 * Approximation Algorithms for Steiner Tree
Sullivan Problems

YALE/DCS/tr250 A Survey of Inductive Inference: Theory and
SEP/83/TH Methods
Dana Angluin
Carl Smith

YALE/DCS/tr251 * Storage Requirements for Fair Scheduling
OCT/82/TH
Michael Fischer
Michael Paterson

YALE/DCS/tr252 * Finding a Majority Among N=Votes
OCT/82/TH
Michael Fischer
Steven Salzberg

YALE/DCS/tr253 * Very Long Instruction Word Architecture and the
APR/83/SYS ELI-512
J. Fisher

YALE/DCS/tr254 Chebysher Acceleration for Nonsymmetric
AUG/83/NA Eigenvalue Algorithms
Youcef Saad
Martin Schultz

YALE/DCS/tr255 * Conjugate Gradient-like Algorithms for Solving
JUN/83/NA Nonsymetric Linear Systems
Youcef Saad

YALE/DCS/tr256 * Carrier Array: An Extension to APL
MAY/83/SYS
P.G. Lowney

YALE/DCS/tr257 * Transfer Effects from Programming to Algebra
DEC/82/AI Word Problems: a Preliminary Study
Kate Ehrlich
Elliot Soloway
Valerie Abbott

YALE/DCS/tr258 * MENO-II: An AI-Based Programming Tutor
DEC/82/AI
Elliot Soloway
Eric Rubin
Beverly Woolf
Jeffrey Bonar
W. Lewis Johnson

YALE/DCS/tr259 * Nonlinearly-preconditioned Krylov Subspace
JAN/83/NA Methods for Discrete Newton Algorithms
Tony Chan
K. Jackson

YALE/DCS/tr260 * Stability Analysis of Finite Difference
APR/84/NA Schemes for the Advector-Difference Equation
Tony Chan

YALE/DCS/tr261 * PLTMGC: A Multi-grid Continuation Program
DEC/83/NA Package for Solving Parametrized Nonlinear
Tony Chan Elliptic Systems
Randolph Bank

YALE/DCS/tr262 * Systolic Architecture for Multi-Grid Algorithms
SEPT/83/NA
Tony Chan
R. Schreiber

YALE/DCS/tr263 * A Comparison of Elliptic Solvers for General
MAR/83/NA Two-Dimensional Regions
Tony Chan
Faisal Saied
(See #238)

YALE/DCS/tr264 * Scheduling Heuristics for Problem Solvers
APR/83/AI
David Miller

YALE/DCS/tr265 * The (New) Yale Sparse Matrix Package
APR/83/NA
Stanley Eisenstat
Howard Elman
Martin Schultz
Andrew Sherman

YALE/DCS/tr266 * Iterative Methods for Non-Self-Adjoint
APR/83/NA Elliptic Problems
Howard Elman

YALE/DCS/tr267 * Design and Use of the Yale Digital Simulator
MAY/83/SYS
Doug Baldwin
Richard Kelsey
John Ruttenberg
J. Fisher
J. Ellis

YALE/DCS/tr268 Distributed Graph Marking
JAN/83/SYS-NA
Paul Hudak

YALE/DCS/tr269 * Squeezing the most out of an Algorithm in Cray
MAY/83/NA Fortran
Jack Dongarra
Stanley Eisenstat

YALE/DCS/tr270 * Knowledge Reorganization & Reasoning Style
JUN/83/AI
Christopher Riesbeck

YALE/DCS/tr271 * Expert Systems & Diagnostic Monitors
NOV/83/SYS
David Gelernter

YALE/DCS/tr272 Solving Elliptic Problems on an Array Processor
JUN/83/NA System
Martin Schultz

YALE/DCS/tr273 * The Consensus Problem in Unreliable Distributed
JUN/83/TH Systems (A Brief Survey)
Michael Fischer

YALE/DCS/tr274 The Nisp Manual
JUN/83/AI
Drew McDermott

YALE/DCS/tr275 Abstract Multi-grid with Applications to
AUG/84/NA Elliptic Boundary-Value Problems
Craig Douglas
Youcef Saad

YALE/DCS/tr276 Least Squares Polynomials in the Complex Plane
AUG/84/NA with Applications to Solving Sparse
Youcef Saad Nonsymmetric Matrix Problems

YALE/DCS/tr277 Sharp Estimates for the Multigrid Rates of
Randolph Bank Convergence with General Smoothing and
Craig Douglas Acceleration

YALE/DCS/tr278 Local Uniform Mesh Refinement for Elliptic
JUL/83/NA Partial Differential Eauations
William Gropp

YALE/DCS/tr279 Analysis of an Implicit Finite Difference
JUL/83/NA Solution to an Underwater Wave Propagation
D.F. St. Mary Problem
Ding Lee

YALE/DCS/tr280 * Editing by Example
AUG/83/TH
Robert Nix

YALE/DCS/tr281 Large-scale Separation and Wake Closure/
AUG/83/NA Reattachment -- The Cascade Problem
F.T. Smith

YALE/DCS/tr282 Practical use of Polynomial preconditioning for
JUL/84/NA the conjugate gradient method
Youcef Saad

YALE/DCS/tr283 Conugate Gradient Like Methods for Solving
AUG/83/NA Nonsymmetric Linear Systems
Youcef Saad
Martin Schultz

YALE/DCS/tr284 * Classifying Bugs is a Tricky Business
AUG/83/AI
W. Lewis Johnson
Stephen Draper
Elliot Soloway

YALE/DCS/tr285 * PROUST: Knowledge-Based Program Understanding
AUG/83/AI
W. Lewis Johnson
Elliot Soloway

YALE/DCS/tr286 * Bug Catalogue: I
OCT/83/AI
W. Lewis Johnson
Elliot Soloway
Benjamin Cutler
Steven Draper

YALE/DCS/tr287 Preconditioning by Fast Direct Methods for Non-self-
DEC/83/NA Adjoint Nonseperable Elliptic Equations
Howard Elman
Martin Schultz

YALE/DCS/tr288 Provable Security of Cryptosystems: A Survey
OCT/83/TH
Dana Angluin

YALE/DCS/tr289 * Time Map Maintenance
OCT/83/AI
Thomas Dean

YALE/DCS/tr290 * Understanding Node Cover Approximations, Weighted and
1983/TH Unweighted
Dan Gusfield
Leonard Pitt

YALE/DCS/tr291 Singular Value Computations With Systolic Arrays
NOV/83/NA
Ilse Ipsen

YALEU/DCS/tr292 Representing and Acquiring Geographic Knowledge
JAN/84/AI
Ernnest Davis

YALE/DCS/tr293 Solving the Poisson Equation on the FPS-164
NOV/83/NA
Susan O'Donnell
Peter Geiger
Martin Schultz

YALE/DCS/tr294 Generative Communications in Linda
NOV/83/SYS Y
David Gelernter

YALE/DCS/tr295 * Fourier Methods with Extended Stability Intervals
DEC/83/NA for the Korteweg-de Vries Equation
Tony Chan
Tom Kerkhoven

YALE/DCS/tr296 * Qualitative and Quantitative Temporal Reasoning
DEC/83/AI
Stanley Letovsky

YALE/DCS/tr297 * Techniques for Large Sparse Systems Arising from
DEC/83/NA Continuation Methods
Tony Chan

YALE/DCS/tr298 * VLIW Machines: Multiprocessors We Can Actually Program
JAN/84/SYS
J. Fisher
J. O'Donnell

YALE/DCS/tr299 * A Parallel QR Method Using Fast Givens Rotations
JAN/84/NA
Ilse Ipsen

YALE/DCS/tr300 * An Approximate Newton Method for Coupled Non-Linear
JUN/84/NA Systems
Tony Chan

YALE/DCS/tr301 * A Hybrid Chebyshev Krylov Subspace Algorithm for Solv-
FEB/84/NA ing Nonsymmetric Systems of Linear Equations
Howard Elman
Youcef Saad
Paul Saylor

YALE/DCS/tr302 * On the Minimization of Quadratic Functions Subject to
SEPT/84/NA Box Constraints
Ron Dembo
Ulrich Tulowitzki

YALE/DCS/tr303 * A Convergent Framework for Constrained Non-Linear
JAN/84/NA Optimization
Ron Dembo
Siddhartha Sahi

YALE/DCS/tr304 * A Primal Truncated Newton Algorithm with Application to
MAR/83/NA Large-Scale Non-Linear Network Optimization
Ron Dembo

YALE/DCS/tr305 * Stable Explicit Schemes for Equations of the
MAR/84/NA Schrodinger Type
Tony Chan
Ding Lee
Long-jun Shen

YALE/DCS/tr306 * A Polynomial Time Algorithm for Fault Diagnosability
1984/TH
Sullivan, G.

YALE/DCS/tr307 * The Explanation Game
MAR/84/AI
Roger Schank

YALE/DCS/tr308 * Understanding Approximations for Node
APR/84/AI Cover and Other Subset Selection Problems
James Spohrer
Chris Riesbeck

YALE/DCS/tr309 * Preconditioned Iterative Methods for Nonselfadjoint
MAR/84/NA or Indefinite Elliptic Boundary Value Problems
James Bramble
Joseph Pasciak

YALE/DCS/tr310 * The Parallel Scaled Givens Rotations for the Solution
MAR/84/NA of Linear Least Squares Problems.
Jessie Barlow
Ilse Ipsen

YALE/DCS/tr311 * A High Performance Bulk Memory System
MAR/84/NA
William Gropp
John O'Donnell
Susan O'Donnell
Martin Schultz
Brian Weston

YALE/DCS/tr312 * The Use of Iterative Linear-Equation Solvers and
APR/84/NA Codes for Large Systems of Stiff IVPs for ODEs
Tony Chan
K. Jackson

YALE/DCS/tr313 * Local Uniform Mesh Refinement with Moving Grids
APR/84/NA
William Gropp

YALE/DCS/tr314 * On the Efficiency of Probabilistic Primality Tests
APR/84/TH
Evangelos Kranakis

YALE/DCS/tr315 * A Stable Explicit Scheme for the Ocean Acoustic
MAR/84/NA Wave Equation
Tony Chan
Long-jun Shen
Ding Lee

YALE/DCS/tr316 * A Class of Cryptosystems Equivalent to RSA
APR/84/TH
Evangelos Kranakis

YALE/DCS/tr317 Distributed Applicative Processing Systems: Project
MAY/84/SYS Goals, Motivation, and Status Report
Paul Hudak

YALE/DCS/tr318 * TBA
1984/AI
S. Ishizaki
C. Huang
L. Danlos
C. Turk

YALE/DCS/tr319 * A Characterization of Probabilistic Inference
JUL/84/TH
Leonard Pitt

YALE/DCS/tr320 * Difference Schemes for Equations of Schrodinger
JUN/84/NA Type
Tony Chan
Long-jun Shen

YALE/DCS/tr321 * Convergence of SIP
1984/NA
Pei-xian Chen

YALE/DCS/tr322 ALFL Reference Manual and Programmers Guide
OCT/84/SYS Z
Paul Hudak

YALE/DCS/tr323 An Efficient Implementation of the SSOR and ILU
1984/NA Preconditlonings for Conjugate Gradient Iteration
Randolph Bank
Craig Douglas

YALE/DCS/tr324 * Toward a Model of Subjective Interpretation
JUL/84/AI
William Bain

YALE/DCS/tr325 * A Methodology for Hierarchical Simulation of VLSI
JAN/84/SYS X Systems
Marina Chen

YALE/DCS/tr326 A Graph Theoretic Approach to Statistical Data
AUG/84/TH Security
Dan Gusfield

YALE/DCS/tr327 * Optimal Mixed Graph Augmentation
AUG/84/TH
Dan Gusfield

YALE/DCS/tr328 * A Modular Approach for Coupled Nonlinear Systems
SEPT/84/NA
Tony Chan

YALE/DCS/tr329 * Difference Schemes for the Parabolic Wave Equation
DEC/84/NA in Ocean Acoustics
Tony Chan
Ding Lee
Long-jun Shen

YALE/DCS/tr330 * Explanation: A First Pass
AUG/84/AI
Roger Schank

YALE/DCS/tr331 * Theoretical Aspects of the Security
SEPT/84/TH of Public Key Cryptography
Evangelos Kranakis

YALE/DCS/tr332 * The Steiner Tree Problem in Phylogeny
SEPT/84/TH
Dan Gusfield


YALE/DCS/tr333 * Fishspear: A Priority Queue Algorithm
SEPT/84/TH (Extended Abstract)
Michael Fischer
Michael Paterson

YALE/DCS/tr334 * A Synthesis Method for Systolic Arrays
JAN/85/SYS X with Space-time Variant, Data Independent Flow
Marina Chen

YALE/DCS/tr335 * Improving the Condition of Nearly Singular
DEC/84/NA Matrices by Rank-1 Modification
Tony Chan
Diana Resasco

YALE/DCS/tr336 * DBEPACK: A Program Package for Solving Bordered
AUG/84/NA Singular Systems
Tony Chan
Thomas Grossi

YALE/DCS/tr337 * Generalized Deflated Block Elimination
FEB/85/NA
Tony Chan
Diana Resasco

YALE/DCS/tr338 * Managing Permanent Objects
NOV/84/SYS
Nathaniel Mishkin

YALE/DCS/tr339 * Odd-Even Cyclic Reduction on Ensemble Architectures and
OCT/84/SYS X the Solution of Tridiagonal Systems of Equations.
Lennart Johnsson

YALE/DCS/tr340 * The Organization of Knowledge In a Multi-lingual,
NOV/84/AI Integrated Parser
Steven Leo Lytinen

YALE/DCS/tr341 Efficient Parallel Solution of Linear Systems
NOV/84/NA with Hyperbolic Rotations
Jean-Marc Delosme
Ilse Ipsen

YALE/DCS/tr342 A Model of Software Design
OCT/84/AI
Elliot Soloway
Beth Adelson

YALE/DCS/tr343 * Narrow and Wide Banded rystems Solvers
NOV/84/SYS for Ensemble Architechures
Lennart Johnsson

YALE/DCS/tr344 * Automatic Evaluation of Design Choices
DEC/84/SYS in Digital Controller Systhesis
Douglas Baldwin

YALE/DCS/tr345 Primality Tests
DEC/84/TH
Evangelos Kranakis

YALE/DCS/tr346 Block-Preconditioned Conjugate Gradient-Like
1984/NA Methods for Numerical Reservior Simulation
Stanley Eisenstat
Howard Elman
Martin Schultz

YALE/DCS/tr347 On the Condition Number of Modified Moment
1984/NA Matrices Arising from Least Quares Approximation
Youcef Saad in the Complex Plane

YALE/DCS/tr348 Communication Complexity of the Gaussian Elimination
1984/NA Algorithm on Multiprocessors
Youcef Saad

YALE/DCS/tr349 Complexity of Dense Linear System Solution on a
1984/NA Multiprocessor Ring
Ilse Ipsen
Youcef Saad
Martin Schultz

YALE/DCS/tr350 On the Choice of Coordinates for Semiconductor
1984/NA Simulation
Thomas Kerkhoven

YALE/DCS/tr351 Indexing and Causality: The Organization of
DEC/82/AI Plans and Strategies in Memory
Kristian Hammond

YALE/DCS/tr352 * Local Uniform Mesh Refinement on Loosely-coupled
1984/NA Parallel Processors
William Gropp

YALE/DCS/tr353 Symmetric Programming Languages
DEC/85/SYS Y
David Gelernter

YALE/DCS/tr354 Direct Memory Access Parsing
DEC/84/AI
Christopher Riesbeck
Charles Martin

YALE/DCS/tr355 * Relational Queries Computable in
1985/TH Polynomial Time
Neil Immerman

YALE/DCS/tr356 Fast Algorithms for Bipartite flow
JAN/85/TH
Daniel Gusfield
Charles Martel
David Fernandez

YALE/DCS/tr357 An Incremental Multigrid Strategy for the
JAN/85/NA Fluid Dynamics Equations
Michele Napolitano

YALE/DCS/tr358 High Re Separated Flow Solutions Using the
JAN/85/NA Navier-Strokes and Approximate Equations
Michele Napolitano

YALE/DCS/tr359 Parallel Programming in Linda
JAN/85/SYS Y
David Gelernter

YALE/DCS/tr360 Future High performance Computation: The Megaflop
JAN/85/SYS X per Dollar Alternative'
Lennart Johnsson

YALE/DCS/tr361 Communication Efficient Matrix Operations on a
JAN/85/SYS X Torus and a Boolean Cube
Lennart Johnsson

YALE/DCS/tr362 A New List Compaction Method
FEB/85/SYS Z
Kai Li
Paul Hudak

YALE/DCS/tr363 Multiple Array Processors for Ocean
FEB/85/NA Acoustic Problems
Martin Schultz

YALE/DCS/tr364 * Bulldog: A compiler for VLIW Architectures
FEB/85/SYS
John Ellis

YALE/DCS/tr365 A Stability Analysis of Incomplete LU
FEB/85/NA Factorizations
Howard Elman

YALE/DCS/tr366 On the dependence of the covergence of
MAR/85/NA Gummel's Algorithm on the Regularity of
Thomas Kerkhoven the Solution

YALE/DCS/tr367 Data Permutations and Basic Linear Alegebra
FEB/85/SYS X Computations on Ensemble Architectures
Lennart Johnsson

YALE/DCS/tr368 Multigrid Algorithms on the Hypercube Multiprocessor
FEB/85/NA
Tony Chan
Youcef Saad

YALE/DCS/tr369 Reasoning About Access to Equipment
FEB/85/AI
Erik Urdang

YALE/DCS/tr370 Efficient Systolic Arrays for the Solution of
1985/NA Toeplitz Systems: An Illustration of a Methodology
Jean-Marc Delosme for the Construction of Systolic Architectures
Ilse Ipsen in VLSI

YALE/DCS/tr371 * Parallel Programming and Algorithm Synthesis
MAR/85/SYS Using Recursion Equations and First Order
Marina Chen

YALE/DCS/tr372 Fairing of Biased Coins in Bounded Time
MAR/85/TH
Josh Cohen

YALE/DCS/tr373 Solving Eliptic Partial Differential Equations
MAR/85/NA on the Hypercube Multiprocessor
Tony Chan
Faisal Saied
Martin Schultz

YALE/DCS/tr374 Synthesizing Systolic Designs
MAR/85/SYS
Marina Chen

YALE/DCS/tr375 * Parallelism, Memory Anti-Aiasing
MAR/85/SYS and Correctness for Trace Scheduling Compilers
Alex Nicolau

YALE/DCS/tr376 Inductive Inference by Refinement
NOV/85/TH
Philip Laird

YALE/DCS/tr377 Dense Matrix Operations on a Torus
MAR/85/SYS X and a Boolean Cube
Lennart Johnsson

YALE/DCS/tr378 Automatic Generation of Layouts from
MAR/85/SYS X Circut Schematics
Lennart Johnsson

YALE/DCS/tr379 Banded Systems Solvers for Ensemble
MAR/85/SYS X Architectures
Lennart Johnsson

YALE/DCS/tr380 Polynomial Interation for Nonsymmetric
MAR/85/NA Indefinite Linear Systems
Howard Elman
Roy Streit

YALE/DCS/tr381 Alternating Direction Methods on Multiprocessors
APR/85/SYS X
Lennnart Johnsson
Youcef Saad
Martin Schultz

YALE/DCS/tr382 Alternating Direction on Multiprocessors: An
APR/85/SYS-NA Extended Abstract
Youcef Saad
Martin Schultz

YALE/DCS/tr383 The S/NET's Linda Kernel
MAR/85/SYS Y
Nicholas Carriero
David Gelernter

YALE/DCS/tr384 Explanation: A Second Pass
APR/85/AI
Roger C. Schank
Christopher Riesbeck

YALE/DCS/tr385 Questions and Thought
APR/85/AI
Roger C. Schank

YALE/DCS/tr386 Bug Catalogue 2,3,4.
MAY/85/AI
James Spohrer
Edgar Pope
Michael Lipman
Warren Sack
Scott Freiman
David Littman
W. Lewis Johnson
Elliot Soloway

YALE/DCS/tr387 Parallel Direct Methods for Solving Banded Linear
AUG/85/NA Systems
Youcef Saad
Martin H. Schultz

YALE/DCS/tr388 Band Matrix Systems Solvers on Ensemble Architecture.
MAY/85/SYS
Lennart Johnson

YALE/DCS/tr389 Topological Properties of Hyercubes
APR/85/NA
Youcef Saad
Martin H. Schultz

YALE/DCS/tr390 Para-Functional Programming: A Paradigm for Programming
MAY/85/SYS Multiprocessor Systems
Paul Hudak
Lauren Smith

YALE/DCS/tr391 * A Set-Theoretic Characterization of Function Strictness
MAY/85/SYS Z in the Lambda Calculus.
Pual Hudak
Jonathan Young

YALE/DCS/tr392 A Goal/Plan Analysis of Buggy Pascal Programs
MAY/85/AI
James Spohrer
Elliot Soloway
Edgar Pope

YALE/DCS/tr393 Relational Quirie Computable in Polynomial Time
MAY/85/TH
Neil Immerman

YALE/DCS/tr394 Primality and Cryptography
MAY/85/TH
Evangelos Kranakis

YALE/DCS/tr395 Intention-Based Diagnosis of Errors in Novice Programs
MAY/85/AI
William Lewis Johnson
(thesis)

YALE/DCS/tr396 On the Lanczos Method for Solving Symmetric Linear
JUNE/85/NA Systems w/ Several Right Hand Slides
Youcef Saad

YALE/DCS/tr397 Partial Eigen-Solutions of Large Nonsemetric Matrices
JUNE/85/NA
Youcef Saad

YALE/DCS/tr398 Rank revealing QR-Factorizations
JUNE/85/NA
Tony Chan

YALE/DCS/tr399 The DUCK Manual
JUNE/85/AI
Drew McDermott

YALE/DCS/tr400 Probabilistic Inductive Inference
JUNE/85/TH
Leonard Pitt

YALE/DCS/tr401 On the Solution of Circulant Linear Systems
JUNE/85/NA
Mingkui Chen

YALE/DCS/tr402 Micro-Proust
JUNE/85/AI
W. Lewis Johnson
Elliot Soloway

YALE/DCS/tr403 Deflated Decomposition by the Lanczos Process
JUNE/85/NA
Tony Chan
Youcef Saad

YALE/DCS/tr404 A Simple Probabilistic Approximation Algorithm for
JUNE/85/TH Vertex Cover
Leonard Pitt

YALE/DCS/tr405 Easy Impossibility Proofs for Distributed Consensus
JULY/85/TH Problems
Michael Fischer
Nancy Lynch
Michael Merritt

YALE/DCS/tr406 An Approach to the Design of Highly Parallel Algorithms
JULY/85/TH in VLSI
Marina Chen

YALE/DCS/tr407 Three Fast Algorithms for Four Problems in Stable
JULY/85/TH Marriage
Dan Gusfield

YALE/DCS/tr408 Analysis of Preconditioners for Domain Decomposition
JULY/85/NA
Tony Chan

YALE/DCS/tr409 A Domain Decomposed Fast Poisson Solver on a
JULY/85/NA Rectangle
Tony Chan
Diana Resasco

YALE/DCS/tr410 * Fourier Analysis of Preconditional Interactive
JULY/85/NA Methods
Tony Chan
Howard Elman

YALE/DCS/tr411 An Explicit Scheme for the Prediction of Ocean
JULY/85/NA Acoustic Propagation in Three Dimensions
Tony Chan
Long-jun Shen
Ding Lee

YALE/DCS/tr412 A Systolic Design for te Problem of Partitions of
JULY/85/SYS X an Integer
Marina Chen

YALE/DCS/tr413 Stability Analysis of Difference Schemes for Variable
AUG/85/NA Cofficient Schrodinger Type Equations
Tony Chan
Long-jun Shen

YALE/DCS/tr414 A Survey of Preconditioners for Domain Decomposition
AUG/85/NA
Tony Chan
Diana Resasco

YALE/DCS/tr415 Dynamic Monotone Priorities on Planer Sets [Extended
AUG/85/TH Abstract]
Michael Fischer
Michael Paterson

YALE/DCS/tr416 A Robust and Varifiable Cryptographically Secure
AUG/85/TH Election Scheme [Extended Abstract]
Josh Cohen
Michael Fischer

YALE/DCS/tr417 On the Solution of a class of Toeplitz Systems
AUG/85/NA
Mingkui Chen

YALE/DCS/tr418 Solving Narrow Banded Systems on Ensemble Architectures
AUG/85/SYS X
Lennart Johnsson

YALE/DCS/tr419 Probabilistic Analysis of a Network Resource Allocation
AUG/85/TH Algorithm.
Michael Fischer

YALE/DCS/tr420 Why Kids Should Learn to Program
AUG/85/AI
Elliot Soloway

YALE/DCS/tr421 Distributed FIFO Allocation of Identical Resources
AUG/85/TH Using Small Shared Space
Michael Fischer
Nancy A. Lynch
James E.Burns

YALE/DCS/tr422 Interconnection Networks and Parallel Memory
SEPT/85/SYST Organizations for Array Processing
Ranade

YALE/DCS/tr423 Planning by Search through Simulations
SEPT/85/AI
David Miller

YALE/DCS/tr424 Complex Shift and Invert Strategies for Real Matrices
SEPT/85/NA
Youcef Saad
Breseford Parlett

YALE/DCS/tr425 Parallel Implementations of Preconditioned Conjugate
SEPT/85/NA Gradien Methods
Martin Schultz
Youcef Saad

YALE/DCS/tr426 * Foundations of Knowledge for Distributed Systems
OCT/85/TH
Michael Fischer
Neil Immerman

YALE/DCS/tr427 Automatic Generation of VLSI Architectures: Synthesis
OCT/85/SYS X by Agorithym Transformation
Marina Chen

YALE/DCS/tr428 Data Communications in Hypercubes
OCT/85/NA
Martin Schultz
Youcef Saad

YALE/DCS/tr429 Coupled and lecoupled Algorithms for Semiconductors
OCT/85/NA Simulation
Thomas Kerkhoven

YALE/DCS/tr430 Temporal Reasoning & Default Logics
OCT/85/AI
Drew McDermott
Steven Hanks

YALE/DCS/tr431 Education and Computers: An AI Perspective
OCT/85/AI
Roger Schank
Stephen Slade

YALE/DCS/tr432 Revised: A Systolic Design for the Problem of
OCT/85/SYS X Partitions of an Integer
Marina Chen

YALE/DCS/tr433 Temporal Imagery: An Approach to Reasoning about Time
OCT/85/AI for Planning and Problem Solving
Thomas Dean

YALE/DCS/tr434 Every Finite Distributive Lattice is a Set of Stable
OCT/85/TH Matchings for a Small Stable Marriage Instance
Daniel Gusfield
R. Irving
P. Leather
M. Saks

YALE/DCS/tr435 The Structure of the Solvable Stable Roommates Problem:
OCT/85/TH It's the Stable Marriage Problem.
Daniel Gusfield

YALE/DCS/tr436 Solving Tridiagonal Systems on Ensemble Architectures.
OCT/85/SYS X
Lennart Johnsson

YALE/DCS/tr437 Cyclic Reduction on a Binary Tree.
OCT/85/SYS X
Lennart Johnsson

YALE/DCS/tr438 Distributed Dated Structures in Linda
OCT/85/SYS Z
David Gelernter
Nicholas Carriero
Jerold Leichter

YALE/DCS/tr439 Combining Parallel and Sequential Sorting on a Boolean
NOV/85/SYS N-Cube
Lennart Johnsson

YALE/DCS/tr440 Rapid Solution of Integral Equations of Scattering
NOV/85/NA Theory in Two Dimensions
Vladimir Rokhlin

YALE/DCS/tr441 End-point Corrected Trapezoidal Quadrature Rules
NOV/85/NA for Singluar Function
Vladimir Rokhlin

YALE/DCS/tr442 The Generation of a Class of Multipliers: A Synthesis
DEC/85/SYS X Approach to the Design of Highly Parallel Algorithms
Marina Chen in VLSI

YALE/DCS/tr443 * How to Embed lrees into Hypercubes.
DEC/85/NA Supported in part by the Office of Naval Research
Sandeep Bhatt under contracts
Ilse Ipsen Supported by: N00014-85-K-0461


YALE/DCS/tr444 The Impact of Parallel Architectures on the Solution
DEC/85/NA of the Eigenvalue Problems.
Ilse Ipsen Supported by: ONR-N00014-82-K-0184
Youcef Saad ONR-N00014-85-K-0461

YALE/DCS/tr445 Orbit: An Optimizing Compiler for Scheme
DEC/85/SYSZ Supported by: NSF-DCR-8403304
David Kranz
Richard Kelsey
Paul Hudak
James Philbin
Norman Adams

YALE/DCS/tr446 A Proof-Stream Semantics for Lazy Narrowing
DEC/85/SYS Z Partially Supported by: NSF-DCR-8403304
Juan Guzman
Paul Hudak

YALE/DCS/tr447 * Functional Programming on Multiprocessor Architectures
NOV/85/SYSZ Supported by: NSF-DCR-8403304
Paul Hudak NSF-DCR-8302018
N00014-82-K-0184

YALE/DCS/tr448 Comparison of Domain Decomposition Techniques for
DEC/85/NA Elliptic Partial Differential Equations and their
David Keyes Parallel Implementation
William Gropp Supported by: NSF-MCS-8106181





YALE/DCS/tr449 A Projection Method for Partial Pole
DEC/85/NA Assignment in Linear State Feedback
Youcef Saad Supported by: ONR N00014-82-K-0184;



YALE/DCS/tr450 Foundations of Knowledge for Distributed Systems
JAN/86/TH Supported by: NSF-DCR-8405478
Michael Fischer ONR-N00014-82-K-0154
Neil Immerman +NSF Postdoctoral Fellowship and
NSF-DCR-8451415

YALE/DCS/tr451 VOID


YALE/DCS/tr452 A Multi Processor Simulator
JAN/86/SYS Supported by: NSF DCR-8106181
Abhiram Ranade ONR N-00014-84-K-0043
ONR-N00014-82-K-0184
ONR-N00014-82-K-0184

YALE/DCS/tr453 Keeping Shares of a Secret Secret
FEB/86/TH Supported by: NSA MDA 904-84-H-0004
Josh Cohen

YALE/DCS/tr454 Improving Privacy in Cryptographic Elections
FEB/86/TH Supported by: NSA MDA 904-84-H-0004
Josh Cohen ARO DAAG-83-0177


YALE/DCS/tr455 * Automatic Generation of VLSI Architectures:
FEB/86/SYS Dynamic Programming Solver
Marina Chen Supported by: ONR N0001485K0030
the Mathematical Sciences Research
Institute, Berkley

YALE/DCS/tr456 * Implementation of Domain Fast
Feb/86/NA Poisson Solvers on Multi Processor
Tony Chan Supported by: DE AC 02-81 ER10996
Diana Resasco
Faisal Saied

YALE/DCS/tr457 Sythesizing Systolic Algorithms by Program
Feb/86/SYS Transformations: A New LU Decompsition Algorithm
Marina Chen Supported by: NSF MCS-8106181 (DCR-8106181)



YALE/DCS/tr458 Dynamic Grid Manipulation for PDEs on
Mar/86/NA Hypercube Parallel Processors
William Gropp Supported by: ONR N00014-82-K-0184


YALE/DCS/tr459 A Fast Algorithm for Particle Simulations
Mar/86/NA Supported by: ONR N00014-82-K-0184
Leslie Greengard
Vladimir Rokhlin

YALE/DCS/tr460 Interpreting Logics of Knowledge in
Mar/86/TH Propositional Dynamic Logic with Converse
Michael Fischer Supported by: NSF DCR-8405478
Neil Immerman ONR N00014-82-K-0154

YALE/DCS/tr461 Data Communication in Parallel Architectures
Feb/86/NA Supported by: ONR-N00014-K-0184 in part
Yousef Saad with IBM/Kingston
Martin Schultz ONR 00014-82-U-0184
ONR 00014-85-U-0030

YALE/DCS/tr462 Gaussion Elimination on Hypercubes
Mar/86/NA Supported by: N00014-82-K-0184 in part
Youcef Saad with IBM/Kingston

YALE/DCS/tr463 An effiecient Method fpr Solving the Three-
Mar/86/NA Dimensional Wide Angle Wave Equation
Ding Lee Supported by: N00014-82-K-0184
Yousef Saad N00014-85-WR-24268
Martin Schultz N00014-85-WR-24068 in part with
AFO SR-84-0360

YALE/DCS/tr464 Learning Regular Sets from Queries and
Mar/86/TH Counter-examples
Dana Angluin Supported by: NSF DCR-840422

YALE/DCS/tr465 Crystal: A Synthesis approach to Programming
Mar/86/SYS Parallel Machines
Marina Chen Supported by: ONR N00014-85-K0030


YALE/DCS/tr466 Machine Musing and the Smart Note Pad
April/86/SYSZ Sklar supported by the Yale Medical School.
David Gelernter
Mitchell Sklar

YALE/DCS/tr467 * Exploring Parafunctional Programming
April/86/SYSZ Supported by: DCR 840-3304
Paul Hudak DCR 845-1415

YALE/DCS/tr468 * FAC: Functional Array Calculator and its
April/86/SYS Application to APL and Functional Programming
Hai-Chen Tu NSF DCR 46564
NUS Center Independent Research Project

YALE/DCS/tr469 Transformations of Parallel Programs in Crystal
April/86/SYS Supported by: NSF MCS 8106181(in part) (DCR 8106181)
Marina Chen ONR N00014-85-K-0030

YALE/DCS/tr470 Case-Based Reasoning: A Computer Model of
April/86/AI Subjective Assessments
Bill Bain Supported by: AFOSR 85-0343
NSF DCR-8106181

YALE/DCS/tr471 Cryptographic Capsules: A Disjunctive
April/86/TH Primitive for Interactive Protocoles
Josh Cohen Supported by: NSA-MDA 904-84 H-0004

YALE/DCS/tr472 Linda and Friends
April/86/SYSY Supported by: NSF MCS 8303905
David Gelernter
Sid Ahuja
Nick Carriero

YALE/DCS/tr473 Floating Point Cordic
April/86/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson Advanced Technical Center - ITT
Venkatesh Krishnaswamy

YALE/DCS/tr474 Systolic Array Synthesis: Computability
May/86/NA and Time Cones
Ilse Ipsen Supported by: ONR N000014-82-K-0184
Jean-Marc Delosme N000014-85-K-0461



YALE/DCS/tr475 * Tree Embedding and Optimal Routing for
May/86/SYS Data Distribution in Hypercubes
Ching-Tien Ho Supported by: ONR-N00014-84K-0043
Lennart Johnsson

YALE/DCS/tr476 * A Preliminary Analysis of Recursively
MAY/86/SYS Generated Networks
Eric Mjolsness Supported by: ONR N00014-86-K-0310
David Sharp

YALE/DCS/tr477 * Synthesis Approach to the Design and Correctness
JUNE/86/SYS of Systolic Computations
Marina Chen Supported by: NSF-MCS 8106181


YALE/DCS/tr478 Identifying k-CNF Formulas From Noisy Examples
JUNE/86/TH Supported by: NSF-DCR-8404226
Dana Angluin NSF ECS-8314750
Philip Laird



YALE/DCS/tr479 * Types of Queries for Concept Learning
JUNE/86/TH Supported by: DCR-8404226
Dana Angluin N000014-84-K-0092


YALE/DCS/tr480 A Critic of Pure Reason
JUNE/86/AI Supported by: NSF-DCR 8407077
Drew McDermott


YALE/DCS/tr481 On Scheduling Transmissions in a Network
JUNE/86/TH (not supported)
Dan Gusfield

YALE/DCS/tr482 The Structure of the Stable Roommate Problem:
JUNE/86/TH Efficient Representation and Enumeration of all Stalk
Dan Gusfield Assignments
ONR- N00014-85-k-0030

YALE/DCS/tr483 Distributed Routing Algorithms for Broadcasting
JUNE/86/SYS and Personalized Communication in Hypercubes
Lennart Johnsson Supported by: ONR N00014-84-K-0043
Ching-Tien Ho

YALE/DCS/tr484 * The Denotational Semantics of a Para-Functional
JULY/86/SYSZ Programming Language
Paul Hudak Supported by: DOE grant DE-FG02-86ER25012


YALE/DCS/tr485 A New Algorithm for Solving the Wide Angle Wave
AUGUST/86/NA Equation.
Yousef Saad Supported by: ONR-N00014-82-K-0184
Ding Lee N00014-85-WR-24068

YALE/DCS/tr486 Symmetry and the Non-Evolution of Programming Languages
AUGUST/86/SYSY Supported by: NSF MCS 8306836.
David Gelernter

YALE/DCS/tr487 * Mercedes: A Realization of Lazy Narrowing
AUGUST/86/SYSZ Fundacion Gran Mariscal de Ayachuco
Paul Hudak Supported by: Fellowship Contract F-EX-84.1044
Juan Carlos Guzman NSF DCR-8403304


YALE/DCS/tr488 Case-based Planning: An integrated theory of
AUGUST/86/AI planning, learning and memory.
Kristian Hammond Supported by: DARPA-ONR N00014-82-K-0149
NSF-DCR 8403304



YALE/DCS/tr489 Integrated Processing in Planning and Understanding.
AUGUST/86/AI Supported by: DARPA-ONR N00014-75-C-1111
Lawrence Birnbaum NSF IST 7918463
Center Independent Research Project
A65020
N00014-85-WR-24268
In part by Navall Underwater Systems

YALE/DCS/tr490 Partitioning Circuits for Improved Testability
SEPTEMBER/86/TH Supported by: Bhatt's grant; acknowledge Martin's
Sandeep Bhatt and Mike's
Fan Chung
Arnold Rosenberg

YALE/DCS/tr491 The Complexity of System-Level Fault Diagnosis
SEPT/86/TH and Diagrosability.
Gregory Sullivan

YALE/DCS/tr492 Shared Virtual Memory on Loosely
SEPT/86/SYS Z Coupled Multiprocessors
Kai Li Supported by NSF Grant # DCR 8106181
ONR N00014-85-K-0108
N00014-75-C-1111
Air Force Grant F49620-82-K-0010
NSF IST 8120451

YALE/DCS/tr493 Finding an Opitmal Search Strategy for a Partial Order
SEPT/86/TH is NP-Complete.
Phil Laird Supported by: NSF MCS8002447
Leonard Pitt DCS 8404226

YALE/DCS/tr494 Matrix Transpose on Boolean n-cube Configured
SEPT/86/SYS Ensemble Architectures.
Lennart Johnsson Supported by: ONR N00014-84-K-0043
Ching-Tien Ho Thinking Machines Corp.
IST 8017790
N00014-85-K-0108

YALE/DCS/tr495 Optimal Simulations of Tree Machines
SEPT/86/TH Supported by: NSF DCI 8601885
Sandeep Bhatt NSF DCR 840578
Fan Chung
Tom Leighton
Arnold Rosenberg

YALE/DCS/tr496 A Fast Adaptive Multiple Algorithm for Particle
SEPT/86/NA Simulations
J. Carrier Supported by: N000014-82-K-0184
Leslie Greengard
Vladimir Rokhlin

YALE/DCS/tr497 * Collecting Interpretations of Expressions
SEPT/86/SYS Supported by: NSF DCR-8451415
Paul Hudak DOE DE-FG02-86ER25012


YALE/DCS/tr498 Placement and Interconnection of Systolic Processing
OCT/86/SYS Elements: A New Lu Decomposition Algorithm
Marina Chen Suppported by: ONR N000 14-86-1C-0296

YALE/DCS/tr499 Very-high-level Parallel Programming by Aggregate Set
OCT/86/SYS Operations
Marina Chen Supported by: ONR N000 14-86-1C-0296

YALE/DCS/tr500 Spanning Graphs and Optimum Broadcasting and Personalized
NOV/86/SYS Communication in Hypercubes.
Lennart Johnsson Supported by: ONR N00014-84-K-0043.
Ching-Tien Ho

YALE/DCS/tr501 Relativizing Relativized Computations
NOV/86/TH Supported by: NSF DCR-8603346
Neil Immerman ** Revised June 1988
Stephen Mahaney

YALE/DCS/tr502 Solving Schrodinger Equation on the Intel
DEC/86/SYS IPSC by the Alternating Direction Method
Faisal Saied Supported by: ONR N00014-86-K-0564
Ching-Tien Ho N00014-82-K-0184
Lennart Johnsson DCR-8403304
Martin Schultz

YALE/DCS/tr503 * On The Eventually Operator in Temporal Logic
DEC/86/TH Supported by: NSF DCR-840-5478
Sistla
Lenore Zuck

YALE/DCS/tr504 * Creativity in Education: A Standard for Computer
DEC/86/AI Based Teaching
Roger Schank
Sarrell

YALE/DCS/tr505 Finding Fixpoints on Function Spaces
DEC/86/SYS Supported by: DE-FG02-86ER25012
Johnathan Young NSF DCR-845145
Paul Hudak

YALE/DCS/tr506 Very-High-Level Parallel Programming in Crystal
DEC/86/SYS Supported by: ONR-N00014-86-1C-0296
Marina Chen

YALE/DCS/tr507 Reasoning About Change: Time and Causation from the
DEC/86/AI Standpoint of Artificial Intelligence
Yoav Shoham Supported by: ONR/ARPA N00014-85-K-0301-42186

YALE/DCS/tr508 Spanning Balanced Trees in Boolean Cubes
JAN/87/SYS Supported by: ONR N00014-84-K-00
Ching-Tien Ho
Lennart Johnsson

YALE/DCS/tr509 A Fast Algorithm for the Descrete Laplace
JAN/87/NA Transformation
Vladimir Rokhlin Supported by: ONR N00014-86-K-0310

YALE/DCS/tr510 Automated Problem Mapping: The Crystal Runtime System
JAN/87/NA Supported by: NSF-DCR 8106181
Joel Saltz ONR-N00014-86-K-0926
Marina Chen

YALE/DCS/tr511 Constrained Randomization for Parallel Communications
JAN/87/SYS Supported by: ONR N00014-86-K-0564
Abhiram Ranade ONR N00014-84-K-0043

YALE/DCS/tr512 Equivalents of Message Scheduling Algorithms for
JAN/87/SYS Parallel Communications
Abhiram Ranade Supported by: ONR N00014-86-K-0564


YALE/DCS/tr513 Design of Systolic Algorithms for Large Scale
JAN/87/SYS Multiprocessors
Jingke Li Supported by: N00014-86-K-0564
Marina Chen
Mark Young

YALE/DCS/tr514 Ten Problems in Artificial Intelligence
JAN/87/AI Supported by: N00014-85-K-0108
Roger Schank AFO SR-85-0343
Christopher Owens

YALE/DCS/tr515 The Rapid Evaluation of Potential Fields in Three
JAN/87/NA Dimensions
Leslie Greengard Supported by: ONR N00014-86-K-0310
Vladimer Rokhlin

YALE/DCS/tr516 Communication -llfficient Distributed Data Structures
FEB/87/SYS on Hypercubes Machines
Zhijing Mou Supported by: ONR N00014-86-0296
Marina Chen ONR N00014-84-K-0043

YALE/DCS/tr517 * A Little Knowledge Goes a Long Way: Simple Knowledge-
FEB/87/TH Based Derivations and Correctness Proofs for a Family
Lenore Zuck of Protocols
Joseph Halpern Supported by: DSF DCR-8405478

YALE/DCS/tr518 Creativity in Education: A Standard for Computer-Based
FEB/87/AI Teaching
Roger Schank Supported by: ONR N00014-882-K-0149
Robert Farrell

YALE/DCS/tr519 Solving Banded Systems on a Parallel Processor
FEB/87/SYS Supported by: AFOSR-ISSA-86-0031
J.J. Dongarra ONR N00014-84-K-0043
Lennart Johnsson

YALE/DCS/tr520 LINDA, A Portable Parallel
FEB/87/SYS Supported by: NSF DCR-8601920
Robert Bjornson
Nick Carriero
Jerrold Leichter

YALE/DCS/tr521 Generating Natural Language Under Pragmatic Constraints
FEB/87/AI Supported by: ONR N00014-82-K-0149
Ed Hovy

YALE/DCS/tr522 DARPA - Sponsored Planning Research+ Report and Prospectus
MARCH/87/AI Supported by: ONR N00014-83-K-0281
Drew McDermott BRL DAAA 15-87-K-0001

YALE/DCS/tr523 Type of Explanations
MARCH/87/AI Supported by: N00014-82-K-0149
Alex Kass AFOSR 850343
David Leake N00014-82-K-0149

YALE/DCS/tr524 A Para-Functional Programming Environment for Parallel
MARCH/87/NA and Distributed Computing
Paul Hudak Supported by: Army Research Office: DAAL03-86-K-0158
Jean-Marc Delosme Dept. of Energy: DOE FG02-86ER25012
Ilse Ipsen NSF NSF DCR-8451415


YALE/DCS/tr525 Complete Operational Semantics for First-Order
MARCH/87/SYS Lazy Narrowing
Paul Hudak Supported by: Fundacion Gran Mariscal de Ayacucho:
Juan Guzman F-EX-84.1044



YALE/DCS/tr526 Inferring Sharing Proprties of Partial Applications
MARCH/87/SYS in Higher-Order Functional Programs
Paul Hudak Supported by: DOE AFG02-86ER25012
Benjamin Goldberg Unisys Paoli Research Center

YALE/DCS/tr527 Synthesis Systolic Arrays from Recurrsion Equation
MARCH/87/SYS Supported by: ONR N00014-86-K-0564
Marina Chen

YALE/DCS/tr528 PSpace Survives Three-Bit Bottlenecks
MARCH/87/TH Supported by: NSFl46753
Jin-yi Cai ONR N00014-85-K-0461
Merrick Furst

YALE/DCS/tr529 * A Linda User's Manual
MARCH/87/SYS Supported by: DCR 8601920
Robert Bjornson

YALE/DCS/tr530 Matrix Multiplication on Boolean Cubes Using Generic
MARCH/87/SYS Communication Primitives
S.Lennart Johnsson Supported by: ONR N00014-84-K-0043
Ching-Tien Ho ONR N00014-86-K-0564
NCF DCR-8403304
NCF DCR-8302018

YALE/DCS/tr531 Parrellism Persistence and META-Cleanliness in the
MARCH/87/SYS Symetric Lisp Interpreter
David Gelernter Supported in part by: NSF DCR 8601920
Suresh Jagannathan
T. Lyndon

YALE/DCS/tr532 Solving Multiple Tridiagonal Systems, the Alternating
APIIL/87/SYS Direction Method, and Boolean Cube Configured
Lennart Johnsson Multiprocessors
Ching-Tien Ho Supported by: ONR N00014-86-K-0564

YALE/DCS/tr533 The Rapid Evaluation of Potential Feilds in Particle
APRIL/87/NA Systems
Leslie Greengard Supported by: ONR N00014-86-K-0310



YALE/DCS/tr534 Analysis of Domain Decomposition Preconditioners on
APRIL/87/NA Irregular Regions
Tony Chan Supported by: DE-AC02-81ER0996
Diana Resasco

YALE/DCS/tr535 Minimum Expansion Embebbings of Meshes in Hypercubes
APRIL/87/TH Supported by: NSF DCI 8601885
David Greenberg

YALE/DCS/tr536 On The Eventuality Operator in Temporal Logic
APRIL/87/TH Supported by: NSF DCR 8405478
A. Prasad Sistla
Lenore Zuck A REVISION OF RR# 503

YALE/DCS/tr537 Analysis of Parameterized Methods for Problem
MAY/87/NA Partitioning
Joel Saltz Supported by: ONR N00014-86-K-0310
NSF DCR 8106181
BM P0003 8437

YALE/DCS/tr538 Expressability as a Complexity Measure:
MAY/87/TH Results and Directions
Neil Immerman Supported by: DCR 8603346

YALE/DCS/tr539 Systolic Algorithms for the Parallel Solution of
MAY/87/NA Dense Symetric Positive-Definite Toeplitz Systems
Ilse Ipsen Supported by: ONR N00014-86-K-0310



YALE/DCS/tr540 A Processor for Two-Dimensional Symetric Eigenvalue
MAY/87/NA and Singular Value Arrays
Jean-Marc Delosme Supported by: ARO DAA L03-86-K-0158

YALE/DCS/tr541 Computing Particle Correlations from the Data Matrix
MAY/87/NA Supported by: NSF ECS 8314750
Jean-Marc Delosme ONR-N00014-86-K-0310
Ilse Ipsen ONR-N00014-85-K-0461
NSF DCR 8106181
NASA NAS 1-18107

YALE/DCS/tr542 A Programable Systolic Array for Factorial Data Analysis
May/87/NA Part I: Matrix Computations
Tiba Porta Supported by: AFOSR-86-0098

YALE/DCS/tr543 A Programable Systolic Array for Factorial Data Analysis
MAY/87/NA Part II: The Symetric Eigenvalue Problem
Tiba Porta Supported by: AFOSR-86-0098

YALE/DCS/tr544 Transformation of Broadcasting into Pipelining
JUNE/87/NA Supported by: ARO DAAL03-86-K-0758
YiWan Wong ONR N00014-85-K-0461
Jean-Marc Delosme ARO DAA L03-86-K-0158

YALE/DCS/tr545 Control of Attention in Neuro Networks
JUNE/87/SYS Supported by: ONR N00014-86-K-0310
Eric Mjolsness

YALE/DCS/tr546 Expressability and Parallel Complexity
JUNE/87/TH Supported by: NSF DCR-8603346
Revised AUG/88 Mathamatical Sciences Research
Neil Immerman Institute @ Berkeley, California
ARO-DAAL03-86-K-0158

YALE/DCS/tr547 A Greedy Approximation Algorythm for the Partial Order
JUNE/87/TH Search Problem
Phillip Laird Supported by: NSF IRI 840 4226

YALE/DCS/tr548 * Solving the Symmetric Tridiagonal Eigenvalue Problem on
JUNE/87/NA the Hypercube
Ilse Ipsen Supported by: ONR N00014-82-K-0184
Elizabeth Jessup ONR N00014-85-K-0461

YALE/DCS/tr549 Recursively Generated Neural Networks
JUNE/87/SYS Supported by: ONR N00014-86-K-0310
Eric Mjolsness
David H. Sharp
Bradley Alpert

YALE/DCS/tr550 The FORBIN Paper
JULY/87/AI Supported by: ONR N00014-83-K-0281
Thomas Dean ONR N00014-85-K-0301
R. James Firby
David Miller

YALE/DCS/tr551 Learning From Good Data and Bad
JULY/87/TH Supported by: NSF IRI-8404226
Phil Laird

YALE/DCS/tr552 Nondeterministic Space is Closed Under Complement
JULY/87/TH Supported by: NSF DCR -8603346
Neil Immerman

YALE/DCS/tr553 * Implicit Finite Difference Simulation of an Internal Flow
JULY/87/NA in a Nozzle: An Example of a Physical Application on the
Pierre Porta Hypercube


YALE/DCS/tr554 A Fast Algorithm for the Numerical Evaluation of
JULY/87/NA Conformal Mappings
S.T O'Donnell Supported by: ONR N00014-86-K-0310
Vladimir Rokhlin

YALE/DCS/tr555 Unassigned

YALE/DCS/tr556 Can Parallel Machines Be Made Easy to Program?
AUG/87/SYS A Data-Parallel Model for Functional Languages
Marina Chen Supported by: ONR N00014-86-K-0654

YALE/DCS/tr557 Learning K-Bounded Context-Free Grammars
AUG/87/TH Supported by: NSF IRI-804226
Dana Angluin

YALE/DCS/tr558 * A Numerical Treatment of the Fluid/Elastic Interface
AUG/87/NA Under Range-Dependent Environments
Er Chang Shang Supported by: ONR N00014-86-K-0310
Ding Lee

YALE/DCS/tr559 Learning K-Term DNF Formulas Using Queries and Counter-
AUG/87/TH examples
Dana Angluin Supported by: NSF IRI-8404226
Supported by: ONR N00014-86-K-0310

YALE/DCS/tr560 Time-Optimal Synthesis of Systolic Arrays with
SEPT/87/SYS Pipelined Cell
Bjorn Lisper Supported by: ONR N00014-86-K-0564

YALE/DCS/tr561 Verifiable Secret-Ballot Elections
SEPT/87/TH Supported by: NSF MCS-8116678
Josh Benaloh NSF MCS-8305382

YALE/DCS/tr562 From Local to Global-Analysis of Nearest Neighbor Load
SEPT/87/SYS Balancing on Hypercube
Marina Chen Supported by: ONR N00014-86-K-0564
Jia wei Hong
Xiao Nan Tan

YALE/DCS/tr563 A Simulator for Mobile Robot Planning
SEPT/87/AI Supported by: DARPA BRL
R. James Firby DAAll5-87-K-0001
Steve Hanks

YALE/DCS/tr564 E Unum Pluribus: Generating Alternative Designs
SEPT/87/AI Supported by: NSF DPE-8470014
Elliot Soloway IST-8505019
James Spohrer
David Littman

YALE/DCS/tr565 The Fast Multipole Method for Gridless Particle
SEPT/87/NA Simulations
J. Ambrosiano Supported by: ONR N00014-86-0310
Leslie Greengard NSF DCR-8405478
Vladamir Rohklin NSA MDA-904-84-H-00004

YALE/DCS/tr566 How to Imbed FFTS in Hypercubes
OCT/87/TH Supported by: NSF MIP-8601885
David Greenberg

YALE/DCS/tr567 Implementation of Tuple Space Machines
OCT/87/SYS Supported by: NSF DCR-8601920
Nicholas Carriero CCR-8657615


YALE/DCS/tr568 A Symmetric Language
OCT/87/SYS Supported by: NSF CCR-8601920
David Gelernter CCR-8657615
Suresh Jagannathan ONR N00014-86-K-0310
Thomas London
Mark Day

YALE/DCS/tr569 Algorithms for Multiplying Matrices of Arbitrary Shapes
OCT/87/SYS Using Shared Memory Primitives on a Boolean Cube
Lennart Johnsson Supported by: ONR N00014-86-K-0564
Ching-Tien Ho

YALE/DCS/tr570 Computation Fluid Dynamics on Parallel Processors
OCT/87/NA Supported by: AFOSR-86-0098
William Gropp
Edward Smith

YAlE/DCS/tr571 A Little Knowledge Goes a Long Way: Simple Knowledge-
OCT/87/TH Based Derivations anllllrrectness Proofs for a Family of
Lenore Zuck Protocols
Joseph Halpern Supported by: NSF DCR 8405478
ONR N00014-86-K-0310

YALE/DCS/tr572 Algorithms for Matrix Transposition on Boolean-cube
SEPT/87/SYS Configured Ensemble Architectures
Lennart Johnson
Ching-Tien Ho

YALE/DCS/tr573 The design of a Fluent Machine
OCT/87/SYS Supported by: ONR N00014-84-K-0043
Abhiram Ranade ONR N00014-86-K-0564
Lennart Johnsson NSF MIP 8601885
Sandeep Bhatt

YALE/DCS/tr574 Directions in High Performance Computation
OCT/87/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr575 Take a Walk, Grow a Tree
NOV/87/SYS Supported by: NSF MIP 8601885
Sandeep Bhatt NSF CCR 8709818
Jin-yi Cai

YALE/DCS/tr576 On the Embebbing of Arbitrary Meshes in Boolean Cubes
NOV/87/SYS With Expansion Two Dilation Two
Ching-Tien Ho Supported by: ONR N00014-86-K-0564
Lennart Johnsson

YALE/DCS/tr577 Algorithms for Matrix Transposition on Boolean N-Cube
NOV/87/SYS Configured Ensemble Architechtures
Ching-Tien Ho Supported by: ONR N00014-86-K-0564
Lennart Johnsson

YALE/DCS/tr578 How to Emulate Shared Memory
NOV/87/SYS Supported by: ONR N00014-84-K-0043
Abhiram Ranade ONR N00014-86-K-0564

YALE/DCS/tr579 The Communication Efficiency of Meshes Boolean Cubes
NOV/87/SYS and Cube Connected Cycles for Wafer Scale Intergration
Abhiram Ranade Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr580 Ensemble Architectures and Their Algorithms: An Overview
NOV/87/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr581 Highly Parallel banded Systems Solvers
NOV/87/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr582 The FFT and Fast Poisson Solvers on Parallel Architectures
NOV/87/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr583 Fast PDE Solvers on Fine and Medium Grain Architectures
NOV/87/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr584 Data Parallel Programming and Basic Linear Algebra
NOV/87/SYS Subroutines
Lennart Johnsson Supported by: ONR N00014-84-K-0043


YALE/DCS/tr585 Enumerative Counting is Hard
NOV/87/TH Supported by: NSF CCR-8709818
Jin-Yi Cai
Lane H. Hemachandra

YALE/DCS/tr586 Adaptive Load Sharing in Heterogeneous Systems
NOV/87/SYS Supported by: NSF ECS-8606402
Ravi Mirchandaney RADC RI-44896X
Don Towsley ONR N00014-86-K-0564
John Stankovic


YALE/DCS/tr587 * Directions in High Performance Computation
NOV/87/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564

YALE/DCS/tr588 The Crytsal Runtime System: A Framework
JAN/88/NA/SYS Supported by: ONR N00014-86-K-0564
Joel Saltz ONR N00014-86-K-0564
Ravi Mirchandaney
Roger Smith
David Nicol
Kay Crowley

YALE/DCS/tr589 Relative Knowledge and Belief
DEC/87/TH Supported by: NSF DCR-8505478
Michael Fischer ONR N00014-82-K-0154
Lenore Zuck

YALE/DCS/tr590 Learning Propositional Horn Sentences with Hints
DEC/87/TH Supported by: NSF IRI 8404226
Dana Angluin

YALE/DCS/tr591 Debugging a DAG Efficiently
DEC/87/TH Supported by: NSF IRI 8404226
Dana Angluin

YALE/DCS/tr592 * A Performability Analysis of a Multi-processor System
DEC/87/NA Supported by: AFOSR-84-0132
R.M. Smith DAAG 299-84-K-0045
K.S. Trivedi DAAG L03-87-0066
A.V. Ramesh

YALE/DCS/tr593 Replaced by RR-609


YALE/DCS/tr594 Implicit Finite-Difference Simulation of an Internal
JAN/88/NA Flow on a Hypercube
Pierre Porta Supported by: ONR N00014-86-K-0310

YALE/DCS/tr595 Composite Semantics: One Generic Environment is Enough
JAN/88/SYS Supported by: CCR-845145
Jonathan Young

YALE/DCS/tr596 Numerical Simulation of a 2-D Compressible Fluid Flow on
JAN/88/NA a Hypercube
Pierre Porta Supported by: ONR N00014-K-86-0310
Faisal Saied

YALE/DCS/tr597 Adaptive Load Sharing in the Presence of Delays
JAN/88/SYS Supported by: ONR N00014-86-K-0564
Ravi Mirchandaney

YALE/DCS/tr598 Computing Fast Fourier Transforms on Boolean Cubes and
JAN/88/SYS Related Networks
Johnsson Supported by: ONR N00014-86-K-0564
Ho (as of Feb. 88)
Jacquemin
Ruttenberg

YALE/DCS/tr599 Planned Creation Using Strategies as Blueprints
JAN/88/AI Supported by: ONR N00014-86-K-0310
Greg Collins DARPA N00014-82-K-0149

YALE/DCS/tr600 Performability Analysis: Measures an Algorithm, And a
JAN/88/NA Case Study
R. Smith Supported by: ONR N00014-86-K-0564
K.S. Trivedi
A.V. Ramesh

YALE/DCS/tr601 Using Entropy Minimax Estimation for Load Sharing
JAN/88/SYS Supported by: NSF ECS-8406402
Ravi Mirchandaney ONR N00014-86-K-0564
L. Sha RADC RI-44896
J.A. Stankovic

YALE/DCS/tr602 On the Efficient Implementation of the Fast Multipole
FEB/88/NA Algorithm
Leslie Greengard Supported by: ONR N00014-86-K-0310
Vladimir Rokhlin

YALE/DCS/tr603 Efficient Protocols for Common Knowledge and
JAN/88/TH Simultaneous Byzantine Agreement
Ruben Michel Supported by: ONR N00014-86-K-42162

YALE/DCS/tr604 Uncertain Knowledge in Distributed Systems
JAN/88/TH Supported by: NSF DCR-8405478
Michael Fischer (Revised edition, including title, now #643)
Lenore Zuck

YALE/DCS/tr605 Describing Graphs: A First-Order Approach to Graph
FEB/88/TH Canonization
Neil Immerman Supported by: NSF DCR-8603346
Eric Lander NSF DCB-8611317


YALE/DCS/tr606 On Projections from Permanent to Determinant
FEB/88/TH Supported by: NSF CCR-8709818
Jin-yi Cai

YALE/DCS/tr607 The Cholesky Factorization, Schur Complements,
FEB/88/NA Correlation Coefficients, Angles between Vectors,
Ilse Ipsen and the QR Factorization
Jean-Marc Delosme Supported by: NSF ECS-8314750
C.C. Paige ONR N00014-86-K-0310

YALE/DCS/tr608 A Theory of Paralell Program Optimization
FEB/88/SYS Supported by: ONR N00014-86-K-0564
Young-il Choo
Marina Chen

YALE/DCS/tr609 Footprints of Dependency: Towards Dynamic Memory
FEB/88/SYS Management of Massively Paralell Architectures
Marina Chen Supported by: ONR N00014-86-K-0564
Michel Jacquemin SDF G612

YALE/DCS/tr610 Optimum Broadcasting and Personalized Communication
FEB/88/SYS in Hypercubes
Lennart Johnsson Supported by: ONR N00014-84-K-0043
Ching-Tien Ho ONR N00014-86-K-0564

YALE/DCS/tr611 Spanning Balanced Trees in Boolean Cubes
FEB/88/SYS Supported by: ONR N00014-84-K-0043
Ching-Tien Ho ONR N00014-86-K-0564
Lennart Johnsson ONR N00014-85-K-0461
ARO DAAL03-86-K-0158

YALE/DCS/tr612 QED on the Connection Machine
MARCH/88/SYS Supported by: Thinking Machines
Lennart Johnsson Natural Science and Engineering
Research Council of Canada A9236

YALE/DCS/tr613 Scaling, Machine Learning, and Generic Neural Nets
MARCH/88/SYS Supported by: ONR N00014-86-K-0310
Eric Mjolsness
Dave Sharp
Bradley Albert

YALE/DCS/tr614 Identifying Languages from Stochastic Examples
MARCH/88/TH Supported by: NSF IRI 8404226
Dana Angluin

YALE/DCS/tr615 The VAX Linda-C User's Guide
MARCH/88/SYS Supported by: CCR-8601920
Jerrold Leichter CCR-8657615


YALE/DCS/tr616 Recursive Mesh Refinement on Hypercubes
MARCH/88/NA Supported by: ONR N00014-85-K-0461
William Gropp ARO DAAL 0386K-0158
Ilse Ipsen ONR N00014-86-K-0310


YALE/DCS/tr617 Stable Dimension Permutaions on Boolean Cubes
MARCH/88/SYS Supported by: ONR N00014-86-K-0564
Ching-Tien Ho
Lennart Johnsson

YALE/DCS/tr618 Multiprocessor Execution of Functional Programs
APRIL/88/SYS Supported by: ONR N00014-84-K-0043
Benjamin Goldberg ONR N00014-86-K-0564

YALE/DCS/tr619 Systolic FFT Algorithms on Boolean Cube Networks
MARCH/88/SYS Supported by: ONR N00014-84-K-0043
Lennart Johnsson ONR N00014-86-K-0564
Ching-Tien Ho ONR N00014-86-K-0310
Michel Jacquemin
Mark Ruttenberg

YALE/DCS/tr620 Optimal Algorithms for Dimension Permutations on
MARCH/88/SYS Boolean Cubes
Lennart Johnsson Supported by: ONR N00014-84-K-0043
Ching-Tien Ho ONR N00014-86-K-0564
NSF DCR 8521451

YALE/DCS/tr621 Data File + Dependency = Parallel Program
APRIL/88/SYS Supported by: ONR N00014-86-K-0564
Marina Chen
Young-il Choo
Jingke Li

YALE/DCS/tr622 Linda in Context
APRIL/88/SYS Supported by: NSF CCR-8601920
Nicholas Carriero NSF CCR-8657615
David Gelernter ONR N00014-86-K-0310

YALE/DCS/tr623 Expressing Boolean Cube Matrix Algorithms in Shared
APRIL/88/SYS Memory Primitives
Lennart Johnsson Supported by: ONR N00014-86-K-0564
Ching-Tien Ho

YALE/DCS/tr624 From Bareiss' Algorithm to the Stable Computation of
APRIL/88/NA Partial Correlations
Jean-Marc Delsosme Supported by: ONR N00014-86-K-0310
Ilse Ipsen ONR N00014-85-K-0461


YALE/DCS/tr625 Unassigned

YALE/DCS/tr626 An Optimal Lower Bound on the Number of Variables for
MAY/88/TH Graph Identification
Jin-ji Cai Supported by: NSF CCR 8709818
Neil Immerman NSF DCR 8603346

YALE/DCS/tr627 Haskell Solutions to the Language Session Problems at the
MAY/88/SYS 1988 Salishan High-speed Computing Conference
Paul Hudak Supported by: DOE FG02-86ER25012
Steve Anderson

YALE/DCS/tr628 How to Write Parallel Programs: A Guide to the Perplexed
MAY/88/SYS Supported by: NSF DCR-8601920
Nicholas Carriero NSF DCR-8657615
David Gelernter NSF ONR N00014-86-K-0310

YALE/DCS/tr629 An Experimental Study of Methods for Parallel
JUNE/88/NA Preconditioned Krylov Methods
Doug Baxter Supported by: ONR 00014-86-K-0564
Joel Saltz ARO DAAL03-86-K-0158
Martin Schultz
Stan Eisenstat
Kay Crowley

YALE/DCS/tr630 Parallel Processing of Biological Sequence Comparison
JUNE/88/NA Algorithms
Nolan Core Supported by: ONR N00014-86-K-0310
Elizabeth Edmundston
Joel Saltz
Roger Smith

YALE/DCS/tr631 Unassigned

YALE/DCS/tr632 ORBIT: An Optimizing Compiler for Scheme
JUNE/88/SYS Z Supported by: DOE FG02-86ER25012
David Krantz

YALE/DCS/tr633 Compiling Parallel Programs By Optimizing Performance
JUNE/88/SYS Supported by: ONR N000-14-86-K-0310
Marina Chen
Young-il Choo
Jingke Li

YALE/DCS/tr634 Optimization in Model Matoning and Perceptual
JUNE/88/SYS/AI Organization, A First Look
Eric Mjolsness Supported by: DAAA15-87-K-0001
Gene Gindi
P. Anandan

YALE/DCS/tr635 Potential Flow in Channels
JUNE/88/NA Supported by: ONR N00014-86-K-0310
Leslie Greengard

YALE/DCS/tr636 Expressing Boolean Cube Matrix Algorithms in Shared
JULY/88/SYS Memory Primitives
Ching-Tien Ho Supported by: ONR N00014-86-K-0564
Lennart Johnson

YALE/DCS/tr637 The Real Line as a Fractal
JULY/88/TH Supported by: CNSF CCR-8709818
Jin-Yi Cai
Juris Hartmanis

YALE/DCS/tr638 Using Linda for Supercomputing on a Local Area Network
JUNE/88/SYS Supported by: ONR N00014-86-K-0310
R.A. Whiteside
Jerold Leichter

YALE/DCS/tr639 Grid Tracing: Fast Ray Tracing for Height Fields
JUNE/88/SYS Supported By: ONR N00014-88-K-0217
F. Kenton Musgrave NSF DCR-86019201


YALE/DCS/tr640 A Parallel Version of the Fast Multipole Method
AUGUST/88/NA Supported By: ONR N00014-86-K-0310
Leslie Greengard
William Gropp

YALE/DCS/tr641 Spatial Reasoning About Mechanisms
AUGUST/88/AI Supported By: NSR IRI 8610241
Andrew Gelsey ITT (Partially)
Drew McDermott

YALE/DCS/tr642 Reivsed NISP Manual
AUGUST/88/AI Supported by: 43126-DAAA15-87-K-0001
Drew McDermott 43123-DAAA10-86-C-0604

YALE/DCS/tr643 Reasoning About Uncertainty in Fault - Tolerant
AUGUST/88/TH Distributed Systems (Revision of #604)
Michael Fischer Supported by: NSF DCR 8405478
Lenore Zuck

YALE/DCS/tr644 Case-Based Reasoning: A Research Paradigm
AUGUST/88/AI Supported by: ONR N00014-85-K-0108
Stephen Slade DCR 8657615

YALE/DCS/tr645 Explicit Routing in the Fluent Machine
AUGUST/88/SYS Supported by: ONR N00014-86-K-0310
Bjorn Lisper

YALE/DCS/tr646 Spectral Integration and Two-Point Boundary Value
AUGUST/88/NA Value Problems
Leslie Greengard Supported by: NSF Mathematical Sciences


YALE/DCS/tr647 Requests for Hints That Return No Hints
SEPT/88/TH Supported by: NSF IRI 8718975
Dana Angluin

YALE/DCS/tr648 Negative Results for Equivalence
SEPT/88/TH Supported by: NSF IRI 8718975
Dana Angluin

YALE/DCS/tr649 Learning With Localized Receptual Feilds
SEPT/88/SYS Supported by: ONR N00014-86-K-0310
John Moody AFOSR 88-0240
Christian Darken Perdue Army Subcontracts

YALE/DCS/tr650 On the Performance of Self-Execution Primitives in the
SEPT/88/NA PARTY Runtime System
Ravi Mirchandaney Supported by: ONR N00014-86-0310
Joel Saltz

YALE/DCS/tr651 Optimization of Computation Time for Systolic Arrays
SEPT/88/NA Supported by: ARO DAAL03-86-K-0158
Yi Wan Wong ONR N00014-85-K-0461
Jean-Marc Delosme Postdoctoral Fellowship

YALE/DCS/tr652 A Rapid Numerical Procedure for Determining Axisymetric
SEPT/88/NA Transfer Electric Electromgnetic Fields Via Boundary
Vladimir Rokhlin Intergrals
Ira Bernstein Supported by: IBM P00038437



YALE/DCS/tr653 Shuffle Permutations on Boolean Cubes
OCT/88/SYS Supported by: ONR N00014-86-K-0564
Lennart Johnsson
Ching-Tien Ho

YALE/DCS/tr654 * Learning With Localized Receptive Fields: A Speedy
OCT/88/SYS Alternative to Back Propagation
John Moody Supported by: ONR N00014-86-K-0310
Christian Darken AFOSR F49620-88-C0025


YALE/DCS/tr655 Preconditioned Krylov Solvers and Methods for Runtime
OCT/88/NA Loop Parallelization
Doug Baxter Supported by: ONR N00014-86-K-0310
Joel Saltz
Martin Schultz
Stanley Eisenstat

YALE/DCS/tr656 Report on the Functional Programming Language Haskell
OCT/88/SYS Supported by: NSF CCR-8451415
Paul Hudak ONR N00014-83-K-0610
Phil Wadler

YALE/DCS/tr657 Runtime Scheduling and Execution of Loops on
OCT/88/NA Message Passing Machines
Kay Crowley Supported by: ONR N00014-86-K-0310
Joel Saltz Perdue Army Subcontract
Ravi Mirchandaney
H. Scott Berryman


YALE/DCS/tr658 Unassigned


YALE/DCS/tr659 Equivalence Queries and DNF Formulas
NOV/88/TH Supported by: NSF IRI 8718975
Dana Angluin

YALE/DCS/tr660 The LogiCalc Manual
NOV/88/AI Supported by: DAAA-15-87-K-0001
Denys Duchier BRL / DARPA

YALE/DCS/tr661 Run-Time Parallelization and Scheduling of Loops
NOV/88/NA Supported by: ONR N00014-86-K-0310
Joel Saltz NASI 18107
Ravi Mirchandaney WASL 18605

YALE/DCS/tr662 Plan Analysis of Programs
NOV/88/AI Supported by: CCR-8612192
Stanley Letovsky

YALE/DCS/tr663 Fluent Parallel Computation
DEC/88/SYS Supported by: ONR N00014-86-K-0310
Abriham Ranade ONR N00014-86-K-0564


YALE/DCS/tr664 Synthesis of a Systolic Dirichlet Product Using
DEC/88/SYS Non-Linear Domain Contradiction
Marina Chen Supported by: ONR N00014-86-K-0564
Young-il Choo

YALE/DCS/tr665 On the Expressiveness of Purely Functional Operating
DEC/88/SYS Systems
Paul Hudak Supported by: DOE DE-FG02-86ER-25012:03
R. Sundaresh DARPA N00014-88-K-0573

YALE/DCS/tr666 Report on the Functional Programming Language Haskell
DEC/88/SYS Supported by: DOE DE-FG02-86ER-25012:03
Paul Hudak DARPA N00014-88-K-0573


YALE/DCS/tr667 Embebbing Hyper-Pyramids into Hypercubes
DEC/88/SYS Supported by: ONR N00014-86-K-0310
Ching-Tien Ho ONR N00014-84-K-0043
Lennart Johnsson lll

YALE/DCS/tr668 Optimal Architectures and Objective Functions for
DEC/88/SYS Associative Memory
John Moody Supported by: Perdue/Army Subcontract 57218

YALE/DCS/tr669 A Categorical Approach to Distributed Systems
JAN/89/TH Expressibilities and Knowledge
Ruben Michel Supported by: ONR N00014-82-K-0154


YALE/DCS/tr670 Expotential Lower Bounds for Constant Depth Circuits in
JAN/89/TH the Presence of Help Bits
Jin-yi Cai Supported by: NSF CCR-8709818

YALE/DCS/tr671 A Fast Algorithm for the Evaluation of Legendre
JAN/89/NA Expansions Supported by: ONR N00014-86-K-0310
Bradley Alpert
Vladimir Rokhlin

YALE/DCS/tr672 Adaptive Execution in Complex Dynamic Worlds
JAN/89/AI Supported by: DARPA DAAA15-87-K-0001
James Firby

YALE/DCS/tr673 Speedup of a Financial Application Using the Crystal
JAN/89/SYS Compilerfor Hypercubes
Marina Chen Supported by: ONR N00014-86-K-0310


YALE/DCS/tr674 A Prototype System for Automated Tactical Situation
JAN/89/AI Assessment
Drew McDermott Supported by: DAAB10-86-K-0604
NSF DCR-8405478

YALE/DCS/tr675 Parallel Programming in DIVACON
JAN/89/SYS Supported by: DOE DE-FG02-86ER-25021-03
Zhijing Mou
Paul Hudak

YALE/DCS/tr676 Polymorphic Array Operations in Divide-and-Conquer
JAN/89/SYS Supported by: DOE DE-RG02-86ER-2502103
Zhijing Mou
Paul Hudak

YALE/DCS/tr677 Runtime Aggregations of Recursion Relations
JAN/89/NA Supported by: ONR-06014-86-K-6310
Joel Saltz
H. Scott Berryman

YALE/DCS/tr678 Knowledge Acquisition Planning: Gaining Expertise
JAN/89/AI Through Experience
Larry Hunter ONR N00014-86-K-0564

YALE/DCS/tr679 Optimizing Tridiagonal Solvers for Alternating Direction
JAN/89/SYS Methods on Boolean Cube Multiprocessors
Lennart Johnsson Supported by: ONR N 00014-86-K-0310
Ching-Tien Ho

YALE/DCS/tr680 A Blocked Jacobi Method for the Symmetric Eigen Problem
FEB/89/NA Supported by: ONR N00014-86-K-0310
David Foulser

YALE/DCS/tr681 Fast Learning in Multi-Resolution Heirarchies
FEB/89/SYS Supported by: ONR N00014-86-K-0310
John Moody AFOSR F49620-88-CO025


YALE/DCS/tr682 Histogram Computation on Distributed Memory
FEB/89/SYS Architectures
Dimitris Gerogiannis Supported by: ONR N00014-86-K-0310
Stelios Orphanoudakis
Lennart Johnsson

YALE/DCS/tr683 Parallelism in Sequential Divided-and-Conquer--
FEB/89/SYS Extended Abstract--
George Zhijing Mou Supported by: DOE FG02-86ER250012
Steve Anderson
Paul Hudak

YALE/DCS/tr684 An Exploration of Asynchronous Data-Parallelism
FEB/89/SYS Supported by: ONR N00014-86-K-0310
Michael Littman
Chris Metcalf

YALE/DCS/tr685 Krylov Methods Preconditioned with Incompletely
FEB/89/NA Factored Matrices on the CM-2
Harry Berryman Supported by: ONR N00014-86-K-0310
Joel Saltz DAA-1101-88-C-0409
William Gropp and Purdue Army Subcontract

YALE/DCS/tr686 Algebraic Transformations of Objective Functions
MARCH/89/SYS Supported by: AFOSR 88-0240
Eric Mjolsness
Charles Garret

YALE/DCS/tr687 MARCEL: A Generate-Test-and-Debug (GTD)
MARCH/89/AI Impasse/Repair Model of Student Programmers
James C. Spohrer Supported by: NSF MDR-88-96240

YALE/DCS/tr688 Solvine Laplace Equations on the Connection Machine
MARCH/89/SYS Supported by: ONR N00014-86-K-0310
Min-You Wu

YALE/DCS/tr689 Embedding Meshes in Boolean Cubes with Graph
MARCH/89/SYS Decomposition
Ching-Tien Ho Supported by: ONR N00014-86-K-0310
Lennart Johnsson

YALE/DCS/tr690 The Implementation and Performance of Hypercube Linda
MARCH/89/SYS Supported by: NSF SBIR ISI-8704025
Robert Bjornson NSF CCR-8601920
Nicholas Carriero ONR N00014-86-K-0310
David Gelernter

YALE/DCS/tr691 A General Framework for Reason Maintenance
MARCH/89/AI Supported by: Signal Warfare #43126
Drew McDermott

YALE/DCS/tr692 On the Numerical Solution of Two-Point Boundary
MARCH/89/NA Value Problems
Leslie Greengard Supported by: ONR N00014-89-J-1527
Vladimir Rokhlin ONR N00014-86-K-0310



YALE/DCS/tr693 Efficient Compilation of Haskell Array Comprehensions
MARCH/89/SYS Supported by: NSF DCR 8451418
Paul Hudak DOE FG02-86ER25012
Steve Anderson

YALE/DCS/tr694 Using Queries to Identify Mu-Formulas
MARCH/89/TH Supported by: NSF IRI 8718975
Dana Angluin

YALE/DCS/tr695 Sets and Arrays as Data Structures for Parallel
APRIL/89/SYS Programming
Marina Chen Supported by: ONR N00014-86-K-0310
Andrew Kranin
Joseph Rodrigue

YALE/DCS/tr696 Fast Wavelet Transforms
APRIL/89/NA Supported by: ONR N00014-86-K-0310
Vladimir Rokhlin IBM P00038437
Coifman NSF Mathematical Sciences Postdoctoral Fellowship
Belkyin

YALE/DCS/tr697 Optimization of Processor Count for Systolic Arrays
APRIL/89/NA Supported by: ARO DAAL03-86-K-0158
Yiwan Wong ONR N00014-85-lll461
Jean-Marc Delsome DARPA N00014-88-K-0573

YALE/DCS/tr698 Experience with Lins on the iPSC / 2
APRIL/89/SYS Supported by: NSF DCR 8601920
Robert Bjornson DCR 8657615


YALE/DCS/tr699 The Theory and Practice of Semantic Program Analysis
MAY/89/SYS for Higher-Order Functional Programming Languages
Jonathan Young Supported by: NSF Presidential Young Investigator


YALE/DCS/tr700 A Fast Algorithm for the Evaluation of Heat Potentials
MAY/89/NA Supported by: IBM P00038437
Leslie Greengard NSF Mathematical Sciences Postdoctoral Fellowship
J. Strain DARPA / AFOSR f-49620-87-C-0065

YALE/DCS/tr701 Transformations of Broadcasts into Propagations in
MAY/89/NA Systolic Algorithms
Yiwan Wong Supported by: ARO DAAL03-86-K-0158
Jean-Marc Delosme ONR N00014-85-K-0461


YALE/DCS/tr702 Compilation by Program Transformation
MAY/89/SYS Supported by: NSF DCR 8451415
Richard Kelsey DOE FG0286ER25012

YALE/DCS/tr703 Single Assignment Semantics for Imperative Programs
MAY/89/SYS Supported by: ONR N00014-86-K-0310
Bjorn Lisper ONR N00014-86-K-0310

YALE/DCS/tr704 Path Analysis and the Optimization of Non-strict
MAY/89/SYS Functional Languages
Adrienne Bloss Supported by: NSF Presidential Young Investigator
Grant CCR 8451415

YALE/DCS/tr705 Tight Bounds for the Sequence Transmission Problem
MAY/89/TH Supported by: NSF CCR 8405478
Da Wai Wang
Lenore Zuck

YALE/DCS/tr706 A Fan-in Algorithm for Distributed Sparse Numerical
MAY/89/NA Factorization
C. Ashcraft Supported by: ONR N00014-86-K-0310
S.C. Eisenstat NSF CR-85-21451
J.W.H. Liu DARPA N00014-88-K-0573

YALE/DCS/tr707 Self-Stabilizing Petri Nets
MAY/89/TH Supported by: NSF CCR 8405478
Gadi Taubenfeld Scholarship from Hebrew Technical Institute

YALE/DCS/tr708 Possibility and Impossibility Results in a Shared
MAY/89/TH Memory Environment
Gadi Taubenfeld Supported by: Technion V.P.R. Funds
Grant DCR-8451415

YALE/DCS/tr709 Leader Election in the Presence of 'N-1' Initial Failures
MAY/89/TH Supported by: NSF CCR-8405478
Gadi Taubenfeld Scholarship from Hebrew Technical Institute

YALE/DCS/tr710 Question-Driven Understanding: On Integrated Theory of
MAY/89/AI Story Understanding, Memory and Learning
Ashwin Ram Supported by: DARPA

YALE/DCS/tr711 Connectionist Variable-Binding by Optimization
JUNE/89/AI Supported by: AFOSR 88-0240
P. Anandan DARPA DAAA15-87-K-00001
Eric Mjolsness

YALE/DCS/tr712 Computer Story-Writing: The Role of Reconstructive
JUNE/89/AI and Dynamic Memory
Natalie Dehn Supported by: ONR N00014-82-C-0424
Foundation for Research in Electronics, Computers and
Communications
NSF CCR-8405478

YALE/DCS/tr713 Channel Routing for Intergrated Circuits
Scholarship from Hebrew Technical Institute
JUNE/89/SYS 1 Supported by: DARPA-ONR-N00014-88-K-0459
Ron Pinter NSF MIP-86119335
Andrea LaPaugh ONR-N00014-89-J-1906
Wellner Research Fund

YALE/DCS/tr714 Shared Tuple Memories, Shared Memories, Buses and
JULY/89/SYS 3 LANS-Linda Implementations Across the Spectrum of
Jerrold Leichter Connectivity
ONR N00014-85-K-0108
AFOSR F49620-88-C-0058
AFOSR 85-0343

YALE/DCS/tr715 Implementing Linda for Distributed and Parallel
JULY/89/SYS 3 Proccessing
Jerrold Leichter Supported by: CCR-8601920
Robert Whiteside CCR-8657615

YALE/DCS/tr716 Coordination Languages and Their Significance
JULY/89/SYS 3 Supported by: CCR-8601920
Nicholas Carriero CCR-8657615
David Gelernter DARPA DAAA15-87-K-00001

YALE/DCS/tr717 Performance Study on the Connection Machine
JULY/89/SYS 1 Supported by: ONR -N00014-86-K-0310
Min-You Wu
Wei Shu

YALE/DCS/tr718 The Fast Gauss Transform
JULY/89/NA Supported by: ONR N00014-89-S-1527
L. Greengard IBM P00038437
J. Strain NSF Mathematical Fellowship

YALE/DCS/tr719 Efficient Breadth-First Expansion on the Connection Supported by: CCR 8601920
CCR 8657615
JULY/89/SYS 1 Machine or : Parallel Processing of L-Systems
R. Pinter Supported by: ONR N00014-89-J-1906
S. Pinter NSF DCR-8405477

YALE/DCS/tr720 Efficient Compilation of Array Expressions for the
JULY/89/SYS 1 Connection Machine
L. Ortiz ONR N00014-89-J-1906
R. Pinter

YALE/DCS/tr721 Multiplication of Arbitrarily Shaped Matrices on Boolean
JULY/89/SYS 1 Cubes Using the Full Communication Bandwidth
S. Johnsson Supported by: ONR N00014-86-K-0310
Ching-Tien Ho

YALE/DCS/tr722 UNASSIGNED

YALE/DCS/tr723 Domain Decomposition on Parallel Computers
JULY/89/NA Supported by: ONR N00014-86-K-0310
William Gropp DCR-8521451
David Keyes

YALE/DCS/tr724 Node Ordering and Concurrency in Structurally Symetric
AUG/89/SYS Sparse Problems
I.S. Duff Supported by: ONR N00014-86-K-0310
Lennart Johnsson

YALE/DCS/tr725 Alignment and Partitioning of Index Domains: Compilation
AUG/89/SYS Techniques for Generating Parallel Programs
Jingke Li Supported by: ONR N00014-89-J-1906
Marina Chen

YALE/DCS/tr726 Domain Decomposition with Local Mesh Refinement
AUG/89/NA Supported by: ONR N00014-86-K-0310
William Gropp NSF DCR 8521451
David Keyes Dept. of Mechanial Engineering


YALE/DCS/tr727 Parallel Computation of Multiple Biological Sequence
AUG/89/NA Comparisons
David Foulser Supported by: ONR N00014-86-J-1906
Nolan Core National Lobrary of Medicine NIH


YALE/DCS/tr728 Parallel Solution of the Symetric of the Tri-Diagonal
AUG/89/NA Eigen Problem
E.R. Jessup Supported by: DARPA N00014-88-K-0573

YALE/DCS/tr729 Bounds on Block Diagonal Preconditioning
AUG/89/NA Supported by: ONR N00014-89-J-1906
Mark Yan-Ming Chang
Martin Schultz

YALE/DCS/tr730 Program Optimization and Parallelization Using Idioms
AUG/89/SYS Supported by: ONR N00014-89-J-1906
Ron Pinter NSF DCR 8405478
Shlomit Pinter

YALE/DCS/tr731 Dilation d Embebbing of a Hyper-Pyramid into a Hypercube
SEPT/89/SYS Supported by: ONR N00014-86-K-0310
Ching-Tien Ho YALE NSF EET-88707109
Lennart Johnsson T 15 LM 07056

YALE/DCS/tr732 A Study of Dissipation Operators for the Euler Equations
SEPT/89/SYS and a Three-Dementional Channel Flow
Lennart Johnsson Supported by: Swedish Board of Technical Developement
Pelle Ollson REG-NO 61008767


YALE/DCS/tr733 Element Order and Convergence Rate of the Conjugate
SEPT/89/SYS Gradient Method for Data Parallel
Lennart Johnsson Supported by: Thinking Machines Corp.
Kapil K. Mathur

YALE/DCS/tr734 A Radix - 2 FFT on the Connection Machine
SEPT/89/SYS Supported by: Thinking Machines Corp.
L. Johnsson
Robert L. Krawitz
Roger Frye
Douglas MacDonald

YALE/DCS/tr735 QCD with Dynamical Fermions on the Connection Machine
SEPT/89/SYS Supported by: Thinking Machines Corp.
Lennart Johnsson
Ralph G. Brickner
Rajan Gupta
Clive F. Baillie

YALE/DCS/tr736 Matrix Multiplication on the Connection Machine
SEPT/89/SYS Supported by: Thinking Machines Corp.
Lennart Johnsson ONR N00014-86-K-0310
Tim Harris
Kapal K. Mathur

YALE/DCS/tr737 A Study of Dissipation Operators for the Euler Equation
SEPT/89/SYS and a Three-Dementional Channel Flow (and)
Pele Olsson Boundary Modification of the Dissipation Operators for
S.L. Johnsson the Three-Dementional Euler Equation


YALE/DCS/tr738 Distributed RC Delay Line Model and MOS PLA Timing
SEPT/89/SYS Estimation
Chao-Lin Chiang Supported by: Thinking Machines Corp.
Lennart Johnsson

YALE/DCS/tr739 TSNET: A Linda Implementation for Networks of Unix-Based
SEPT/89/SYS Computers
Mauricio Arango Supported by: NSF CCR 8601920
Donald Berndt NSF CCR 8657615


YALE/DCS/tr740 The Finite Element Method on a Data Parallel Architecture
SEPT/89/SYS Supported by: Thinking Machines Corp.
Kapil Mathur
Lennart Johnsson

YALE/DCS/tr741 Data Parallel Super Computing
SEPT/89/SYS Supported by: Thinking Machines Corp.
Lennart Johnsson Supported by: STU 61008767
Jacob Letterstedts
Swedish Acadamy of Sciences
ONR N0014-86-K-0310

YALE/DCS/tr742 The Finite Element Method on a Data Parallel Computing
SEPT/89/SYS System
Kapil Mathur Supported by: Thinking Machines Corp.
S. L. Johnsson

YALE/DCS/tr743 Data Structures and Algorithms for the Finite Element
SEPT/89/SYS Method on a Data Parallel Super Computer
L. Johnsson Supported by: Thinking Machines Corp.
Kapil Mathur ONR N00014-86-K-0310

YALE/DCS/tr744 Is Explicit Parallelism Natural? Hybrid DB Search and
SEPT/89/SYS Sparse LDL Factorization Using Linda
C. Ashcraft Supported by: NSF CCR-8601920
N. Carriero NSF CCR-8657615
D. Gelernter ONR N00014-86-K-0310

YALE/DCS/tr745 Discretions of the Steady State Semiconductor Device
OCT/89/NA Equations
Ilan Efrat Supported by: ONR N00014-89-J-1906

YALE/DCS/tr746* Embebbing Meshes in Boolean Cubes by Graph Decomposition
SEPT/89/SYS Supported by: AFOSR 890382
S.L. Johnsson ONR N00014-86-K-0310
Ching-Tien Ho *Replaces #tr689


YALE/DCS/tr747 A Dataparallel Implementation of an Explicit Method for
OCT/89/SYS the Three-Dementional Compressable Navier-Stokes
Pelle Olsson Equation
Lennart Johnsson Supported by: ONR N00014-86-K-0310

YALE/DCS/tr748 Generalized Secret Sharing and Monotone Functions
OCT/89/SYS
Josh Benaloh
Jerrold Leichter

YALE/DCS/tr749 The Parallel Multipole Method on the Connection Machine
OCT/89/SYS Supported by: Thinking Machines Corp.
Lennart Johnsson
Feng Zhu

YALE/DCS/tr750 Cooley-Tukey FFR on the Connection Machine
OCT/89/SYS Supported by: Thinking Machines Corp.
S.Lennart Johnsson AFOSR-89-0382
Robert L. Krawitz
Robert Frye
Douglas MacDonald

YALE/DCS/tr751 High Radix FFT on Boolean Cube Networks
OCT/89/SYS Supported by: AFOSR 89-0382
Lennart Johnsson Thinking Machines Corp.
Michel Jacquemin AFOSR 890382
Ching-Tien Ho

YALE/DCS/tr752 Regression Planning
NOV/89/AI Supported by: DAAA15-87-K-0001
Drew McDermott Ballistic Research Lab

YALE/DCS/tr753 Experience with the Conjugate Gradient Method for Stress
NOV/89/SYS Analysis on a Data Parallel Supercomputer
S.Lennart Johnsson Supported by: Thinking Machines Corp.


YALE/DCS/tr754 Optimal Communication in Distributed and Shared
DEC/89/SYS Models of Computation
S.Lennart Johnsson Supported by: AFOSR 89-0382

YALE/DCS/tr755 Synthesis of Explicit communication from Program
DEC/89/SYS References
Jingke Li Supported by: ONR N00014-89-J-1906
Marina Chen

YALE/DCS/tr756 Projecting Plans for Uncertain Worlds
JAN/90/AI Supportedby: Army DAA15-87-K-0001
Steve Hanks

YALE/DCS/tr757 CS661 Lecture Notes
JAN/90/TH Supported by: NSF / DARPA CCR-8908285
Prabhakar Raghavan

YALE/DCS/tr758 Non-Strict Monoloitic Arrays in a Strict Context
JAN/90/SYS Supported by: NSF / PYI CCR-8451415-04
Steve Anderson AFOSR 89-0382

YALE/DCS/tr759 Memo-Functions in Alfl
JAN/90/SYS Supported by: NSF CCR-8809919
Pradeep Varma
Paul Hudak

YALE/DCS/tr760 Theory and Pragmatics of Compiling Efficient Parallel
JAN/90/SYS Code
Marina Chen Supported by: ONR N00014-86-K-0564
Young-il Choo ONR N00014-86-K-0310
Jingke Li ONR N00014-89-J-1906

YALE/DCS/tr761 Static and Dynamic Semantics Processing
FEB/90/SYS Supported by: DARPA N00014-88-K-0573
Charles Consel
Oliver Danvy

YALE/DCS/tr762 Some Remarks on the Generalised Bareiss and Levinson
FEB/90/NA Algorithms
Ilse Ipsen Supported by: DARPA N00014-88-K-0573

YALE/DCS/tr763 Linear Algorithms for Analysis of Minimum Spanning and
FEB/90/TH Shortest Path Trees of Planar Graphs
Heather Booth Supported by: ONR N00014-87-K-0467
Jeffery Westbrook NSF CCR-8610181

YALE/DCS/tr764 Boolean Cube Emulation of Butterfly Networks Encoded
FEB/90/SYS by Gray Code
Lennart Johnsson Supported by: AFOSR 89-0382
Ching-Tien Ho NSF / DARPA CCR-8908285

YALE/DCS/tr765 Mathematical Foundations for Fast Algorithms for the
FEB/90/NA Biharmonic Equation
Peter Farkas Supported by: ONR N00014-89-J-1906

YALE/DCS/tr766 Melinda: Linda with Multiple Tuple Spaces
FEB/90/SYS Supported by: CCR 8657615
Susanne C. Hupfer

YALE/DCS/tr767 Improving the Accuracy of Inverse Iteration
FEB/90/NA Supported by: DARPA N00014-88-K-0573
Elizabeth R. Jessup
Ilse C.F. Ipsen

YALE/DCS/tr768 Efficient Communication on Hypercubes
MARCH/90/TH Supported by: NSF / DARPA CCR-8908285
David Greenberg NSF CCR-8807426
Sandeep N. Bhatt AFOSR 89-0382

YALE/DCS/tr769 Evaluating Explanations
MARCH/90/AI Supported by: DARPA ONR N00014-82-K-0149
David Leake ONR N00014-85-K-0108

YALE/DCS/tr770 Incremental Computation via Partial Evaluation
MARCH/90/SYS Supported by: NSF CCR-8451415-05
R.S. Sundaresh
Paul Hudak

YALE/DCS/tr771 The Wakeup Problem
MARCH/90/TH Supported by: ONR N00014-89-J-1980
Michael Fischer NSF CCR 8405478
Shlomo Moran Hebrew Technical Institute Scholarship
Steven Rudich Technion V.P.R. Funds-Wellner Research
Gadi Taubenfeld Foundation for Research in Electronics,

YALE/DCS/tr772 Sub-domain Dependency Test and Scheduling Algorithms for
MARCH/90/SYS Massively Parallel Computing
Lee-Chung Lu Supported by: ONR N00014-86-K-0310
Marina Chen ONR N00014-86-K-0564
AFOSR 85-0343
87-0295
F49620-88-C-0058

YALE/DCS/tr773 Parallel Performance of Domain-Decomposed Preconditioned
MARCH/90/NA Krylov Methods for PDEs with Adaptive Refinement
William Gropp Supported by: ONR N00014-86-K-0310
David Keyes NSF DCR-8521451

YALE/DCS/tr774 From Interpreting to Compiling Binding Times
MARCH/90/SYS Supported by: DARPA N00014-88-K-0573
Charles Consel
Olivier Danvy

YALE/DCS/tr775 Data Parallel Algorithms for Finite Element Method
MARCH/90/SYS Supported by: Thinking Machines Corporation
Kapil K. Mathur Computers & Communications administered by
S. Lennart Johnsson the Israel Academy of Sciences & Humanities

YALE/DCS/tr776 Domain Decomposition Algorithms for Elliptic Partial
APRIL/90/NA Differential Equations (Thesis)
Diana C. Resasco Supported by: DOE DE-AC02-81ER-0996
ONR N00014-89-J-1906


YALE/DCS/tr777 Report on the Programming Language Haskell
APRIL/90/SYS Supported by: DOE DE-FG02-86ER-25012:03
Paul Hudak DARPA N00014-88-K-0573
et al

YALE/DCS/tr778 Supercomputers: Past and Future
APRIL/90/SYS Supported by: Thinking Machines Corporation
S. Lennart Johnsson

YALE/DCS/tr779 Optimal Communication Primitives and Graph Embeddings
APRIL/90/SYS on Hypercubes (Thesis)
Ching-Tien Ho Supported by: ONR N00014-84-K-0043


YALE/DCS/tr780 Binding time Analysis for Higher Order Untyped Functional
APRIL/90/SYS Languages
Charles Consel Supported by: DARPA N00014-88-K-0573

YALE/DCS/tr781 Semantics-Directed Generation of a Prolog Compiler
APRIL/90/SYS Supported by: DARPA N0014-88-K-0573
Charles Consel ONR N00014-86-K-0310
Siau Cheng Khoo IBM P00038437

YALE/DCS/tr782 TupleScope: A Graphical Monitor and Debugger for Linda-
APRIL/90/SYS Based Parallel Programs
Paul Bercovitz Supported by: NSF CCR 8657625
Nicholas Carriero ONR N00014-89-J-1906

YALE/DCS/tr783 Semantics and Analyst of First-Class Tuple-Spaces
APRIL/90/SYS Supported by: NSF CCR-8657615
Suresh Jagannathan ONR N00014-89-J-1906

YALE/DCS/tr784 Data Dependencies and Space-Time Algebras in Parallel
JULY/90/SYS Programming
Magne Haveraaen Supported by: Norwegian Research Council for the Sciences
ONR N00014-86-K-0564
ONR N00014-86-K-0310
ONR N00014-89-J-1906

YALE/DCS/tr785 Automated Reasoning About Machines
APRIL/90/AI Supported by: NSF IRI 8812790
Andrew Gelsey

YALE/DCS/tr786 Meta-Crystal -- A Metalanguange for Parallel-Program
APRIL/90/SYS Optimazation
J. Allan Yang Supported by: ONR N00014-89-J-1906
Young-il Choo

YALE/DCS/tr787 The Complexity of Reshaping Arrays on Boolean Cubes
APRIL/90/SYS Supported by: AFOSR-89-0382
Lennart Johnsson ONR N00014-86-K-0310
Ching-Tien Ho

YALE/DCS/tr788 The Semantics of Tuple Space and Correctness of an
APRIL/90/SYS Implementation
Keld Kondrup Jensen Supported by: Danish Government

YALE/DCS/tr789 Constraints for the Early Detection of Discontinuity
MAY/90/AI from Motion
Michael J. Black University of Bergen
P. Anandan ONR N00014-89-J-1906

YALE/DCS/tr790 Neutral Networks for Model-Based
MAY/90/SYS Recognition
Gene Gindi Suppt. by :AFOSR 88-0240
Eric Mjolsness
P. Anandan

YALE/DCS/tr791 Embedding Meshes into Small Boolean Cubes
MAY/90/SYS
Ching-Tien Ho Suppt. by: ONR N00014-86-K-0310
Lennart Johnsson

YALE/DCS/tr792 Secret Bit Transmission Using a Random Deal of Cards
MAY/90/TH
Michael J. Fischer Suppt. by: NSF DCR-8405478
Michael S. Paterson ONR N00014-82-K-0154
Charles Rackoff ONR N00014-89-J-1980

YALE/DCS/tr793 Embedding Three-Demensional Meshes in Boolean Cubes
MAY/90/SYS by Graph Decomposition
Ching-Tien Ho
Lennart Johnson Suppt by: DROSR-89-0382


YALE/DCS/tr794 Linda coordination language; subsystem Kernal
MAY/90/SYS architecture (on transputers)
Steven Ericsson Zenith

YALE/DCS/tr795 A Formal Model for Divide-and-Conquer and its
MAY/90/SYS Parallel Realization
Z.G. Mou Suppt. by: CCR-8809919

YALE/DCS/tr796 A Connectionist Model of Morphogenesis
MAY/90/SYS
Eric Mjolsness Suppt by: AROSR 88-0240
David H. Sharp
John Reinitz

YALE/DCS/tr797 Multiscale Optimization in Neural Nets
MAY/90/SYS
Eric Mjolsness Suppt by: AROSR 88-0240
Charles Garrett
Willard L. Miranker

YALE/DCS/tr798 Modularity & Concurrency through Environment-
MAY/90/SYS based reflection. ONR N00014-86-K-0310
Suresh Jagannathan

YALE/DCS/tr799 How to Create a Failure Tolerant
JUNE/90/TH Disturbed System.
Jonathan Hochman Unsupported

YALE/DCS/tr800 Knowledge in Distributed Byzantine
JUNE/90/TH Environments.
Ruben Michel Suppt. by: NSF DCR-8405478



YALE/DCS/tr801 The Trade off Between Processor Speed
JUNE/90/SYS and Paralellism for Supercomputers
Min-You Wu Suppt. by: ONR N00014-86-K-0310

YALE/DCS/tr802 On the Numerical Solution of Two-Point
JUNE/90/NA Boundary Value Problems II
V. Rokhlin Suppt. by: ONR N00014-89-J-1527
P. Starr CCR-8657615

YALE/DCS/tr803 PP is Closed Under Intersection. Suppt. by: NSF CCR-8601920
JUNE/90/TH Suppt. by: NSF CCR-8958528
Richard Beigel NSF CCR-8808949
Nick Reingold ONR N00014-86-K-0310
Daniel Spielman

YALE/DCS/tr804 Randomized Algorithms for The List
JUNE/90/TH Update Problem.
Nick Reingold Suppt. by: NSF CCR-8808949
Jeffery Westbrook CCR-8958528
ONR N00014-82-K-0154

YALE/DCS/tr805 Optimal Off-line Algorithms for List
JUNE/90/TH Update Problems.
Nick Reingold Suppt. by: NSF CCR-880849
Jeffery Westbrook CCR-8958528
ONR N00014-89-5-1980

YALE/DCS/tr806 A Scheme for supporting automatic
JUNE/90/NA data migration on multicomputers
S. Mirchandaney Suppt. by: NSF-ASC-8819374
J. Saltz
P. Mehrotra
S. Berryman

YALE/DCS/tr807 Execution time support for adaptive scientific
JUNE/90/NA algorithms on distributive memory machines
S. Berryman Suppt. by: NSF-ASC-8819374
J. Saltz
J. Scroggs

YALE/DCS/tr808 Real-Time Performance, Parallelism and
JULY/90/SYS Program Visualization in Medical Monitoring.
M. Factor Suppt. by: TI5-LM-07056 Grant from Yale Provost
D. Gelernter RO1-LM-04336
C. Kolb CCR-8601920
P. Miller CCR-8657615
D. Sittig N00014-86-K-0310

Grant from Yale Provost
YALE/DCS/tr809 Programming with Ease: Semiotic definition
JULY/90/SYS of the language
S. Ericsson Zenith Suppt. by: CCR 8657615

YALE/DCS/tr810 A Comparison of Three Column-based Distributed Sparse
JULY/90/NA ractorization Schemes
Cleve Ashcraft Supported by: ONR N00014-86-K-0310
Stanley Eisenstat NSF-DCR-85-21451
Joseph H. Liu
Andrew H. Sherman

YALE/DCS/tr811 Numerical Techniques for the Solution of the Time-
JULY/90/NA dependent Schrodinger Equation and their Parallel
Faisal Saied Implementation


YALE/DCS/tr812 A Linear Time Algorithm for DNA Sequencing
JULY/90/NA Supported by: ONR N00014-86-J-1906
David E. Foulser National Library of Medicine NIH grant T15 LM07056
Whittaker Foundation

YALE/DCS/tr813 The Perceptron Strikes Back
JULY/90/TH Supported by: NSF CCR-8808949
Richard Beigel CCR-8958528
Nick Reingold CCR-8958528 under REU Supplement
Daniel Spielman

YALE/DCS/tr814 Sparse Representation of Smooth Linear Operators
AUG/90/NA Supported by: ONR N00014-89-J-1906
Bradley Keith Alpert

YALE/DCS/tr815 Parallel Computation and FASTA: Confronting the Problems
AUG/90/SYS of Parallel Data-base Search for a Fast-Sequence
Perry Miller Comparison Algorithm
Prakash Nadkarni Supported by: NIH HR01 LM 05044
Nicholas Carriero
Supported by: ONR N00014-86-K-0310

YALE/DCS/tr816 Systematic Applications of Loop Transactions
AUG/90/SYS Supported by: ONR N00014-89-J-1906
Marina Chen N00014-90-J-1987
Lee-Chung Lu ONR N00014-88-K-0262
ONR N00014-89-J-1671

YALE/DCS/tr817 Domain Morphisms: A New Construct for Parallel
AUG/90/SYS Programming and Formalizing Program Optimization
Marina Chen Supported by: ONR N00014-89-J-1906
Young-il Choo N00014-90-J-1987

YALE/DCS/tr818 Experience with the Process Trellis Software
AUG/90/SYS Architecture
Michael Factor Supported by: National Library of Medicine
David Gelernter TI5-LM-07056


YALE/DCS/tr819 Improved Bounds on Coherence and Checkability
SEPT/90/TH Supported by: NSF CCR-8808948
Richard Beigel CCR-8958528
Joan Feigenbaum

YALE/DCS/tr820 Partial Evaluation in Parallel
SEPT/90/SYS Supported by: DARPA N00014-88-K-0573
Charles Consel
Olivier Danvy

YALE/DCS/tr821 True Bigness
SEPT/90/SYS Suppt. by: National Library of Medicine:
Michael Factor T15-LM-07056
David Gelernter NSF CCR-8657615

YALE/DCS/tr822 A Model for Incremental Motion Estimation
SEPT/90/AI
Michael Black
P. Anandan Unsupported

YALE/DCS/tr823 On ACC
SEPT/90/TH Suppt. by: NSF CCR-8808949
Richard Beigel CCR-8958528
NSF CCR-8657615

YALE/DCS/tr824 Parellel Programming Transformation using a
SEPT/90/SYS Metal language
J. Allen Yang Suppt. by: ONR-N00014-90-J-1987
Young-il Choo

YALE/DCS/tr825 Parellel Programming with Theory Morphisms
SEPT/90/SYS Suppt. by: ONR-N00014-90-J-1987
J. Allen Yang
Young-il Choo

YALE/DCS/tr826 The Hypercomputer: A Network Process
SEPT/90/SYS Management System
David Kaminsky Suppt. by: NSF CCR-8657615

YALE/DCS/tr827 Convergence Rate Estimate for A Domain
OCT/90/NA Decomposition Method
Xiao-Chuan Cai Suppt. by: DCR-8521451
William D. Gropp N00014-86-K-0310
David E. Keyes ECS-8957575



YALE/DCS/tr828 Building Incremental Programs Using Partial Evaluation
OCT/90/SYS Suppt. by: DARPA N00014-88-K-0573
Raman Sundaresh

YALE/DCS/tr829 Automating the Coordination of
OCT/90/SYS Interprocessor Communication
Jinge Li Suppt. by: ONR N00014-89-J-1906
Marina Chen N00014-90-J-1987

YALE/DCS/tr830 YALE - The Yale Automated Linda Editor
OCT/90/SYS Suppt. by: NSF CCR 8657615
Shakil Ahmed

YALE/DCS/tr831 Inside Linda
OCT/90/SYS Suppt. by: NATO grant awarded by the Italian
Paolo Ciancarini Consiglio Nazionale delle Ricerche, Progretto


YALE/DCS/tr832 The Process Trellis Software Architecture
OCT/90/SYS for Parallel, Real-Time Monitors
Michael E. Factor Suppt. by: NSF CCR-8657615 IBM
3M Company

YALE/DCS/tr833 New Loop Transformation Techniques for
OCT/90/SYS Massive Parallelism
Lee-Chung Lu Suppt. by: ONR N00014-89-J-1906
Marina Chen N00014-90-J-1987

YALE/DCS/tr834 Global Optimization of Interprocedural
OCT/90/SYS Data Movement
Marina Chen Suppt. by: ONR N00014-89-J-1906
Jan-Jan Wu N00014-90-J-1987

YALE/DCS/tr835 Robust Dynamic Motion Estimation Over Time
NOV/90/AI Suppt. by: DARPA DAAA15-87-K-0001
Michael J. Black NASA RTOP 506-47
P. Anandan

YALE/DCS/tr836 Compiling Inheritance using Partial Evaluation
DEC/90/SYS Suppt. by: NSF CCR-8809919
Siau Cheng Khoo Finalizzato Calcolo Parallelo
R.S. Sundaresh

YALE/DCS/tr837 Wavelets for the Fast Solution of Second
DEC/90/NA Kind Integral Equations
B. Alpert Suppt. by: Dept. of Mathematics & Lawrence Berkeley Lab.,
C. Beylkin University of California
R. Coifman Schlumberger-Doll Research, Ridgefield, CT.
V. Rokhlin ONR N00014-88-K-0020


YALE/DCS/tr838 On the Inverse Scattering Problem for the
DEC/90/NA Helmholtz Equation in One Demension
Y. Chen Suppt. by: DARPA DMS-901-2751
V. Rokhlin ONR-N00014-89-J-1527


YALE/DCS/tr839 An Informal Operational Semantics of C-Linda V2.3.5
DEC/90/SYS Suppt. by: NSF CCR-8657615
J. Narem Jr.

YALE/DCS/tr840 Crystal Reference Manual, Version 3.0
JAN/91/SYS Suppt. by: ONR N0001-90-J-1987
Michel Jacquemin NSF 47097
J. Allan Yang

YALE/DCS/tr841 A Fast Algorithm for the Evaluation of Trigonometric Series
JAN/91/NA Suppt. by: NSF DMS 9012751
Aloke Dutt ONR N00014-89-J-1527
ONR N00014-86-K-0310
IBM P000 38486

YALE/DCS/tr842 A Lograngian Approach to Fixed Points
JAN/91/AI Suppt. by: AFOSR 88-0240
Eric Mjolsness
Charles Garrett
Willard L. Mirankar

YALE/DCS/tr843 Polynomial Interpolation, Threshhold Circuits, and the
JAN/91/TH Polynomial Hierarchy
Richard Beigel Suppt. by: NSF CCR 8958528
ONR-N00014-89-J-1906
BBBBBBBB 38437

YALE/DCS/tr844 Randomized Algorithms for Multiprocessor Page
JAN/91/TH Migration
Jeffrey Westbrook Suppt. by: NSF CCR-9009753

YALE/DCS/tr845 Genetic Algorithms for Genetic Neural Nets
FEB/91/AI Suppt. by: AROSR 88-0240
David H. Sharp
Jon Reinitz
Eric Mjolsness

YALE/DCS/tr846 Design Implementation, and Applications of
FEB/91/SYS X a Metalanguage for Parallel-Program Transformation
J. Allan Yang Suppt. by: ONR N00014-90-J-1987
Young-il Choo

YALE/DCS/tr847 Multiple Trellises and the Intelligent
FEB/91/SYS Cardiovascular Monitor
Michael Factor Suppt. by: Whitaker Foundation
David Gelernter National Library of Medicine
Dean Sittig (T15-LM07056)

YALE/DCS/tr848 Space & Time Bases for the Sequentialization of
MAR/91/NA Systolic Array Designs
Alain Darte Suppt. by: DARPA N00014-88-K-0573
Jean-Marc Delosme ESPRIP & NANA

YALE/DCS/tr849 Crystal Compiler Primer: Version 3.0
MAR/91/SYS Suppt. by: ONR N00014-90-J-1987
Michael Hemy NSF DARPA CCR-8908285

YALE/DCS/tr850 Monitoring Semantics: A Formal Framework
MAR/91/SYS for Specifying, Implementing, & Reasoning
A. Kishon about execution monitors
P. Hudak Suppt. by: DARPA N00014-88-K-0573
C. Consel

YALE/DCS/tr851 The Design, Implementation, and Performance of a
FEB/91/SYS Database-driven Expert System
S. Fertig Suppt. by: NSF-CCR-8657615
D. Gelernter

YALE/DCS/tr852 Software Backplanes, Realtime Data Fusion and the Process
MAR/91/SYS Trellis
M. Factor Suppt. by:
D. Gelernter

YALE/DCS/tr853 Realiable Communication Over Unreliable Channels
APR/91/TH Suppt. by: Research Foundation for Imnformation Technology,
Yehuda Afek University of Sydney; Dept. of Computer Science
Hagit Attiya Tel-Aviv University; IBM Fellowship;
Alan Fakete ONR N00014-85-K-0168, ONR N00014-91-J-1046,
Michael Fischer ONR N00014-85-K-0445, and ONR N00014-82-K-0154;
Nancy Lynch by NSF grants CCR-8611442, CCR-8915206,
Yishay Mansour IRI-901557D, DCR-8405478, CCR-8910289; and by
Da-Wei Wang DARPA contracts N00014-89-J-1988,
Lenore Zuck N00014-87-K-0825

YALE/DCS/tr854 Bayesian Inference on Visual Grammars by Neural Nets that
APR/91/SYS Optimize
Eric Mjolsness Suppt. by: AFOSR 88-0240

YALE/DCS/tr855 Secret Key Exchange Using a Random Deal of Cards
APR/91/TH Suppt. by: IRI-9015570
Michael J. Fischer
Rebecca N. Wright

YALE/DCS/tr856 Real-Time Sequence Transmission Problem
MAY/91/TH Suppt. by: NSF CCR-8910289
Da-Wei Wang IRI-9015570
Lenore Zuck IBM Grant Fellowship

YALE/DCS/tr857 Expressive Power of I/0 Automata
MAY/91/TH Suppt. by: NSF CCR-8910289
Nicholas Reingold IRI-9015570
Da-Wei Wang IBM Grant Fellowship
Lenore Zuck

YALE/DCS/tr858 Parallelizing FORTRAN Programs for Massively Parallel
JUNE/91/SYS Machines via Crystal
Marina Chen Suppt. by: NSF CCR-8098285
Dong-Juan Chen ONR N00014-91-J-1559

YALE/DCS/tr859 Parallel Subspace Method for non-Hermitian Eigen
JUNE/91/NA Problems on the Connection Machine (CM2)
Serge Petiton Suppt. by: ONR N00014-89-J-1906


YALE/DCS/tr860 * Full Utilization of Communication Resources
JUNE/91/TH Suppt. by: NSF / DARPA CCR--8908285
David Saks Greenberg NSF CCR-8807426


YALE/DCS/tr861 * Robot Planning
JULY/91/AI Suppt. by: DARPA / BRL contract DAA15-87-K-0001
Drew McDermott

YALE/DCS/tr862 * Logi-Calc: An Enviornment for Interactive Proof
JULY/91/AI Development
Denys Duchier Suppt. by: DARPA / BRL DAA15-87-K-0001



YALE/DCS/tr863 UNASSIGNED

YALE/DCS/tr864 A Reactive Plan Language
AUG/91/AI Suppt. by: DARPA /BRL contract DAA15-87-K-0001
Drew McDermott DARPA /ONR N00014-91-J-1577
INRIA Postdoctoral Fellowship

YALE/DCS/tr865 Parameterized Partial Evaluation Extended Version
AUG/91/SYS Suppt. by: NSF CCR-8809919
Charles Consel DARPA N00014-88-K-0573
Siau Cheng Khoo AFOSR 89-0382

YALE/DCS/tr866A Perturbation Theory for the Solution of Linear Systems
AUG/91/NA of Equations and Least Squares Problems
Shivkumar Chandrasekaran
Ilse Ipsen Suppt. by: DARPA N00014-88-K-0573


YALE/DCS/tr866B Experience with Linda
AUG/91/SYS Suppt. by: PYI /NSF CCR-8657615
R. Bjornson NSF IRI-8812790
N. Carriero DARPA / ONR N00014-91-J-1577
D. Gelernter
T. Mattson
D. Kaminsky
A. Sherman

YALE/DCS/tr867 Fast Strictness Analysis via Symbolic Fixpoint Iteration
SEPT/91/SYS Suppt. by: ONR N00014-88-K-0573
Charles Consel

YALE/DCS/tr868 Real-Time Vision-Based Robot Localization
SEPT/91/AI Suppt. by: DARPA N00014-91-J-1577
Greg Hager NSF CISE / CDA 88-22719


YALE/DCS/tr869 Dynamic Partitioning of Parallel Lisp Programs
SEPT/91/SYS Suppt. by: Dept. of Energy
Eric Mohr DE-FG02-86ER25012

YALE/DCS/tr870 Formal Derivation of an Efficient Parallel
SEPT/91/SYS Gauss-Seidel Method
J. Allan Yang Suppt. by: ONR N00014-91-J-1559
Young-il Choo NSF CCR-8807426

YALE/DCS/tr871 Short Encodings of Planar Graphs and Maps
OCT/91/TH Suppt. by: AT&T Laboratories
Kenneth Keeler NSF CCR-8610181
Jeffrey Westbrook

YALE/DCS/tr872 A New Iterative Pojective Method for Large Symmetric
OCT/91/NA Eigenproblem
Mahid Emad Suppt. by: in part by U.S. Office of Naval Research
IRI 89-06770
Yale University
DuPont Corporation

YALE/DCS/tr873 Combining Intensity and Motion for Incremental
OCT/91/AI Segmentation and Tracking over Long Image Sequences
Michael J. Black Suppt. by: NASA Training Grant NGT-50749


YALE/DCS/tr874 Map Learning with Error Correction for Mobile Robots
SEPT/91/AI Suppt. by: DARPA DAAA15-87-K-0001
Sean P. Engelson
Drew V. McDermott

YALE/DCS/tr875 Decision Making in th Presence of Noise
OCT/91/TH Suppt. by: NSF IRI-9015570
Michael J. Fischer
Sophia A. Paleologou

YALE/DCS/tr876 Compiling Crystal for Distributed-Memory Machines
OCT/91/SYS Suppt. by: ONR Grants: N00014-86-K-0310,
Jingke Li N00014-86-K-0564
N00014-89-J-1906



YALE/DCS/tr877 A Higher-Level Environment for Parallel Programming
NOV/91/SYS Suppt. by: NSF CCR-8657615
Shakil Ahmed AFOSR 91-0098
David Gelernter Scientific Computing Associates, Inc.
Whitaker Foundation Grant

YALE/DCS/tr878 Massively Parallel Sparse Matrix Computations for
NOV/91/NA Ineration Methods
Serge Petiton Suppt. by: ONR N00014-89-J-1906

YALE/DCS/tr879 * On the Parallel Implementation of Jacobis and
NOV/91/NA Koghetliantz's Algorithm
Jurgen Goetze Suppt. by: German Research Council

YALE/DCS/tr880 On Rank-Revealing QR Factorisations
NOV/91/NA Suppt. by: NSF CCR-9102853
Ilse Ipsen

YALE/DCS/tr881 Prototyping FORTRAN-90 Compilers for Massively
DEC/91/SYS Parallel Machines
Marina Chen Suppt. by: DARPA Army DABT 63-91-C-0031
Jim Cowie N00014-89-J-1906
N00014-90-J-1987
NSF Grant: CCR-8908285

YALE/DCS/tr882 Optimizing FORTRAN-90 Programs for Data Motion on
DEC/91/SYS Massively Parallel Systems
Marina Chen Suppt. by: ONR N00014-91-J-1559
Jan Jan Wu DARPA Army DABT 63-91-C-0031

YALE/DCS/tr883 Supercomputing out of Recycled Garbage : Preliminary
DEC/91/SYS Experience with Piranha
David Gelernter Suppt. by: NSF CCR-8657615
David Kaminsky NASA NGT-50719

YALE/DCS/tr884 PCGPAK 2 Benchmarks
DCS/91/NA Suppt. by: ONR N00014-91-J-1576
Andrew Sherman
Mark Yan-Ming Chang
Martin H. Schultz

YALE/DCS/tr885 When Do Extra Majority Gates Help?
DEC/91/Th Suppt. by: NSF CCR-8958528
Richard Beigel

YALE/DCS/tr886 Translation of Pattern Matching and Other
DEC/91/SYS Context-free Normalization in Haskell
Brian Boutel Suppt. by: NSF CCR-9104987

YALE/DCS/tr887 Program Builders as Alternatives to High-Level
JAN/92/SYS Languages
Shakil Ahmed Suppt. by: NSF CCR-8657615
David Gelernter AFOSR 91-0098


YALE/DCS/tr888 On the Numerical Solution of One-Dementional
DEC/91/NA Intregal and Differential Equations
Harold Page Starr,Jr.


YALE/DCS/tr889 Incremental Computation via Partial Evaluation
JAN/92/SYS Suppt. by: NSF 8451415-5
Raman Sundaresh IBM Graduate Felowship

YALE/DCS/tr890 Fast Ineremental Planarity Testing
FEB/92/TH Suppt. by: NSF CCR-9009753
Jeffery Westbrook

YALE/DCS/tr891 A Robust Gradient Method for Determining Optical
OCT/91/AI Flow
Michael J. Black Suppt. by: National Aeronautics and Space Admin.
Scientific Computing Associates, Inc.


YALE/DCS/tr892 An Interpersonal Model of Goal-based Decision Making
MARCH/92/AI Suppt. by: Unsupported
Stephen Slade

YALE/DCS/tr893 On the Rapid Evaluation of Trigometric Series
MARCH/92/NA Suppt. by: ONR N00014-89-J-1527
V. Rokhlin
Aloke Dutt Suppt. by: IBM Graduate Fellowship

YALE/DCS/tr894 Diagonal Forms of Translation Operators for the
MARCH/92/NA Helmholtz Equation in 3 Dimensions
V. Rokhlin Suppt. by: ONR N00014-89-J-1527

YALE/DCS/tr895 Abstractions for Parallel N-Body Simulations
MARCH/92/TH Unsupported
Sandeep Bhatt
Marina Chen
Cheng-Yee Lin
Pangfeng Liu

YALE/DCS/tr896 Parameterized Partial Evolutions: Semantic
MARCH/92/SYS Specifications and Correctness Proofs
C. Consel Suppt. by: DARPA N00014-91-J-4043
S. Khoo NGT-50749
ONR N00014-91-J-1577

YALE/DCS/tr897 Pace Migration Algorithms Using Work Functions
MARCH/92/TH Suppt. by: NSF CCR-8958528
Marek Chrobak NSF CCR-9009753
Laurence L. Larmore
Nick Reingold
Jeffery Westbrook

YALE/DCS/tr898 Passive Robot Map Building with Exploration
MARCH/92/AI Scripts
Sean P. Engelson Suppt. by: DARPA BRL DAAA15-87-K-0001
Drew V. McDermott

YALE/DCS/tr899 A Computational and Evvolutionary Perspective
OCT/91/AI on the Role of Representation in Vision
Michael J. Tarr Suppt. by: NASA NGT-50749
Michael J. Black

YALE/DCS/tr900 Type Inference for Parametric Type Classes
APRIL/92/SYS Suppt. by: ONR N00014-90-C-0024
Kung Chen ONR N00014-91-J-4043
Martin Odersky
Paul Hudak

YALE/DCS/tr901 A Gentle Introduction to HASKELL
APRIL/92/SYS Suppt. by: NSF CCR-9104987
Paul Hudak
Joseph Fasel

YALE/DCS/tr902 Systems of Negative Boolean Constraints
APRIL/92/SYS Suppt. by: DARPA N00014-91-J-4043
Martin Odersky
Kim Marriott

YALE/DCS/tr903 On the Evaluation of Bessel Functions
APRIL/92/NA Suppt. by: NSF DMS-9012751
Gregory Matvienko

YALE/DCS/tr904 GEMMW: A Portable Level 3 Blas Winograd
MAY/92/NA Variant of Strassen's Matrix-Matrix Multiply
Craig C. Douglas Algorithm
Michael Heroux Suppt. by: Unsupported
Gordon Slishman
Roger M. Smith

YALE/DCS/tr905 Theory & Art of Semantics-Directed Program
MAY/92/SYS Execution Monitoring
Amir Kishon Suppt. by: DARPA N00014-90-C-0024


YALE/DCS/tr906 Computing Arbitrary Symmetric Functions
MAY/92/TH Suppt. by: NSF CCR-8958528
Daniel A. Spielman

YALE/DCS/tr907 Fault Diagnosis in 33 Parallel Testing Rounds
MAY/92/TH Suppt. by: NSF CCR-8958528
Richard Beigel
Daniel A. Spielman

YALE/DCS/tr908 An Efficient for Unconditionally Secure
MAY/92/TH Secret Key Exchange
Michael Fischer Suppt. by: IRI-9015570
Rebecca Wright

YALE/DCS/tr909 PEPM '92 ACM SIGPLAN Workshop on Partial
MAY/92/SYS Z Evaluation and Semantics-Based Program
Charles Consel Manipulation
et al Suppt. by: DARPA N0014-91-J-4043

YALE/DCS/tr910 A Simple Tree Data Structure for On-Line
MAY/92/TH Problems
Jeffery Westbrook Suppt. by: NSF CCR 9009753
ONR N00014-91-J-4043

YALE/DCS/tr911 The Performance of Greedy Algorithms for
MAY/92/TH On-Line Steiner Tree and Related Problems
Jeffery Westbrook Suppt. by: NSF CCR 9009753
D.C.K. Yan

YALE/DCS/tr912 On-Line & Off-Line Partial Evaluation:
JUNE/92/SYS Z Pemantic Specifications and Correctness
Charles Consel Proofs
Siau Cheng Khoo Suppt. by: NSF CCR 8809919


YALE/DCS/tr913 On the Inverse Scattering Problem for the
JUNE/92/NA Helmholtz Equation in One Dimension
Yu Chen Suppt. by: ONE N00014-89-J-1527

YALE/DCS/tr914 Continuation Based Mutable Abstract Datatypes
JUlY/92/SYS Z Suppt. by: DARPA N00014-91-J-4043
Paul Hudak

YALE/DCS/tr915 Inference Record
AUGUST/92/SYS Y 5th Workshop on Languages & Compilers for
David Gelernter Parallel Programming


YALE/DCS/tr916 A Stable and Efficient Algorithm for the
AUGUST/92/NA Rank-One Modification Eigen Problem
Ming Gu Suppt. by: ARO DAAL03-91-G-0032
Stanley Eisenstat DARPA N00014-91-J-4043

YALE/DCS/tr917 Analysis of a QR Algorithm for Computing
AUGUST/92/NA Singular Valves
Shivkumar Chandrasekaran
Ilse Ipsen Suppt. by: NSF CCR-9102853

YALE/DCS/tr918 Uniform Stability of Markov Chains
SEPT/92/NA Suppt. by: NSF CCR-9102853
Ilse Ipsen DMS-9020915 DDM-8906248
Carl D. Meyer

YALE/DCS/tr919 Finite Precision Analysis of Inverse Iteration
AUGUST/92/NA Suppt. by: NSF CCR-9102853
Shivkumar Chandrasekaran
Ilse Ipsen

YALE/DCS/tr920 Automated Fingerprint Identification:
OCT/92/AI An Independent Study Unsupported
Eric Mjolsness Suppt. by: NIST 43-NANB218448
Carol Crawford

YALE/DCS/tr921 Task-Directed Computation of Qualitative
AUG/92/AI Decisions from Sensor Data
Gregory D. Hager Suppt. by: DARPA/ONR N00014-91-J-1577




YALE/DCS/tr922 Model for Cooperative Control of Positional
SEPT/92/AI Information in Drosophila by bcd and
John Reinitz Maternal hb
Eric Mjolsness Suppt. by: NIST 43-NANB 218448
David H. Sharp


YALE/DCS/tr923 Robust Incremental Optical Flow
SEPT/92/AI Suppt. by: NASA Training Grant NGT-50749
Michael Julian Black NASA RTOP 506-47



YALE/DCS/tr924 On Comparing Statistical and Set-Based Methods
OCT/92/AI in Sensor Date Fusion
Gregory D. Hager Suppt. by: DARPA N00014-91-1577
Gerhard Grumwald NSF IRI-9109116
NSF IRI-9109116
NSF DDM-9112458
Yale University in part

YALE/DCS/tr925 Sensor Planning for Reactive Robotic Systems
OCT/92/AI Suppt. by: DARPA N00014-91-J-1577
Gregory D. Hager NSF IRI-9109116
Gerhard Grumwald DDM-91122458


YALE/DCS/tr926 Parareterized Partial Evaluation Principle
OCT/92/SYS Z and Practice
Siau Cheng Khoo Suppt. by: NSF CCR-8809919


YALE/DCS/tr927 The Rapid Solution of the Laplace Equation on
OCT/92/NA Regions with Fractal Boundaries
Jin Hong Ma Suppt. by: ONR N00014-89-J-1527(G)
ONR N00014-91-J-1577
DARPA DAAA15-87-K-0001

YALE/DCS/tr928 ARS MAGNA: The Abstract Robot Simulator Manual
OCT/92/AI Suppt. by: ONR N00014-91-J-1577
Sean P. Engelson NSF DDM-9112458
Niklas Bertani

YALE/DCS/tr929 Call-by-name, Assignment, and the Lambda-Calculus
OCT/92/SYS Z Suppt. by: DARPA N00014-91-J-4043
Martin Odersky IBM Fellowship
Dan Rabin NATO CRG-910994
Paul Hudak

YALE/DCS/tr930 The Unexputgated Call-by-name, Assignment, and
OCT/92/SYS Z the Lambda-Calculus
Martin Odersky Suppt. by: DARPA N00014-91-J-4043
Dan Rabin IBM Fellowship
National University of Singapore

YALE/DCS/tr931 Linda on Distributed Memory Multiprocessors
NOV/92/SYS Y Suppt. by: IBM Scholarship
Robert Bjornson DCR-8657617



YALE/DCS/tr932 A Divide-and-Conquer Algorithm for the Symetric Tridiagonal
NOV/92/NA Eigenproblem
Ming Gu Suppt. by: USARO DAAL03-91-G-0032
Stanley C. Eisenstat


YALE/DCS/tr933 A Divide-and-Conquer Algorithm for the Bidiagonal SVD
NOV/92/NA Suppt. by: USARO DAAL03-91-G-0032
Ming Gu
Stanley C. Eisenstat

YALE/DCS/tr934 Relative Perturbation Theory for Eigenproblems
NOV/92/NA Suppt. by: USARO DAAL03-91-G-0032
Ming Gu
Stanley C. Eisenstat

YALE/DCS/tr935 Yale Haskell User's Manual
NOV/92/SYS Z Suppt. by: NSF CCR 9104987
Paul Hudak ONR N00014-86-K-0310
John Peterson NSF DCR-86019620

YALE/DCS/tr936 Inductive Inference of Total Recursive Functions by
NOV/92/TH Problemistic and Deterministic Strategies
Martinch Krikis Suppt. by: NSF CCR-9014943
Rusins Freivalds

YALE/DCS/tr937 Loop Transformations for Massive Parallelism
NOV/92/SYS Y Suppt. by: IBM Student Research Associates Grant '90-'91
Lee-Chung Lu ONR N00014-91-J-1559


YALE/DCS/tr938 Connectionist Grammars for High-Level Vision
NOV/92/AI Suppt. by: AFOSR 88-0240
Eric Mjolsness

YALE/DCS/tr939 Downdating the Singular Value Decomposition
DEC/92/NA Suppt. by: U.S. Army Research Office
Ming Gu DAAL03-91-G-0032
Stanley C. Eisenstat

YALE/DCS/tr940 Analysis of Static Condenstation for Laplace Equation
DEC/92/NA on a Rectangle
Mark Yan-Ming Chang Suppt. by: NSF DCR-8521451-5
Martin Schultz ONR N00014-91-J-1576

YALE/DCS/tr941 Transformational Planning of Reactive Behavior
DEC/92/AI Suppt. by: ONR N00014-91-J-1577
Drew McDermott

YALE/DCS/tr942 Relative Pertubation Techniques for Singular Value
DEC/92/NA Problems
Stanley C. Eisenstat Suppt. by: ARO DAAL03-91-G-0032
Ilse C. F. Ipsen NSF CCR-9102853
NSF CCR-8908285

YALE/DCS/tr943 Some Remarks on Completely Vectorizing Point
DEC/92/NA Gauss-Seidel while Using the Natural Ordering
Craig C. Douglas Suppt. by: ONR N00014-91-J-1576

YALE/DCS/tr944 A Fast Algorithm for the Solution of the Laplace
JAN/93/NA Equation on Regions with Fractal Boundaries
P. Jones Suppt. by: DARPA F49620-91-C-0084
J. Ma ONR N00014-89-J-1527
V. Rokhlin

YALE/DCS/tr945 Greedy Lagrangians for Neural Networks: Three
JAN/93/AI Levels of Optimization in Relaxation Dynamics
Eric Mjolsness Suppt. by: AFOSF F49620-92-J-0465
Willard Miranker

YALE/DCS/tr946 Place Recognition Using Image Signatures
JAN/93/AI Suppt. by: ONR N00014-91-J-1577
Sean Engelson

YALE/DCS/tr947 Class Notes on Interactive Proof Systems
JAN/93/TH Suppt. by: NSF CCR-8958528
Richard Beigel
et al

YALE/DCS/tr948 Some Problems in Adaptive Visual Serving
JAN/93/AI Suppt. by: DARPA N00014-91-J-1577
Greg Hager NSF IRI-9109116


YALE/DCS/tr949 Mean Field Point Matching by Vernier Network and by
FEB/93/AI Generalized Hough Transform: Preliminary Report
Chien-Ping Lu Suppt. by: DARPA
Eric Mjolsness ONR

YALE/DCS/tr950 DAMG: An Abstract Multilevel Solver
FEB/93/NA Suppt. by: ONR N00014-91-J-1576
Craig Douglas

YALE/DCS/tr951 DPMG: A Multilevel Solver for the Poisson
FEB/93/NA Equation in Two and Three Dimensions
Craig Douglas Suppt. by: ONR N00014-91-J-1576

YALE/DCS/tr952 Implementing Abstract Multigrid or Multilevel Methods
FEB/93/NA Suppt. by: ONR N00014-91-J-1576
Craig Douglas

YALE/DCS/tr953 C++ Interval and Constraint Solving Package
FEB/93/AI Suppt. by: DARPA N00014-91-J-1577
Gregory D. Hager NSF IRI-9109116
John M. Lu DDM 9112458
DDM 9119458

YALE/DCS/tr954 Adaptive Parallelism with Piranha
FEB/93/SYS Y Suppt. by: AFOSR-91-0098
Nicholas Carriero NASA Training Grant #NGT-50719
David Gelernter
David Kaminsky
Jeffery Westbrook

YALE/DCS/tr955 Numerical Solution of Flame Sheet Problems with and
FEB/93/NA Without Multigrid Methods
Craig Douglas Suppt. by: ONR N00014-91-J-1576
Alexandre Ern

YALE/DCS/tr956 Ordering Times
APRIL/93/SYS Z Suppt. by: NSF CCR-9104987
Vincente Dornic

YALE/DCS/tr957 Solving Large Systems of Nonlinear Constraints
APRIL/93/AI with Application to Data Modeling
Greg Hager Suppt. by: DARPA N00014-91-J-1577




YALE/DCS/tr958 Experience with the Linda Coordination Language
APRIL/93/SYS Y and its Environment
N. Carriero Suppt. by:
D. Gelernter
T. Mattson

YALE/DCS/tr959 Partial Evaluation for Dictionary-free Overloading
APRIL/93/SYS Z Suppt. by: DARPA N00014-91-J-4043
Mark P. Jones NSF CCR-9104987

YALE/DCS/tr960 Towards Geometric Decision Making in Unstructured
MAY/93/AI Environments
Gregory D. Hager Suppt. by: DARPA N00014-91-J-1577



YALE/DCS/tr961 A Constraint-Based View of Selective Perception
MAY/93/AI Suppt. by: DARPA N00014-91-J-1577
Gregory D. Hager NSF IRI-9109116
NSF IRI-9109116
DDM-9112458
Yale University Funds

YALE/DCS/tr962 On Expressing the Mutation of State in a Functional
MAY/93/SYS Z Programming Language
Juan Guzman Suppt. by: DARPA N00014-91-J-4043

YALE/DCS/tr963 A Type System for a Lambda Calculus with Assignments
MAY/93/SYS Z Suppt. by: DARPA N00014-91-J-4043
Kung Chen
Martin Odersky

YALE/DCS/tr964 A Syntactic Method Proving Observational Equivalence
MAY/93/SYS Z Suppt. by: DARPA N00014-91-J-4043
Martin Odersky

YALE/DCS/tr965 A Syntactic Theory of Block Structure
MAY/93/SYS Z Suppt. by: DARPA N00014-91-J-4043
Martin Odersky NSF IRI-9109116
NSF DDM-9112458

YALE/DCS/tr966 A Stable and Fast Algorithm for Updating the
MAY/93/NA Singular Value Decompostion
Ming Gu Suppt. by: U.S.ARO DAAL03-91-G-0032
Stanley Eisenstat DDM-9112458

YALE/DCS/tr967 An Efficient Algorithm for Computing a Rank-
MAY/93/NA Revealing QR Factorization
Ming Gu Suppt. by: U.S. ARO DAAl03-91-G-0032
Stanley C. Eisenstat

YALE/DCS/tr968 Workshop on STATE in Program Languages
MAY/93/SYS Z (SIPL '93)
Paul Hudak: Copenhagen, Denmark
Program Chair June 12, 1993


YALE/DCS/tr969 Adaptive Parallelism on Multiprocessors:
MAY/93/SYS Y Preliminary Experience with Piranha on the Ch-5
Nicholas Carriero Suppt. by: AFOSR-91-0098
Eric Freeman NASA Research Fellowship Grant
David Gelernter NGT50858



YALE/DCS/tr970 Optimization Dynamics for Partitioned
MAY/93/AI Neural Networks
Dimitris I. Tsioutsias
Eric Mjolsness Suppt. by: AFOSR 90-0224


YALE/DCS/tr971 The Haskell-to-CL Interface Documen
JUNE/93/SYS Z Suppt. by: DARPA N00014-91-J-4043
John Peterson
Sheng Liang

YALE/DCS/tr972 The Haskell X Users Manual
JUNE/93/SYS Z Suppt. by: DARPA N00014-91-J-4043
John Peterson Suppt. by: DARPA N00014-91-J-4043
Sheng Liang

YALE/DCS/tr973 On the Inverse Scattering Problem for the Helmholtz
JUNE/93/NA Equation in Two Dimensions
Yu Chen Suppt. by: ONR N00014-89-J-1527
Vladimir Rokhlin Pittsburgh Center and the National
Center for Supercomputing Applications

YALE/DCS/tr974 Mean Field Point Matching by Vernier Network and by
JUNE/93/AI Generalized Hough Transform
Chien-Ping Lu Suppt. by: AFOSR-90-0224
Eric Mjolsness DARPA-ONR-N00014-92-J-4040
DARPA/ONR N00014- 92-J-4048

YALE/DCS/tr975 Parallel Programming Systems for Workstation
JUNE/93/NA Clusters
Craig C. Douglas Suppt. by: ONR N00014-91-J-1576
Timothy G. Mattson
Martin H. Schultz

YALE/DCS/tr976 A Generalized Multigrid theory in the Style
JULY/93/NA of Standard Iterative Methods
Craig C. Douglas Suppt. by: ONR N00014-91-J-1576

YALE/DCS/tr977 Fast Algorithms for Polynomial Interpolation
JULY/93/NA Integration and Differentiation
A. Dutt Suppt. by: ONR N00014-89-J-1527
M. Gu
V. Rokhlin

YALE/DCS/tr978 Backward Errors for Eigenvalue and Singular
JULY/93/NA Value Decompositons
S. Chandrasekaran Suppt. by: NSF CCR-9102853
I.C.F. Ipsen

YALE/DCS/tr979 Modeling the Connection between Development
JULY/93/AI and Evolution: Preliminary Report
Eric Mjolsness Suppt. by: AFOSR F49620-92-J-0465
Charles D. Garrett Yale Institute for Biospheric Studies
John Reinitz Hewlett-Packard
David H. Sharp

YALE/DCS/tr980 Fast Fourier Transforms for Nonequispaced
AUG/93/NA Data II
Aloke Dutt Suppt. by: ONR N00014-89-J-1527
Vladimir Rokhlin NSF DMS9012751

YALE/DCS/tr981 * Fast Fourier Transforms for Nonequispaced
AUG/93/NA Data
Aloke Dutt Suppt. by: ONR N00014-89-J-1527


YALE/DCS/tr982 Implicit and Explicit Parallel Programming
AUG/93/SYS Z in Haskell
Mark P. Jones Suppt. by: ARPA via a subcontract of
Paul Hudak Intermetrics

YALE/DCS/tr983 Piranha Scheduling: Strategies and Their
SEPT/93/SYS Implememtations
David Gelernter Suppt. by: ASSERT FA9620-92-J-0240
Mark R. Jourdenais NASA Training Grant NGT-50719
David Kaminsky

YALE/DCS/tr984 Linda and Message Passing: What Have We
SEPT/93/SYS Learned?
Nicholas Carriero Suppt. by: ONR N00014-93-I-0573
David Gelernter

YALE/DCS/tr985 Program Transformation with Piecewise Linear
SEPT/93/SYS Domain Morphism
Young-il Choo Suppt. by: ONR N00014-93-I-0114
J. Alan Yang NSF DMS9012751

YALE/DCS/tr986 Fast Fourier Transforms of Piecewise Constant
SEPT/93/NA Functions
Eugene Sorets Suppt. by: NSF DMS 901213595

YALE/DCS/tr987 On Iterative Techniques for a Load Balancing
SEPT/93/NA Problem
Bhaskar Ghosh Suppt. by: ONR N00014-91-J-1576
Eric Mjolsness DARPA/ONR N00014-92-J-4048
Martin Schultz

YALE/DCS/tr988 A Framework for Real-time Window-based
SEPT/93/AI Tracking Using Off-the-shelf Hardware
Greg Hager Suppt. by: DARPA N00014-91-J-1577
Sidd Puri N00014-93-I-1235
Kentaro Toyama NSF IRI-9109116

YALE/DCS/tr989 Coherence for Qualified Types
SEPT/93/SYS Z Suppt. by: DARPA N00014-91-J-4043
Mark P. Jones

YALE/DCS/tr990 Generalized Gaussian Quadreture Rules for
OCT/93/NA Systems of Arbitrary Functions
J. Ma Suppt. by: DARPA F49620-91-C-0084
V. Rokhlin ONR N00014-89-J-1527
S. Wandzura

YALE/DCS/tr991 A Vision Based Grasping System for Unfamiliar
OCT/93/AI Planar Objects
Aage Bendiksen Suppt. by: DARPA N00014-91-J-1577
Greg Hager N00014-93-I-1235



YALE/DCS/tr992 Robot Feedback Control Based on Stereo Vision:
OCT/93/AI Towards Calibration-Free Hand-Eye Coordination
Greg Hager Suppt. by: DARPA N00014-91-J-1577
Wen-Chung Chang N00014-93-I-1235
Steven Morse NSF IRI-9109116
NSF DDM 9112458

YALE/DCS/tr993 On Line Processes, Outlier Rejection, and Robust
OCT/93/AI Statistics
Michael Black Suppt. by: DARPA N00014-92-J-4048
Anand Rangarajan

YALE/DCS/tr994 Experiments and Bounds on block Diagonal
NOV/93/NA Preconditioning
Mark Yan-Ming Chang Suppt. by: ONR N00014-91-J-1576
Martin H. Schultz

YALE/DCS/tr995 A Parallel 3D Parabolic Wave Equation Solver
NOV/93/NA Suppt. by: ONR N00014-89-J-1671
Ding Lee NSF IRI-9109116
Diana Resasco DDM-911245
Martin H. Schultz
Faisal Saied

YALE/DCS/tr996 Temporal Domain Parallelism: Does it Work?
NOV/93/NA Suppt. by: ONR N00014-91-J-1576
Ashish Deshpande DDM-9112458
Sachit Malhotra
Craig C. Douglas
Martin H. Schultz

YALE/DCS/tr997 The Design of an Operating System for Modern
MAY/93/SYSZ Programming Languages
James Philbin Suppt. by: DARPA ONR N00014-88-K-0573



YALE/DCS/tr998 Real-Time Feature Tracking and Projective
NOV/93/AI Invarience as a Basis for Hand-Eye Coordination
Greg Hager Suppt. by: DARPA N00014-91-J-1577

YALE/DCS/tr999 Load Balancing for Response Time
NOV/93/TH Unsupported
Jeff Westbrook

YALE/DCS/tr1000 Toward an Efficient Reliable Persistent Associative
NOV/93/SYSY Shared-Object Memory
David Gelernter (Postition Paper)
Jeff Westbrook Suppt. by: ONR N00014-93-I-0573
Lenore Zuck

YALE/DCS/tr1001 Formal Reasoning about PASO Systems
NOV/93/TH Unsupported
Lenore Zuck NSF DCR-8451415
NSF CCR-8809919

YALE/DCS/tr1002 The Power of Local Self-Reductions
NOV/93/TH Suppt. by: NSF CCR-8958528
Richard Beigel

YALE/DCS/tr1003 Semantics and Coherence for Parametric Type
DEC/93/SYSZ Classes
Kung Chen Suppt. by: DARPA N00014-91-J-4043
N00014-93-I-1235
NSF IRI-9109116
DDM-9112458

YALE/DCS/tr1004 Composing Monads
DEC/93/SYS Z Suppt. by: DARPA N00014-91-J-4043
M. Jones
Luc Duponcheel

YALE/DCS/tr1005 A Cache for Associative Memory
DEC/93/AI Unsupported
Willard Miranker

YALE/DCS/tr1006 Clustering with a Domain-Specific Distance Measure
JAN/94/AI Suppt. by: AFOSR F-49620-92-J-0465
Steven Gold ONR/DARPA N00014-92-J-4048
Eric Mjolsness
Anand Rangarajan

YALE/DCS/tr1007 Two-Dimensional Object Localization by Coarse-to-Fine
JAN/94/AI Correlation Matching
Chien-Ping Lu Suppt. by: ONR/DARPA N00014-92-J-4048
Eric Mjolsness

YALE/DCS/tr1008 Fluid Dynamicist Workbench
JAN/94/AI Suppt. by: NSF/YIA
Ken Yip Young Investigators Award

YALE/DCS/tr1009 Model Simplification by Asymptotic Order of Magnitude
JAN/94/AI Reasoning
Ken Yip Suppt. by: NSF/YIA


YALE/DCS/tr1010 Feature-Based Visual Serving and its
JAN/94/AI Application to Telerobotics
Greg Hager Suppt. by: DARPA N00014-91-J-1577
Gerhard Grunwald N00014-93-I-1235
Gerd Hirzinger NSF IRI-9109116



YALE/DCS/tr1011 Piranha on the Connection Machine CM-5
JAN/94/SYS Y Suppt. by: NSA Graduate Fellowship NGT-50853
Eric Freeman

YALE/DCS/tr1012 A Fault-Tolerant PASO for LANS
JAN/94/SYS Y (Extended Abstract)
E. Freeman Suppt. by: ONR N00014-93-1-0573
D. Gelernter
J. Westbrook
L. Zuck

YALE/DCS/tr1013 Adaptive Algorithms for PASO Memory
JAN/94/TH Unsupported
J. Westbrook Young Investigators Award
L. Zuck

YALE/DCS/tr1014 An Algorithm for Probabilistic, Totally-Ordered
JAN/94/AI Temporal Projection
Drew McDermott Suppt. by: ARPA ONR N00014-91-J-1577
DDM-9112458
NATO Collaborative Research CRG-910994

YALE/DCS/tr1015 On the Inverse Sudtenny Problem for the Helmholtz
FEB/94/NA Equation in Two Dimensions
Y. Chen Suppt. by: ONR N00014-89-J-1671
V. Rokhlin

YALE/DCS/tr1016 Adaptive Parallelism and Piranha
FEB/94/SYS Y Suppt. by: ONR N00014-93-1-0573
N Carriero
E. Freeman
D. Gelernter
D. Kaminsky

YALE/DCS/tr1017 A Functional Approach to Adaptive Computation
FEB/94/SYS X Suppt. by: ONR N00014-93-1-0114
Y. Choo

YALE/DCS/tr1018 Demotational Sengation of Object with Self
FEB/94/SYS X Reference
Y. Choo Suppt. by: NSF/DARPA


YALE/DCS/tr1019 Malicious Membership Queries and Exceptions
MARCH/94/TH Suppt. by: NSF-CCR-9213881
Dana Angluin
Martin Krikis

YALE/DCS/tr1020 Exact Learning of U-DWF Formulas with Malicious
MARCH/94/TH Membership Queries
D. Angluin Suppt. by: NSF-CCr-9213881
M. Krikis

YALE/DCS/tr1021 Adaptive Parallelism with Piranha
MAY/94/SYSY Suppt. by: NASA Training Grant NGT-50719
David Kaminsky

YALE/DCS/tr1022 Dynamic Typing in Yale Haskell
MARCH/94/SYSZ Suppt. by: DARPA N00014-91-J-4043
John Peterson

YALE/DCS/tr1023 Six DOF Visual Control of Relative Position
MARCH/94/AI Suppt. by: DARPA N00014-91-J-1577
Greg Hager N00014-93-1-1235
CCR-8908285

YALE/DCS/tr1024 Static collecion of Operations over Tuplespaces
APRIL/94/SYSY Suppt. by: ONR N00014-93-1-0573
Suresh Jagannathan
Pradeep Varma

YALE/DCS/tr1025 Full Resolution of Partitionings in Tuplespace Analysis
APRIL/94/SYSY Suppt. by: ONR N00014-93-1-0573
Pradeep Varma

YALE/DCS/tr1026 Highly Concurrent Kernels for Tuplespaces
APRIL/94/SYSY Suppt. by: ONR N00014-93-1-0573
Pradeep Varma

YALE/DCS/tr1027 A Dynamic Fully Resolving Partitioning of Tuplespaces:
APRIL/94/SYSY Multiple Key-based Indexing
Pradeep Varma Suppt. by: ONR N00014-93-1-0573

YALE/DCS/tr1028 Control Flow Analysis of Scheme Parallelized by First
APRIL/94/SYSY Class Tuplepaces
Pradeep Varma Suppt. by: ONR N00014-93-1-0573

YALE/DCS/tr1029 Random Walks on Graphs: A Survey
MAY/94/TH Suppt. by:
Laszlo Lovasz NSF IRI 9109116

YALE/DCS/tr1030 The Implentation of the Gofer Functional Programming
MAY/94/SYSZ System
Mark P. Jones Suppt. by: ONR N00014-91-J-4043

YALE/DCS/tr1031 An Experiment Using Haskell to Prototype "Geometric
MAY/94/SYSZ Reion Servers" for Navy Command and Control
William E. Carlson Suppt. by: ARPA Order 8888
Paul Hudak ONR N00014-92-C-0153
Mark P. Jones

YALE/DCS/tr1032 Passive Map Learning and Visual Place Recognition
MAY/94/AI Suppt. by: ONR/DARPA N00014-93-1-1235
Sean Engelson

YALE/DCS/tr1033 Solving the Exterior Orientation Problem without
MAY/94/AI Initial Guesses
Chien-Ping Lu Suppt. by: DARPA/ONR N00014-92-J-4048
Eric Mjolsness

YALE/DCS/tr1034 Robust and Aggressively Robust Methods for the
MAY/94/AI Absolute Orientation Problem
Anand Rangarajan Suppt. by: DARPA/ONR N00014-92-J-4048
Eric Mjolsness
Steven Gold

YALE/DCS/tr1035 Fast Algorithms for 2D and 3D Point Matching Pose
MAY/94/AI Estimation and Correspondence
Steven Gold Suppt. by: DARPA/ONR N00014-92-J-4048
Chien-Ping Lu
Anand Rangarajan
Suguna Pappu
Eric Mjolsness

YALE/DCS/tr1036 An Optimizing Network Architecture that Works
MAY/94/AI Suppt. by: DARPA/ONR N00014-92-J-4048
Anand Rangarajan
Steven Gold
Eric Mjolsness

YALE/DCS/tr1037 Learning with Preknowledge: Clustering with Point
MAY/94/AI and Graph Matching Distance Measures
Steven Gold Suppt. by: DARPA/ONR N00014-92-J-4048
Anand Rangarajan
Eric Mjolsness

YALE/DCS/tr1038 Methods for Realistic Landscape Imaging
MAY/94/SYS Y Unsupported
F. Kenton Musgrave

YALE/DCS/tr1039 Grading Arithmetical Operations and Functions
MAY/94/NA Suppt. by: C-TAN
Willard Miranker

YALE/DCS/tr1040 Simplifying and Improving Qualified Types
JUNE/94/SYS Z Suppt. by: DARPA ONR N00014-91-J-4043
Mark Jones

YALE/DCS/tr1041 Optimized Local Trigonometric Bases
JULY/94/NA Suppt. by: NSF DMS-901213595
Gregory Matviyenko

YALE/DCS/tr1042 High-Order Connected Quadrature Rules, for
JULY/94/NA Singular Functions
Sharad Kapur Suppt. by: ONR N00014-89-J-1527
Vladimir Rokhlin

YALE/DCS/tr1043 A Higher Level Parallel Programming Environment
JULY/94/SYS Y Suppt. by: NSF CCR-8657615
Shakil Waiz Ahmed AFOSR-91-0098


YALE/DCS/tr1044 Model-Based Edge Selection for 2-D Object Recognition
AUG/94/AI Suppt. by: ONR/ARPA N00014-93-I-1235
Hemant D. Tagare
Drew McDermott

YALE/DCS/tr1045 The Fast Bessel Transform
AUG/94/NA Suppt. by: ONR N00014-89-J-1527
Sharad Kapur
Vladimir Rokhlin

YALE/DCS/tr1046 Online Computation of Exterior Orientation with
SEPT/94/AI Application to Hand-Eye Calibration
Chien Ping Lu Suppt. by: DARPA ONR N00014-92-J-4048
Eric Mjolsness C-TAN
Greg Hager

YALE/DCS/tr1047 A Dynamic, Online Library for Historical Documents
SEPT/94/CS Dept. Suppt. by: Department of Computer Science at Yale
Drew McDermott Scientific Computing Associates
David Gelernter
Jeffery Westbrook
Lenore Zuck
Don Waters - Yale Library

YALE/DCS/tr1048 Efficient Retiming Under a General Delay Model
SEPT/95/NA Suppt. by:
Marios Papaefthymiou
Kumar N. Lalgudi

YALE/DCS/tr1049 Haskell vs. Ada vs. C++..., An Experiment in
JULY/94/SYS Z Software Prototyping Productivity
Paul Hudak Suppt. by: AARPA N00014-92-C-0153
Mark P. Jones

YALE/DCS/tr1050 The Saturation of Iterative Computation In
OCT/94/NA Floating Point
Willard Miranker Suppt. by: C-TAN
Edgar Kaucher

YALE/DCS/tr1051 Fault Diagnosis in a Flash
NOV/94/TH Suppt. by: NSF CCR 8958528
Richard Beigel
Will Hurwood
Nabil Kahale

YALE/DCS/tr1052 A Langrangian Relaxation Network for Graph
NOV/94/AI Matching
Anand Rangarajan Suppt. by: AFSOR F4960-92-J-0465
Eric Mjolsness ONR/ARPA N00014-92-J-4048


YALE/DCS/tr1053 Dynamic Load Balancing with Limited Link
NOV/94/NA Capacities
Bhaskar Ghosh Suppt. by: ONR N00014-91-J-1576
S. Muthukrishnan YALE/IBM

YALE/DCS/tr1054 Unassigned


YALE/DCS/tr1055 On the Azmimuntal Fourier Components of the Green's
NOV/94/NA Function for the Helmholtz Equation in Three
G. Matviyenko Dimensions

YALE/DCS/tr1056 Dynamic Fault Diagnosis
DEC/94/TH Suppt. by: (Richard Beigel's grant)
William Hurwood NSF CCR-8958528

YALE/DCS/tr1057 A Parametric Extension of Haskell's Type Classes
JAN/95/SYS Z Suppt. by: N00014-91-J-4043
Kung Chen C-TAN

YALE/DCS/tr1058 Achieving Perfect Secrecy Using Correlated
JAN/95/TH Random Variables
Rebecca Wright Suppt. by: Yale University

YALE/DCS/tr1059 Tracking Tools for Vison Based Navigation
JAN/95/AI Suppt. by: DARPA N00014-91-J-1577
Jiantao Huang N00014-93-1-1235
Gregory D. Hager NSF IRI-9109116
ONR N00014-89-J-1527

YALE/DCS/tr1060 Keeping One's Eye on the Ball: Tracking
JAN/95/AI Occluding Contours o Unfamiliar Objects
Kentao Toyama Without Distraction Suppt. by: NSF DMS-901213595
Greg Hager Suppt. by: (same as above)

YALE/DCS/tr1061 A Continuation Method for Pose Estimation and
JAN/95/AI Correspondence
Suguna Pappu Suppt. by: C-TAN
Steven Gold ONR/DARPA N00014-92-J-4048
Anand Rangarajan

YALE/DCS/tr1062 A Graduated Assignment Algorithm for Graph
JAN/95/AI Matching
Steven Gold Suppt. by: C-TAN
Anand Rangarajan ONR/DARPA N00014-92-J-4048

YALE/DCS/tr1063 Fixed-phase Retiming for Low-power Design
JAN/95/NA Suppt. by:
Marios Papaefthymiou
Kumar N. Lalgudi DDM-9112458

YALE/DCS/tr1064 Tight Analysis of Two-load Balancing
FEB/95/NA Algorithms
B. Ghosh Suppt. by: ONR 00014-91-J-1576
F.T. Leighton Yale/IBM joint study
B.M. Maggs
S. Muthukrishnan
G. Plaxton
R. Rajaraman
A. Richa
A.E. Tarjan
D. Zuckerman

YALE/DCS/tr1065
Faster Diffusive Load Balancing Using Over
FEB/95/NA Relaxation
Bhaskar Ghosh Suppt. by: ONR 00014-91-J-1576
S. Muthukrishnan Yale/IBM joint study
Martin Schultz

YALE/DCS/tr1066 Distributed Data Structures, Fine Grained
FEB/95/SYS Y Coordination, and Effective Implementation
Pradeep Varma Suppt. by:

YALE/DCS/tr1067 A Modular Semantics for Compiler Ganeration
FEB/95/SYS Z Suppt. by: Advanced Research Project Agency
Sheng Liang ONR Order 8888-N00014-92-C-0153

YALE/DCS/tr1068 A Tutorial on Visual Servo Control
MAR/95/AI Suppt. by: ONR/DARPA N00014-93-1-1235
Greg Hager Army (DURIP) DAAH04-95-1-0058
Seth Hutchinson
Peter Corke

YALE/DCS/tr1069 A Type-Based Compiler for Standard ML
APR/95/SYS Z Suppt. by: NSF CCR-9501624
Zhong Shao
Andrew W. Appel

YALE/DCS/tr1070 The Lifestreams Approach to Reorganize the
APR/95/SYS Information World
N. Carriero Suppt. by: N00014-93-1-0573
S. Fertig
E. Freeman
D. Gelernter

YALE/DCS/tr1071 A Model for 3D Interaction with Hierarchical
APR/95/SYS Information Spaces
Elisabeth Freeman Suppt. by: N00014-93-1-0573
Susanne Hupfer


YALE/DCS/tr1072 Cellular Embeddings and Network Flow
MAY/95/TH Unsupported
Jeff Westbrook

YALE/DCS/tr1073 Unassigned

YALE/DCS/tr1073 In search of Simple Visual Vocabulary
MAY/95/SYS Suppt. by: ASSERT grant
D. Gelernter F49620-92-J-0240
E. Freeman

YALE/DCS/tr1074 A Modular System for Robust Positioning Using Feedback
MAY/95/AI for Stereo Vision.
Greg Hager Suppt. by: ARPA N00014-93-1-1235

YALE/DCS/RR/1075 Proceedings of Haskell Workshop.
June/95/SYS Suppt. by: ACM
P. Hudak IFIP

YALE/DCS/tr1076 ON The Jacobi Polynomial Pn(a-b).
JUNE/95/NA Suppt. by: NSF DMS-901213595
G. Matviyenko ONR N00014-89-J-1527

YALE/DCS/tr1077 On Line Pose Estimation and Model Matching.
June/95/AI Suppt. by: DARPA/ONR N00014-92-J-4048
Chien-Ping Lu Yale Center for Theoretical and Applied



YALE/DCS/tr1078 X-vision System: A Portable Substrate for Real-Time
June/95/AI Vision Applications
Greg Hager Suppt. by: ARPA N00014-93-1-1235
ARMY DURIIP DAAJO4-95-1-0058
NSF-IRI-9420982


YALE/DCS/tr1079 Mind and Interference Effects on Computation.
JUNE/95/AI Suppt by: CTAN (Yale Center for Theoretical and Applied
William Miranker Neurosciences)

YALE/DCS/tr1080 Closure Properties of Gap P and #P.
JUNE/95/TH Suppt. by: NSF CCR 8952528
Richard Beigel

YALE/DCS/tr1081 On the Riccati for the Scattering Matrices in Two Dimension
JULY/95/NA Neurosciences (CTAN)
Y Chen DURIIP DAAJ 04-95-1-0058
V Rokhlin NSF IRI9420982

YALE/DCS/tr1082 *Revised edition of RR-1036
AUG/95/AI
Anand Rangarajan

YALE/DCS/tr1083 Lifestreams: Organizing Your Electronic Life
AUG/95/SYS Suppt by: ASSERT Grant: F49620-92-J-0240
Eric Freeman
Scott Fertig

YALE/DCS/tr1084 Application of High-Order Quadratures to the Evaluation
SEP/95/NA Q Fourier & Hankel Transforms
Sharad Kapur Suppt by: N00014-89-J1527
(PhD Thesis)

YALE/DCS/tr1085 Unassigned


YALE/DCS/tr1086 Coins and Cones
SEPT/95/TH
Dmitry N. Kozlov
Van H. Vu

YALE/DCS/tr1087 Convex Hulls
SEPT/95/TH
Dmitry N. Kozlov


YALE/DCS/tr1088 Recursive Linearization for Inverse Scattering
SEP/95/NA Suppt by: ONR N00014-89-J-1527
Y. Chen ONR N00014-93-I-0114


YALE/DCS/tr1089 An Improved Fast Multiple Algorithm for Potential Fields
T. Hrycak Suppt. by: N00014-89-J-1527
V. Rokhlin

YALE/DCS/tr1090 Finding and Reminding Reconsidered
SEPT/95/SYS Suppt. by: ASSERT grant: F49620-92-J-0240
Soctt Fertig
Eric Freeman
David Gerlernter

YALE/DCS/tr1091 Inverse Scattering via Heisenberg's Uncertainty Principle
NOV/95/NA Suppt. by: ONR N00014-94-I-0414
Yu Chen

YALE/DCS/tr1092 Random Walks and on 0*(n5) Volume Algotithms for
NOV/95/TH Convex Bodies
R. Kannan Suppt. by: NSF CCR-9402916
Laszlo Lovasz

YALE/DCS/tr1093 An Abstract Description of Lifestreams
NOV/95/SYS Suppt. by: ASSERT grant: N00014-89-J-1671
Eric Freeman


YALE/DCS/tr1094 Meta Information in Visual Programming
DEC/95/SYS Suppt. by: ASSERT Grant: N00014-89-J-1671
Beth Freeman
David Gelernter

YALE/DCS/tr1095 Sparse Diagonal Forms for Translation Operators for the
DEC/95/NA Helmholtz Equation in Two Dimensions
Vladimir Rokhlin

YALE/DCS/tr1096 Lifestreams: A Storage Model for Personal Data
JAN/96/SYS Suppt. by: Assert Grant N00014-89-J-1671
Eric Freeman
David Gelernter

YALE/DCS/tr1097 Anticipating and Forestalling Execution Failures
FEB/96/AI in Structured Reactive Plans
Michael Beetz Suppt. by: ONR/DARPA N00014-93-1235



YALE/DCS/tr1098 Lifestreams: Bigger than Elvis
MARCH/96/SYS Suppt. by: ASSERT N00014-89-J-1671
N. Carriero
S. Fertig
E. Freeman
D. Gelernter


YALE/DCS/tr1099 Reversal of Markov Chains and the Forget Time
APRIL/96/TH Suppt. by: NSF CCR-9402916
L. Lovasz


YALE/DCS/tr1100 Mixing Times for Uniformly Ergodic Markov Chains
APRIL/96/TH Suppt. by: NSF CCR-9402916
L. Lovasz


YALE/DCS/tr1101 The Membership Problem in Jump Systems
APRIL/DCS/TH Suppt. by: NSF CCR-9402916
L. Lovasz


YALE/DCS/tr1102 Optimizing Systems for Effective Block Processing:
APRIL/96/EE The K-Delay Problem
Kumar W. Lalgudi Suppt. by: U.S. Army Research Office
Marios Papaefthymious


YALE/DCS/tr1103 Robot navigation Using Image Sequences
APRIL/96/AI Suppt. by: ONR/DARPA N00014-93-1-1235
Christopher Rasmussen
Gregory D. Hager


YALE/DCS/tr1104 Lectures on Network Complexity
APRIL/96/TH Suppt. by: MIT Grant: NSF GF-43634X
Michael Fischer


YALE/DCS/tr1105 The Haskell 1.3 Library Version
APRIL/96/SYSZ Suppt. by: Intermetrics Inc. N00014-92-C-0153
Paul Hudak
Phillip Wadler
John Peterson

YALE/DCS/tr1106 The Haskell 1.3 Language Version
APRIL/96/SYSZ Suppt. by: Intermetrics Inc. N00014-92-C-0153
Paul Hudak


YALE/DCS/tr1107 * Calculi for Functional Programming Languages with
MAY/96/SYSZ Assignment
Dan Rabin Suppt. by: IBM Fellowship


YALE/DCS/tr1108 A Characterization of Mapping Unstructured Grids
MAY/96/NA onto Structured Grids and Using Multigrid as a
S. Malhotra Preconditioner
C.C. Douglas Suppt. by: ONR N00014-91-J-1576


YALE/DCS/tr1109 Generalized Caussian Quadratures and Singular Value
MAY/96/NA Decompositions of Intregal Operators
V. Rokhlin Suppt. by: ONR N00014-96-1-0188
N. Yarvin ARPA F49620-93-0575


YALE/DCS/tr1110 Inverse Scattering via Skin Effect
MAY/96/NA Suppt. by: ONR N00014-94-1-0414
Yu Chen ONR N00014-93-1-0114


YALE/DCS/tr1111 Computational Measures of Similarity for Probabilistic
JUNE /96/Th Functions
Michael J. Fischer Unsupported
Sophia A. Paleologou
DARPA/ONR N00014-92-C-0153

YALE/DCS/tr1112 On-line Pose Estimation and Model Matching
JUNE/96/AI Suppt. by: DARPA ONE N00014-92-J-4048
Chien-Ping Lu AFOSR F49620-92-J-0465


YALE/DCS/tr1113 Principal Component Analysis for Place Recognition
JUNE/96/AI Suppt. by: In part by the NNC, Yale University
Jonathan Wang
Zachary Dodds
Willard Miranker


YALE/DCS/tr1114 Tracking Objects by Color Alone
SEPT/96/AI Suppt. by: ARMY DAAH 0495-1-0058
C. Rasmussen ARPA N00014-93-1-1235
K. Toyama NSF IRI-9420982
G. Hager


YALE/DCS/tr1115 A New Version of the Fast Multipole Method for the
SEPT/96/NA Laplace Equation in three Dimensions
Leslie Greengard Suppt. by: ONR N00014-96-1-0188
Vladimir Rokhlin AFOSR F49620-97-1-0011


YALE/DCS/tr1116 Molecular Computing, Bounded Nondeterminism, and
OCT/96/TH Efficient Recursion
Richard Beigel Suppt. by: NSF CCR-8958528
Bin Fu CCR-9415410


YALE/DCS/tr1117 A Comparison of Resource-
OCT/96/TH Bounded Molecular Computation Models
Bin Fu Suppt. by: NSF CCR-8958528
Richard Beigel CCR-9415410


YALE/DCS/tr1118 One Help Bit Doesn't
NOV/96/TH Suppt. by: NSF CCR-8958528
Richard Beigel CCR-9415410
Tizra Hirst NASA NAG 52895
NASA NAG 52895
NASA NAG 52895

Yale/DCS/tr1119 An Improved Fast Multipole Algorithm for Potential Fields
Sept/96/SYS in One Dimension
N. Yarvin Supp. byAFOSR F49620-93-1-0575
V. Rokhlin ONR N00014-89-J-1527
ONR N0014-96-1-0188
fellowship from the Fannie and John Hertz Foundation

Yale/DCS/tr1120 Proof of the Properties for Constrained Types
Dec/96/Sys supported by Yale University Fellowship
Martin Sulzmann

Yale/DCS/tr1121 Locating Landmarks Using Color
Feb/97/AI Supported by NSF IRI-9420982
Zachary Dodds
Greg Hager

Yale/DCS/tr1122 Efficient Region Tracking with Parametric Models of Geometry
Mrch/97/AI and Illumination
Greg Hager supported by ARPA N00014-93-1-1235
Peter Belhumeur Army DURIP DAAH04-95-1-0058
NSF IRI 9420982
Army Research Office DAAH04-95-10494

Yale/DCS/tr1123 Hugs 1.4 Users Manual
March/97/Sys
John Petrson
Mark Jones

Yale/DCS/tr1124 Collaboratiave Applications Experience with the Bauhaus
Jan/97/Sys Coordination Language
N. Carriero
D. Gelernter
S. Hupfer

Yale/DCS/tr1125 Flexible Representation Analysis
March/97/Sys Supported by AFOSR DARPA EDC
Zhong Shao F30602-96-2-0232
NSF CCR-9501624

Yale/DCS/tr1126 Typed Cross-Module Compilation
March/97/Sys Supported by AFOSR DARPA EDC
Zhong Shao F30602-96-2-0232
NSF CCR-9501624
CCR-9633390

Yale/DCS/tr1127 Selections of Term Papers for CS 426/477 for 95, 96
April/97/AI unsupported
Willard Miranker
authors et al

Yale/DCS/tr1128 Designing Record Systems
April/97/Sys Yale Fellowship
Martin Sulzman

Yale/DCS/tr1129 Type Inference With Constrained Types
May/97/Sys Supported by Yale Fellowship
Martin Sulzmann

Yale/DCS/tr1130 Teachers, Learners and Black Boxes
May/97/Th Supported by NSF CCR-9213881
Dana Angluin
Martin Krikis

Yale/DCS/tr1131 From Malicious to Random Errors - The Bottle Shooting Game
May/97/Th Supported by NSF CCR-9213881
Dana Angluin
Martin Krikis

Yale/DCS/tr1132 Consciousness is an Information Field Induced by Hebbian Dynamics
May/97/AI Unsupported
Willard Miranker

Yale/DCS/tr1133 Programming in Distributed Systems Logic
June/97/Sys
Kevin Lynch

Yale/DCS/tr1134 The Lifestreams Software
May/97/Sys Architecture
Eric Freeman

Yale/DCS/tr1135 Principled Dynamic Code Improvement
July/97/Sys Supported by F30602-96-2-0232 (DARPA through Rome Labs)
Joh Peterson NSF CCR-9633390
Paul Hudak
G.S. Ling

Yale/DCS/tr1136 Consciousness is an Information State Induced by Hebbian
Aug/97/AI Dynamics (revised edition of tr1132
Willard Miranker

Yale/DCS/tr1137 Modeling Control for Mobile Manipulation in Everyday Environments
Sept/97/AI
Hager
Kentar

Yale/DCS/tr1138 What Visual Tasks are Decidable With an Uncalibrated Stereo System
Oct/97/AI NSF IRI-9420982
J.P.Hespanha
Zachary Dodds
G.D. Hager

Yale/DCS/tr1139 Towards Wide-Area Netowrk Piranha: Implementing Java-Linda
Nov/97/Sys
Andrew Smith

Yale/DCS/tr1140 Modular Monadir Semantics and Compilation
Dec/97/Sys
Sheng Liang

Yale/DCS/tr1141 Unassigned

Yale/DCS/tr1142 A Generalized One-Dimensional Fast Multipole Method with Application
Jan/98/NA to Filtering of Spherical Harmonics
Norman Yarvin Supported by DARPA/AFOSR Grant F49620-97-1-0011
Vladimir Rokhlin ONR Grant N00014-96-1-0188

Yale/DCS/tr1143 Spectral Deferred Correction Method for Ordinary Differential Equations
Jan/98/NA Supported by DARPA/AFOSR Contract F49620-95-C-0075
Leslie Greengard ONR Grant N00014-96-1-0188
Vladimir Rokhlin

Yale/DCS/tr1144 Interfacing Hugs and COM
Jan/98/Sys Supported by EDCS
William Javorcik
John Peterson

Yale/DCS/tr1145 Fast and Globally Convergent Pose Estimation From Video Images
Feb/98/Sys Supported by NSF IRI 9420982
Chien-Ping Lu
Greg Hager
Eric Mjolsness

Yale/DCS/tr1146 Area and Length Minimizing Flows for Shape Segmentation
March/98/AI Supported by NSERC (Canada)
Kaleem Siddiqi NSF IRI 9714331
Yves Berube Lauziere AFOSR-F49620-93-1-0011
Allen Tannenbaum ARO
Steven W. Zucker

Yale/DCS/tr1147 Shock Graphs and Shape Matching
Mar/98/AI Supported by NSF IRI-9623913
Kaleem Siddiqi IRI 9714331
Ali Shokoufandeh AFOSR F49620-93-1

Yale/DCS/tr1148 Matching Hierarchical Structures Using Association Graphs
Mar/98/AI Supported by Consiglio Nazionale delle Ricerche (Italy)
Marcell Pelillo NSF IRI-9714331
Kaleem Siddiqi AFOSR-F49620-93-1-004
Steven Zucker ARO

Yale/DCS/tr1149 Replicator Equations Maximal Cliques and Graph Isomorphism
Mar/98/AI Supported by Consiglio Nazionale delle Ricerche (Italy)
Marcello Pelillo

Yale/DCS/tr1150 On the Psycholphysics of the Shape Triangle
Feb/98/AI Supported by NSF IRI-9714331
Kaleem Siddiqi AFOSR F49620-93-1-0011
Benjamin B. Kimia ARO
Allen Tannenbaum
Steven Zucker

Yale/DCS/tr1151 An Improved Operator Expansion Algorithm for Direct and Inverse Scattering
May/98/NA Computations
R. Coifman Supported by DARPA/AFOSR F4962097-1-0011
M. Goldberg
T. Hrycak
M. Israeli
V. Rokhlin

Yale/DCS/tr1152 Selections of Term for CS 477/577
Fall 97 Neural Networks and Applications, Fall 1997
June 1st 1998
Willard Miranker

Yale/DCS/tr1153 Combining Variational Calculus and Wavelets for Image Enhancement
June/98/NA Supported by DARPA/AFOSR F49620-97-1-0011
R. Coifman
A. Sowa

Yale/DCS/tr1154 An Intermediate Meta-Language For Program Transformation
June/98/Sys Supported by NSF CCR-9633390
Mark Tullsen
Paul Hudak

Yale/DCS/tr1155 Polymorphism and Constraints in Hindley/Milner Style Type Systems
June/98/Sys Supported by DARPA F30602-96-2-0232
Martin Sulzmann

Yale/DCS/tr1156 An Alternative Operator Expansion Formalism for Electromagnetic
July/98/NA Scattering From a Perfectly Conducting Rough Surface
Maxim J. Goldberg Supported by DARPA/AFOSR F49620-97-1-0011

Yale/DCS/tr1157 Using Type Systems for Architecture Based Analysis
July/98/Sys
Martin Sulzmann
John Peterson

Yale/DCS/tr1158 An Adaptive Fast Multipole Method in Three Dimensions with Compressed
Jul-98 Translation Operators
H. Cheng Supported by DARPA/AFOSR F49620-97-1-0011
L. Greengard
V. Rokhlin

Yale/DCS/tr1159 Optimal Type Lifting
Jul-98
Zhong Shao
Bratin Saha

Yale/DCS/tr1160 Implementing Typed Intermediate Languages
Jul-98
Zhong Shao
Christopher League
Stefan Monnier

Yale/DCS/tr1161 Parameterized Signatures and Higher-Order Modules
Jul-98
Zhong Shao

Yale/DCS/tr1162 Safe and Modular Language Interoperation
Jul-98
Valery Trifonov

YALE/DCS/tr1163 Analysis of the Direct Fourier Method for Computer Tomography
Sep-98
Johan Walden

YALE/DCS/tr1164 Prototyping Real-Time Vision Systems: An Experiment in DSL Design
Oct-98
A. Reid
John Peterson
Greg Hager
Paul Hudak

YALE/DCS/tr1165 The Planning Domain Definition Language
Oct-98 Supported by BBN
Drew McDermott

YALE/DCS/tr1166 Subtransitive CFA Usin Types
Oct-98 Yale University and Bell Laboratories
Bratin Saha
Nevin Heintze
Dino Oliva

YALE/DCS/tr1167 Learning Monotone DNF With Random Errors in Membership Queries
Nov-98 Supported by NSF CCR9213881
Dana Angluin CCR-9610295
Martin Krikis

YALE/DCS/tr1168 Quadrature Rules on Triangles in R2
Stephen Wandzura Supported by DARPA/AFOSR F49620-97-1-0013
Hong Xiao

YALE/DCS/tr1169 Non-linear Optimization, Quadratures, and Interpolation
Dec-98
H. Cheng
V. Rokhlin
N. Yarvin

YALE/DCS/tr1170 Towards a Principled Common Runtime Environment
Zhong Shao Supported by NSF Career Award CCR 9501624
NSF CCR-96-33390
DARPA D888, issued under contract No. F30602-96-2-02-32

YALE/DCS/tr1171 Formal Semantics of the FLINT Intermediate Language
Christopher League Supported by NSF Career Award CCR-9501624
Zhong Shao NSF CCR-9633390
DARPA D888, issued under Contract No. F30602-96-2-0232

YALE/DCS/tr1172 The FLINT Optimizer
S. Monnier Supported by NSF CCR-9501624
Z. Shao NSF CCR-9633390
DARPA D888

YALE/DCS/tr1173 Encoding Java Classes in a Typed Intermediate Language
C. League Supported by (same as tr1172)
Z. Shao
V. Trifonov

YALE/DCS/tr1174 Visual Learning for Collision Avoidance in a Simulated Environment
Jan-99
C. Rasmussan

YALE/DCS/tr1175 Handling Exceptions in Haskell
Jan/99/
Reid

YALE/DCS/tr1176 Quadruple and Octuple Layer Potentials in Two Dimensions:
P. Kolm Analytical Apparatus
V. Rokhlin

YALE/DCS/tr1177 A Quantum State Model of Consciousness
April/1999/
Willard Miranker

YALE/DCS/tr1178 The Pseudopolar TFT and its Application
A. Averbuch
R. Coifman
D. Donoho
M. Israeli
J. Walden

YALE/DCS/tr1179 On the Evolution of the Skeleton
May/1999/ Supported by NSF ECS-9700588
J. August NSF LIS, AFOSR AF/F49620-98-1-0168,
Allen Tannenbaum ARO DAAG55-98-1-0169, and MURI Grant
Steven Zucker

YALE/DCS/tr1180 Representing Java Classes in a Typed Intermediate Language
May/1999/
Christopher League
Zhong Shao
Valery Trivonov

YALE/DCS/tr1181 Transparent Modules with Fully Syntactic Signatures
May/1999/
Zhong Shao

YALE/DCS/tr1182 Scaling Proof-Carrying Code to Production Compilers and
May/1999/ Security Policies
Andrew W. Appel
Edward Felton
Zhong Shao

YALE/DCS/tr1183 Contour Fragment Grouping and Shared, Simple Occluders
May/1999/ Supported by AFOSR
Jonas August
Kaleem Siddiqi
Steven Zucker

YALE/DCS/tr1184 Solving the Compressible Euler and Navier-Stokes Equations with
June/1999/ the Filter Bauk Method
Johan Walden

YALE/DCS/tr1185 Coulomb Interaction on Planar Structures: Inverting the Square
July/1999/ Root of the Laplacian
Zydrunas Bimbutas
Leslie Greengard
Michale Minion

YALE/DCS/tr1186 On the Method of Images for Systems of Closely Spaced Conducting Spheres
Sept./1999/
Hongwei Cheng

YALE/DCS/tr1187 Progressive Wavelet Package Image Cooling Using Compatible
Sept/1999/ Zerotree Quantization
N. Rajpoot Supported by DARPA/AFOSR under Grant #F49620-97-1-0011
F. Meyer
R. Coifman
R. Wilson

YALE/DCS/tr1188 The Robot, the Grid, and the Algorithm
October/1999/
Chinda Wongngamnit
Dana Angluin

YALE/DCS/tr1189 Cross-Functor Inlining in FLINT
Stefan Monnier
Matthias Blume
Zhong Shao

YALE/DCS/tr1190 Numerical Quadratures for Singular and Hypersingular Integrals
Dec/1999/
V. Rokhlin
P. Kolm

YALE/DCS/tr1191 The Zip Calculus
Paul Hudak
Mark Tullsen

YALE/DCS/tr1192 Image Texture Flaw: Representation Local Modeling and Implications
Ohad Ben-Shahar Supported by S. Zucker's AFOSR
Steven Zucker

YALE/DCS/tr1193 Inlining as Staged Computation
Stefan Monnier
Zhong Shao

YALE/DCS/tr1194 Reflexive Intensional Type Analysis
Bratin Saha
Valery Trivonov
Zhong Shao

YALE/DCS/tr1195 Platform-independent Framework for Verifying Integer Constraints
David Teller
Zhong Shao

YALE/DCS/tr1196 A Procedure for the Design of Apparata for the Measurement
V. Rokhlin and Generation of Band-Limited Signals

YALE/DCS/tr1197 Fully Reflexive Intensional Type Analysis in a Type Erasure
Bratin Saha Framework
Valery Trifonov
Zhong Shao

YALE/DCS/tr1198 Well-Conditioned Boundary Integral Equations
Harry Contopanagos for Three Dimensional Electromagnetic
Benjamin Embart Scattering
Michael Epton Support: DARPA Contract #MDA972-95-C-0021
John J. Ottusch
Vladimir Rokhlin
John Visher
Stephen Wandzura

YALE/DCS/tr1199 Prolate Spheroidal Wave Functions, Quadrature and
Hong Xiao Interpulation
Vladimir Rokhlin Support: DARPA
Norman Yarvin
June 2000.

YALE/DCS/tr1200 Term Projects
W.L. Miranker CS477/577; 2000
June 2000.

YALE/DCS/tr1201 Quadruple and Octuple Layer Potentials in Two Dimensions
Petter N. Kolm
May 2000

YALE/DCS/tr1202 A Generalized Fast Multipole Method for Non-Oscillatory
Vladimir Rokhlin Kernals
Zydrunas Gimbutas Support: AFOSR Grant #F49620-97-0011
July 2000 ONR Grant N00014-89-J-1527

YALE/DCS/tr1203 Nonmonotonicity, User Interfaces, and Risk Assessment in
Ninghui Li Certificate Revocation (Position Paper)
Joan Feigenbaum
October 2000

YALE/DCS/tr1204 Compiling Haskell to Java
Mark Tullsen Support: Intermetrics Inc. Grant - Hudak
May 1996 Grant exp. date: 8/2/97
"CAETI Program" Computer Aided Education and Training Initiative

Yale/DCS/tr1205 Principled Scavenging
Stefan Monnier
November 2000

Yale/DCS/tr1206 Competition and Cooperation in Neuronal Processing
Haim Bar with application to associative memory
Alexander Ambash
Willard Miranker
November 2000

Yale/DCS/tr1207 A Simple Game for the Study of Trust in
Zoe Diamadi Distributed Systems
Michael J. Fischer
January 2001

Yale/DCS/tr1208 Neural Net Term Projects
W.L. Miranker CS 477-577/ Fall 2000

Yale/DCS/tr1209 Type-Preserving Compilation
Chrisopher League of Featherweight Java
Valery Trifonov
Zhong Shao
March 2001

Yale/DCS/tr1210 Secure Multiparty Computation
Joan Feigenbaum of Approximations

Yale/DCS/tr1211 A Type System for Certified Binary
Zhong Shao
Bratin Saha
Valery Trifonov
Nikolas Papaspyrou

Yale/DCS/tr1212 Approximation and Collusion in Multicast Cost
Joan Feigenbaum Sharing
Arvind Krishnamurthy
Rahul Sami
Scott Shenker
April 2001

Yale/DCS/tr1213 Prolate Spheroidal Wave Functions,
Hong Xiao Quadrature, Interpolation, and Asymtotic
dissertation Formulae
director:
V. Rokhlin
May 2001

Yale/DCS/tr1214 The Prisoner's Dilemma and Predator-Prey
Joel Pomerantz Coevolution
Willard Miranker
August 2001

Yale/DCS/tr1215 The Renormalization of Information
Willard Miranker
August 2001

Yale/DCS/tr1216 High-Frequency Asymptotic Expansions
Hong Xiao for Certain Prolate Spheroidal Wave
Vladimir Rokhlin Functions
August 2001

Yale/DCS/tr1217 Comparing Object Encodings
Christopher League for Typed Intermediate Languages
Valery Trifonov
September 2001

Yale/DCS/tr1218

Yale/DCS/tr1219 Concrete Conjunctive Complexity of
Joan Boyar Symmetric Functions
Rene Peralta
Denis Pochuev
November 2001

Yale/DCS/tr1220 Fast Mixnets for Small Message Spaces
Rene Peralta
Sheng Zhong
November 2001

Yale/DCS/tr1221 Yale FRP User's Manual
Paul Hudak
November 2001

Yale/DCS/tr1222 .ps file Counting Predicates of Conjunctive
Michael Fischer Complexity One
Rene Peralta
December 2001 supported in part by NSF grant CCR-0081823
Revised Feb.2002

Yale/DCS/tr1223 Precision in Practice: A Typing-Preserving Compiler for Java
Chris League
Zhong Shao
Valery Trifonov
March 2002 Funded by DARPA

Yale/DCS/tr1224 A Syntactic Approach to Foundational Proof-Carrying Code
Nadeem A. Hamid
Zhong Shao
Valery Trifonov
Stefan Monnier
Zhaozhong Ni
March 2002

Yale/DCS/tr1225 High Assurance Common Language Runtime
Andrew Appel Funded by DARPA
Zhong Shao
Valery Trifonov
David Walker
March 2002

Yale/DCS/tr1226 Path Integrals of Information
Willard L. Miranker
March 2002

Yale/DCS/tr1227 Neural Net Reports
Willard L. Miranker CS 477/577
April 2002

Yale/DCS/tr1228 Type Preserving Compilation of Featherweight IL
Dachuan Yu Funding: DARPA
Valery Trifonov
Zhong Shao

Yale/DCS/tr1229 PATH, a Program Transformation System for Haskell
Mark Anders Tullsen (Dissertation Director: Paul Hudak)
May 2002

Yale/DCS/tr1230 Consciousness and the Scientific Method
Willard Miranker
May 2002

Yale/DCS/tr1231
Carsten Schurmann
June 2002

Yale/DCS/tr1232 Hardness Results for Multicast Cost Sharing
Joan Feigenbaum
Arvind Krishnamurthy
Rahul Sami
Scott Shenker

Yale/DCS/tr1233 Second Kind Integral Equations for Scattering by Open
Shidong Jiang Surfaces I: Analytical Apparatus
V. Rokhlin
August 2002

Yale/DCS/tr1234 Quantum Neurons
Willard L. Miranker
August 2002

Yale/DCS/tr1235 Sprite: A simple, cheat-proof, credit-based system for
Sheng Zhong mobile ad-hoc networks
Yang Richard Yang
Jiang Chen
July 2002 sponsored in part by NSF grant #ANIR-0207399

Yale/DCS/tr1236 Incorporating the Torrance and Sparrow Model of Reflectance in
Athinodoros Uncalibrated Photometric Stereo
Georghiades
October 2002

Yale/DCS/tr1237 A Type System for Certified Runtime Type Analysis
Bratin Saha
June 2002

Yale/DCS/tr1238 A Type-Preserving Compiler Infrastructure
Christopher League
June 2002

Yale/DCS/tr1239 .ps file Analyzing DoS-Resistance of Protocols Using a Cost-Based
Vijay Ramachandran Framework
July 2002 Supported in part by a 2001 Dept. of Defense NDSEG Fellowship
and ONR Grant N00014-01-1-0447

Yale/DCS/tr1240 Intensional Analysis of Higher-Kinded Recursive Types
Gregory D. Collins supported in part by DARPA OASIS
Zhong Shao NSF ITR-grant CCR-0081590, and PGSA-242848-2001

Yale/DCS/tr1241 Verifiable Distributed Oblivious Transfer
Sheng Zhong
Yang Richard Yang
October 2002

Yale/DCS/TR1242 Typed Regions
Stefan Monnier
Zhong Shao

Yale/DCS/TR1243 fixclock: Removing Clock Artifacts from Communication
Raphael S. Ryger Timestamps
December 2002

Yale/DCS/TR1244 Second-Kind Integral Equations for Scattering by Open
S.Jiang Surfaces II
V. Rokhlin
January 2003

Yale/DCS/TR1245 Computing Diameter in the Streaming and Sliding-Window Models
Joan Feigenbaum
Sampath Kannan
Jian Zhang
December 2002

Yale/DCS/TR1246 Generalized ______ Wave Functions
Ronald Coifman
Stephane Lafon support: DARPA
December 2002

Yale/DCS/TR1247 Building Certified Libraries for PCC: Dynamic Storage Allocation
Dachuan Yu
Nadeem A. Hamid support: DARPA
Zhong Shao

Yale/DCS/TR1248 Neural Net Applications
Willard Miranker
March 2003

Yale/DCS/TR1249 Annotation and Computational Geometry in the Streaming Model
Joan Feigenbaum
Sampath Kannan
Jian Zhang
May 2003

Yale/DCS/TR1250 .ps file Design Principles of Policty Languages for Path Vector Protocols
Timothy G. Griffin
Aaron D. Jaggard
Vijay Ramachandran

Yale DCS/TR1251 On the Compression of Low Rank Matrices
H. Cheng
Z. Gimbutas
P.G. Martinsson
V. Rokhlin
July 2003

Yale DCS/TR1252 Approximating x^2 mod N by a function f: N -> N
Rene Peralta
Jatin Shah

Yale DCS/TR1253 Dance: A Language for Humanoid Robot Motion
Liwen Huang
Paul Hudak
July 2003

Yale DCS/TR1254 Representing Reductions of NP-Complete Problems in Logical Frameworks
Carsten Schuermann
August 2003

Yale DCS/TR1255 Privacy-Preserving Algorithms for Distributed Mining of Frequent Itemsets
Sheng Zhong
August 2003

Yale DCS/TR1256 .ps file Factoring Report
Adam Poswolsky
September 29, 2003
(revised 11/19/03)

Yale DCS/TR1257 Rigidity, Complexity, and Randomization in Network Localization
Tolga Eren
David Goldenberg
Walter Whiteley
Yang Richard Yang
Stephen Morse
Brian D.O. Anderson
Peter Belhumeur

Yale DCS/TR1258 Mechanism Design for Policy Routing
Rahul Sami
Scott Shenker
Joan Feigenbaum
November 2003

Yale DCS/TR1259 An Algebraic Theory of Polymorphic Temporal Media
Paul Hudak
August 15, 2003

Yale DCS/TR1260 .ps file The Exact Multiplicative Complexity of the Hamming Weight Function
Rene Peralta
November 2003

Yale DCS/TR1261 Jump Relations of the Quadruple Layer Potential on a Regular Surface in Three Dimensions
S. Jiang
Nov. 24, 2003 Support: Dapra Grant #MDA972-00-1-0033, ONR Grant #N0001401-1-0364

Yale DCS/TR1262 On Graph Problems in a Semi-Streaming Model
Joan Feigenbaum
Sampath Kannan
Andrew McGregor
Siddharth Suri
Jian Zhang

Yale DCS/TR1263 A Hybrid Approach to Overlay Networks
Anthony Young
Adam Poswolsky
Arvind Krishnamurthy
Randolph Wang

Yale DCS/TR1264 A Fast direct solver four boundary integral equations in two dimensions
P.G. Martinsson Support ONR N00014-01-1-0364
V. Rokhlin
December 2003

Yale DCS/TR1265 Towards Mobility as a Network Control Primitive
David Goldenberg
Jie Lin
A. Stephen Morse
Brad Rosen
Y. Richard Yang

Yale/DCS/RR1266 Mechanics of Materials With Periodic Truss or Frame Micro-Structures I: Korn's Inequality
P.G. Martinsson Army Research Office DAAD 19-99-1-014
I. Babuska
December 13, 2003

Yale/DCS/RR1267 Mechanics of Materials With Periodic Truss or Frame Micro-Structures II: Homogenization
P.G. Martinsson Army Research Office DAAD 19-99-1-014
I. Babuska
December 13, 2003

Yale/DCS/TR1268 waiting for title and authors

Yale/DCS/TR1269 Fast Monte Carlo Algorithms for Matrices I: Approximating Matrix Multiplication
P. Drineas
R. Kannan
M.W. Mahoney
February 2004

Yale/DCS/TR1270 Fast Monte Carlo Altorithms for Matrices II: Computing Low-Rank Approximation to a Matrix
P. Drineas
R. Kannan
M.W. Mahoney
February 2004

Yale/DCS/TR1271 Fast Monte Carlo Algorithms for Matrices III: Computing on Efficient Approximation
P. Drineas Decomposition of a Matrix
R. Kannan
M.W. Mahoney
February 2004

Yale/DCS/TR1272 The V-Calculus
Carsten Schuermann Functional Programming with Higiher-order Encodings
Adam Poswolsky
Jeffrey Sarnat
November 2004

Yale/DCS/TR1273 Neural Net Applications
Willard Miranker
February 2004

Yale/DCS/TR1274 Polylogarithmic Inapproximability of the Radio Broadcast Problem
Michael Elkin
Guy Kortsarz
February 25, 2004

Yale/DCS/TR1275 Efficient Algorithms for Constructing $(1+\epsilon,\beta)$-Spanners in
Michael Elkin the Distributed and Streaming Models
Jian Zhang
February 2004

Yale/DCS/TR1276 Load-Balancing and Locality in Range-Queriable Data Structures
James Aspnes
Jonathan Kirsch
Arvind Krishnamurthy

Yale/DCS/TR1277 .ps file Towards a Theory of Entanglement
James Aspnes
Joan Feigenbaum
Aleksandr Yampolskiy
Sheng Zhong

Yale/DCS/TR1278 Experience with Two Systems Supporting Proofs
Dana Angluin
Michael Bell
May 2003

Yale/DCS/TR1279 How close can \/a + \/b be to an integer?
Dana Angluin
Sarah Eisenstat
February 2004

Yale/DCS/TR1280 .ps file Urn Automata
Dana Angluin
James Aspnes
Zoe Diamadi
Michael J. Fischer
Rene Peralta

Yale/DCS/TR1281 .ps file Computation in Networks of Passively Mobile Finite-State Sensors
Dana Angluin
James Aspnes
Zoe Diamadi
Michael J. Fischer
Rene Peralta

Yale/DCS/TR1282 .ps file On the Computational Complexity of Sensor Network Localization
James Aspnes
David Goldenberg
Yang Richard Yang

Yale/DCS/TR1283 Sampling Sub-problems of Heterogeneous Max-Cut Problems and Approximation
P. Drineas Algorithms
R. Kannan
M.W. Mahoney

Yale/DCS/TR1284 Apoptosis/Neurogenesis Favorably Informs Memory Development
Willard Miranker

Yale/DCS/TR1285 .ps file Tiny Systematic Vote Manipulations Can Swing Elections
Anthony DiFranco
Andrew Petro
Emmett Shear
Vladimir Vladimirov

Yale/DCS/TR1286 ! On Designing Incentive-Compatible Routing and Forwarding Protocols in
Sheng Zhong Wireless Ad-Hoc Networks -- an Integrated Approach Using Game Theoretical
Li Li and Cryptographic Techniques
Yangin Liu
Yang Richard Yang


Yale/DCS/TR1287 Think-A-Dot
MAY/2004
Michael J. Fischer
Albert R. Meyer
Michael S. Paterson

Yale/DCS/TR1288 Graph Distances in the Streaming Model: The Value of Space
MAY/2004
Joan Feigenbaum
Sampth Kannan
Andrew McGregor
Siddhart Suri
Jian Zhang

Yale/DCS/TR/1289 On Self Adaptive Routing in Dynamic Environments - An Evaluation and Design Using a Simple,
MAY/2004 Probabilistic Scheme
Haiyong Xie

Yale/DCS/TR1290 .ps file Privacy from Untrusted Web Servers
MAY/2004
Robert Fischer
Margo Seltzer
Michael Fischer

Yale/DCS/TR1291 .ps file Typed Computational Email for Serverless Distributed Applications
MAY/2004
Robert Fischer
Hong Jiang
Michael Fischer

Yale/DCS/TR1292 Multiresolution Analysis Associated to Diffusion Semigroups:
Ronald Coifman Construction and Fast Algorithms
Mauro Maggioni
June 2004

Yale/DCS/TR1293 Logosphere/Idealized PVS
Carsten Schuermann
June 2004

Yale/DCS/TR1294 forthcoming
Zhaozhong Ni
June 2004

Yale/DCS/TR1295 .ps file Innoculation Strategies for Victims of Viruses and the Sum
James Aspnes of-Squares Partition Problem
Kevin Chang
Aleksandr Yampolskiy
July 2004

Yale/DCS/TR1296 .ps file Robustness of Class-Based Path-Vector Systems
Aaron D. Jaggard
Vijay Ramachandran
July 2004

Yale/DCS/TR1297 Privacy-Preserving Location-based Services for Mobile Users
Sheng Zhong in Wireless Networks
Li (Erran) Li
Yanbin Grace Liu
Richard Yang
July 2004

Yale/DCS/TR1298 Diffusion Maps and Geometric Harmonics
Ronald R. Coifman
Stephane Lafon
May 2004

Yale/DCS/TR1299 Optimal ISP Subscription for Internet Multihoming: Algorithm Design and Implication Analysis
Hao Wang
Haiyong Xie
Lili Qiu
Avi Silberschatz
Richard Yang
July 2004

Yale/DCS/TR1300 Ontology Translation by Ontology Merging and Automated Reasoning
Dejing Dou
July 2004

Yale/DCS/TR1301 Relating Two Formal Models of Path-Vector Routing
Aaron D. Jaggard
Vijay Ramachandran
July 2004

Yale/DCS/TR1302 Subject-Cost Policy Routing
Joan Feigenbaum
David Karger
Vahab Mirrokni
Rahul Sami
August 2004

Yale/DCS/TR1303 Diffusion Wavelets
Ronald Coifman
Mauro Maggioni
September 2004

Yale/DCS/TR1304 Diffusion Wavelets Pockets
Ronald Coifman
Mauro Maggioni
September 2004

Yale/DCS/TR1305 On Sparse Additive Spanners
Bela Bollobas
Don Coppersmith
Michael Elkin
September 2004

Yale/DCS/TR1306 H Porter: Using Arrows to Compose Parallel Processes
Liwen Huang
Paul Hudak
John Peterson
September 2004

Yale/DCS/TR1307 Fast Evaluation of Electro-Static Interactions in a two-Phase Dielectric Medium
Per-Gunnar Martinsson
September 2004

Yale/DCS/TR1308 An O(Nbg2N) algorithm for the inversion of general toeplitz matrices
P.G. Martinsson
V. Rokhlin
M. Tygert

Yale/DCS/TR1309 .ps file Fast Algorithms for Spherical Harmonic Expansions
Vladimir Rokhlin
Mark Tygert
December 2004

Yale/DCS/TR1310 forthcoming
Zhaozhong Ni

Yale/DCS/TR1311 Algorithms from Signal and Data Processing Applied to Hyperspectral
M. Maggioni Analysis: Discriminating Normal and Malignant Microarray Colon Tissue
G. Davis Sections Using a Novel Digital Mirror Device System
F. Warner
F. Geshwind
A. Coppi
R. Deversi
R. Coifman

Yale/DCS/TR1312 forthcoming
Carsten Schuermann
December 2004

Yale/DCS/TR1313 .ps file Diagonal Representation of Certain Matrices
Mark Tygert
December 2004

Yale/DCS/TR1314 .ps file Robustness of Path-Vector Protocols without Independent Route Ranking
Aaron D. Jaggard
Vijay Ramachandran
February 2005

Yale/DCS/TR1315 Neural Net Applications '04
Willard L. Miranker
February 2005

Yale/DCS/TR1316 On Stable Route Selection for Interdomain Traffic Engineering
Hao Wang
Haiyong Xie
Yang Richard Yang
Li Li
Yanbin Liu
Avi Silberschatz

Yale/DCS/TR1317 .ps file On Interpolation and Integration in Finite-Dimensional Spaces of Bounded Functions
Per-Gunnar Martinsson
Vladimir Rokhlin
Mark Tygert
February 2005

Yale/DCS/TR1318 Learning-Based Anomaly Detection in BGP Updates
Jian Zhang
Jennifer Rexford
Joan Feigenbaum

Yale/DCS/TR1319 On the Nystrom Method for Approximating a Gram Matrix for Improved Kernal-Based
P. Drineas Learning
M.W. Mahoney
April 2005

Yale/DCS/TR1320 Diffusion Maps: A Unified Framework for Dimension Reduction, Data
Stephane Lafon Partitioning and Graph Subsampling
Ann B. Lee
March 2005

Yale/DCS/TR1321 Global Minimization on a Quantum Computer
Willard Miranker
May 2005

Yale/DCS/TR1322 Apoptosis, Neurogenesis, and Information Content in Hebbian Networks
Christopher Crick
Willard Miranker
May 2005

Yale/DCS/TR1323 Approximate Formulae for Certain Prolate Wave Functions Valid for Large
Vladimir Rokhlin Values of Both Order and Band Limit
Hong Xiao
May 2005

Yale/DCS/TR1324 Contour-Based Binocular Stereo: Inferring Coherence in Stereo Tangent Space
Gang Li
Steven Zucker
May 2005

Yale/DCS/TR1325 .ps file Distributed Block Ciphers: Sharing the Luby-Rackoff Construction
Yevgeniy Dodis
Aleksandr Yampolskiy
May 2005

Yale/DCS/TR1326 .ps file Spreading Alerts Quietly and the Subgroup Escape Problem
James Aspnes
Zoe Diamadi
Kristian Gjosteen
Rene Peralta
Aleksandr Yampolskiy
June 2005

Yale/DCS/TR1327 Randomized Algorithms for a Sensor-Based Generalization of the SVD
Petros Drineas
M.W. Mahoney
June 2005

Yale/DCS/TR1328 Posters Presented at the Twenty-Fourth Annual ACM SIGACT-SIGOPS
Rida Bazzi Symposium on Principles of Distributed Computing
James Aspnes
June 2005

Yale/DCS/TR1329 Observing and Transferring Material Histories
A.S. Georghiades
J. Lu
C. Xu
J. Dorsey
H. Rushmeier
June 2005

Yale/DCS/TR1330 Stereo for Slanted Surfaces: First Order Disparities and Normal Consistency
Gang Li
Steven Zucker

Yale/DCS/TR1331 Interdomain Routing as Social Choice: A New Perspective
Ronny R. Dakdouk
Hao Wang
Haiyong Xie
Yang Richard Yang
July 2005

Yale/DCS/TR1332 .ps file Exposing Computationally-Challenged Byzantine Imposters
James Aspnes
Collin Jackson
Arvind Krishnamurthy
July 2005

Yale/DCS/TR1333 Java Implementation of a Single-Database Computationally Symmetric Private
Felipe Saint-Jean Information Retrieval (CSRIR) Protocol
August 2005

Yale/DCS/TR1334 Lightweight Types For Machine Level Objects
Andrew McCreight
August 2005

Yale/DCS/TR1335 Multiscale Analysis of Data Sets with Diffusion Wavelets
Ronald R. Coifman
Mauro Maggioni
September 2005

Yale/DCS/TR1336 Modular Verification of Assembly Code with Stack-Based Control Abstractions
Xinyu Feng
Zhong Shao
Alexander Vaynberg
Sen Xiang
Zhaozhong Ni

November 2005

Yale/DCS/TR1337 Pass-Efficient Algorithms for Facility Location
Kevin L. Chang
November 2005

Yale/DCS/TR1338 A Verifiable SSA Program Representation for Aggressive Compiler Optimization
Vijay Menon
Neal Glew
Brian Murphy
Andrew McCreight
Tatiana Shpeisman
Ali-Reza Adl-Tabatabai
Leaf Petersen

November 2005

Yale/DCS/TR1339 .ps file Fast Algorithms for the Solution of Eigenfunction Problems for One-Dimensional Self-Adjoint Linear Differential Operators
Mark Tygert
November 2005

Yale/DCS/TR1340 Special Clustering with Limited Independence
Anirban Dasgupta
John Hopkroft
Ravi Kannan
Pradipta Mitra

Yale/DCS/TR1341 .ps file Learning a Circuit by Injecting Values
Dana Angluin
James Aspnes
Jiang Chen
Yinghua Wu

Yale/DCs/TR1342 Incentive Compatible Inter-Domain Routing
Joan Feigenbaum
Vijay Rmachandran
Michael Schapira

Yale/DCS/TR1343 .ps file Recurrence Relations and Fast Algorithms
Mark Tygert
December 2005

Yale/DCS/TR1344 Consciousness, A Darwinian Process
Willard L. Miranker
December 2005

Yale/DCS/TR1345 On a Differential Equation Arising in Plant Vascular Biology
Pavel Dimitrov
Steven Zucker

Yale/DCS/TR1346 Multilevel Compression of Linear Operators Version 1
Mark Tygert

Yale/DCS/Tr1347 A Fast Direct Solver for Scattering Problems Involving Elongated Structures
Per Gunnar Martinsson
Vladimir Rokhlin

March 2006

Yale/DCS/TR1348 Integration of Heteregeneouos Bio-Medical Databases: A Federated Approach Using Semantic Schemas
Swathi Yadlapalli
Abraham Silberschatz
Gordon Shepherd
Perry Miller
Luis Marenco

Yale/DCS/TR1349 Lower Bounds on the VC Dimension of Unions of Concept Classes
Lev Reyzin
April 6, 2006

Yale/DCS/TR1350 Dynamic Tables: An Architecture for Managing Evolving, Heterogeneous Data in Relational Database Management Systems
John Corwin
Perry Miller
Avi Silberschatz
Luis Marenco

March 16, 2006

Yale/DCS/TR1351 .ps file Analogues for Bessel Functions of the Christoffel-Darboux Identity
Mark Tygert
March 30, 2006




 

 

Top of Page.

 
Yale University.