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