|
YALEU/DCS/TR001 [.pdf]
Multiple-track Programming
Edgar Irons
1970
[return to Technical
Reports main page]
YALEU/DCS/TR002 [.pdf]
Syntax Graphs and Fast Context Free Parsing
Edgar Irons
1971
YALEU/DCS/TR003 [.pdf]
L2-Error Bounds for the Raleigh-Bitz-Galerkin Method
Martin Schultz
April 1971
YALEU/DCS/TR004 [.pdf]
Discrete Tchebycheff Approximation for Multivariate
Splines
Martin Schultz
April 1971
YALEU/DCS/TR005 [.pdf]
Error Bounds for Bivariate Cubic Interpolation
Martin Schultz
April 1971
YALEU/DCS/TR006 [.pdf]
Error Bounds for Galerkin's Method for Monotone
Operator Equations
Martin Schultz
1971
YALEU/DCS/TR007 [.pdf]
New Computational Algorithms for Minimizing a Sum
of Squares of Nonlinear Functions
Kenneth Brown
J. Dennis, Jr.
1971
YALEU/DCS/TR008 [.pdf]
On the Second Order of Convergence
Kenneth Brown
1971
YALEU/DCS/TR009 [.pdf]
Quadrature-Galerkin Approximations to Solutions
of Elliptic Differential Equations
Martin Schultz
May 1971
YALEU/DCS/TR010 [.pdf]
A Ritz Method for an Optimal Control Problem
Martin Schultz
May 1971
YALEU/DCS/TR011 [.pdf]
Computational Aspects of the Finite Element Method
Stanley Eisenstat
Martin Schultz
1972
YALEU/DCS/TR012 [.pdf]
On the Rate of Convergence of the Gergman-Vekua
Method for Numerical Solution of Elliptic Boundary Value
Stanley Eisenstat
July 1972
YALEU/DCS/TR013 [.pdf]
Neighborhood Search Algorithms for Finding Optimal
Traveling Salesmen Tours Must
Weiner be Inefficient
P. Weiner
S. L. Savage
A. Bagchi
1973
YALEU/DCS/TR014 [.pdf]
Convergent Local Search
S.L. Savage
P. Weiner
M.J. Krone
1973
YALEU/DCS/TR015 [.pdf]
Bicubic Interpolation Over Right Triangles
Martin Schultz
August 1972
YALEU/DCS/TR016 * The File Transmission
Problem Problems
P. Weiner
Tuttle
1972
YALEU/DCS TR017 * Linear Pattern
Matching Algorithms
P. Weiner
1973
YALEU/DCS/TR018 * An Overview of
the YALE GEM System (Preliminary Version)
P. Weiner
Minter
1973
YALEU/DCS/TR019 * The Yale Editor
"E" - A CRT-Based Text Editing System (Preliminary Version)
Weiner
Singh
Mostow
Edgar Irons
1973
YALEU/DCS/TR020 * The Complexity
of Partial Differential Equations
Stanley Eisenstat
Martin Schultz
May 1973
YALEU/DCS/TR021 [.pdf]
The Complexity of Linear Approximation Algorithms
Martin Schultz
May 1973
YALEU/DCS/TR022 [.pdf]
On Synchronization Primitive Systems
Richard J. Lipton
1973
YALEU/DCS/TR023 * On the Arithmetic
Complexity of a Class of Arithmetic Computations
David Dobkin
1973
YALEU/DCS/TR024 [.pdf]
Steps Toward an APL Compiler
Allen Perlis
1974
YALEU/DCS/TR025 [.pdf]
On Some Generalizations of Binary Search
David Dobkin
R.J. Lipton
1974
YALEU/DCS/TR026 * Limitations of
Synchronization Primitives
R.J. Lipton
1974
YALEU/DCS/TR027 [.pdf]
The Application of Sparse Matrix Methods to the
Solution of Nonlinear Elliptic Partial Differential
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1974
YALEU/DCS/TR028 [.pdf]
A Comparative Analysis of the Cuthill-McKee and
Reverse Cuthill-McKee Ordering Algorithms for Sparse Matrices
Wai-Hung Liu
A.H. Sherman
1974
YALEU/DCS/TR029 [.pdf]
A Real-Time Algorithm for Least Square Splines and
its Application in Computer-Aided Geometric Design
Stanley Eisenstat
John Lewis
Martin Schultz
May 1975
YALEU/DCS/TR030 * Reduction: A New
Method of Proving Properties of Systems (Revised+ see #40.)
R.J. Lipton
1974
YALEU/DCS/TR031 * Limitations of
Synchronization Primitives
R.J. Lipton
1974
YALEU/DCS/TR032 [.pdf]
Translational Lemmas, Polynomial Time and (log n)-space
Ronald V. Book
1974
YALEU/DCS/TR033 [.pdf]
On the Chomsky-Schutzenberger Theorem
Ronald V. Book
1974
YALEU/DCS/TR034 * Multidimensional
Searching Problems
David Dobkin
R.J. Lipton
1974
YALEU/DCS/TR035 [.pdf]
Subroutines for Envelope Solution of Sparse Linear Systems
Stanley Eisenstat
A.H. Sherman
October 1974
YALEU/DCS/TR036 * A Model for Natural
Language Semantics
Hobbs
1974
YALEU/DCS/TR037 * On the Optimal
Parsing of Speech
R.J. Lipton
Snyder
1974
YALEU/DCS/TR038 * Complexity Measures
and Hierarchies for the Evaluation of Integers, Polynomials, and N-linear
Forms
R.J. Lipton
David Dobkin
1974
YALEU/DCS/TR039 * The Role of Memory
in Language Processing
Roger Schank
1975
YALEU/DCS/TR040 * Reduction: A Method
for Proving Properties of Parallel Programs (revision of #30)
R.J. Lipton
1975
YALEU/DCS/TR041 [.pdf]
The Complexity of Control Structures and Data Structures
R.J. Lipton
Stanley Eisenstat
R.A. DeMillo
1975
YALEU/DCS/TR042 * On the Complexity
of Computations Under Varying Sets of Primitives
David Dobkin
R.J. Lipton
1975
YALEU/DCS/TR043 * SAM -- A Story
Understander
Roger Schank
August 1975
YALEU/DCS/TR044 [.pdf]
LGS: A Lexical Analyzer Generator
Wick
1975
YALEU/DCS/TR045 * PGS: A Parser
Generator
John Dryer Wick
1975
YALEU/DCS/TR046 [.pdf]
On the Efficient Solution of Sparse Systems of Linear
and Nonlinear Equations
A.H. Sherman
1975
YALEU/DCS/TR047 [.pdf]
Application of Sparse Matrix Methods to Partial
Differential Equations
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1975
YALEU/DCS/TR048 [.pdf]
Efficient Implementation of Sparse Symmetric Gaussian
Elimination
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1975
YALEU/DCS/TR049 [.pdf]
Conjugate Gradient Methods for Partial Differential
Equations
R. Chandra
Stanley Eisenstat
Martin Schultz
1975
YALEU/DCS/TR050 [.pdf]
Automatic Generation of Assemblers
John Dryer Wick
1975
YALEU/DCS/TR051 [.pdf]
Program Construction From Examples
Phillip Dale Summers
1975
YALEU/DCS/TR052 * A Non-Linear Lower
Bound on Linear Search Tree Program for Solving Knapsack Problems
David Dobkin
1975
YALEU/DCS/TR053 [.pdf]
Application of Sparse Matrix Techniques to Reservoir
Simulation
P.T. Woo
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1975
YALEU/DCS/TR054 [.pdf]
Applications of an Element Model for Gaussian Elimination
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1975
YALEU/DCS/TR055 [.pdf]
Consideration in the Design of Software for Sparse
Gaussian Elimination
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1975
YALEU/DCS/TR056 [.pdf]
Subrecursive Predicates and Automata
Celia Wrathall
1975
YALEU/DCS/TR057 * Question Answering
in a Story Understanding
Wendy Lehnert
December 1975
YALEU/DCS/TR058 * TINY: A Bundled
One-Chip Computer
Edgar Irons
1975
YALEU/DCS/TR059 * A Constructive
Generalization of the Borel-Cantelli Lemma with Application to
DeMillo the Complexity of Infinite Strings
Lipton
1975
YALEU/DCS/TR060 * Word Problems
Solvable in Log Space
Lipton
Zalcstein
1975
YALEU/DCS/TR061 [.pdf]
Space & Time Hierarchies for Control Structures
and Data Structures
Richard J. Lipton
Stanley Eisenstat
R.A. DeMillo
1975
YALEU/DCS/TR062 * AMPL: A Programming
Language for Manuscript Preparation Systems (Available only from
Sustman University Microfilms)
1976
YALEU/DCS/TR063 [.pdf]
The Reachability Problem Requires Exponential Space
Richard J. Lipton
1976
YALEU/DCS/TR064 [.pdf]
On the Complexity of Resource Managers
Lawrence Snyder
Richard J. Lipton
1976
YALEU/DCS/TR065 * Secure Data Bases:
Protection Against User Inference
David Dobkin
Jones
Richard J. Lipton
1976
YALEU/DCS/TR066 [.pdf]
Polynomials With 0-1 Coefficients That Are Hard to Evaluate
Richard J. Lipton
1976
YALEU/DCS/TR067 * Even Data Bases
that Lie can be Compromised
DeMillo
David Dobkin
Richard J. Lipton
1976
YALEU/DCS/TR068 [.pdf]
On the GEM System: A Progress Report
Edgar Irons
1976
YALEU/DCS/TR069 * On the Complexity
of Linear Programming
Steven P. Reiss
David Dobkin
1976
YALEU/DCS/TR070 * A Lower Bound
of 1/2n2 on Linear Search Programs for the Knapsack Problem
David Dobkin
Richard J. Lipton
1976
YALEU/DCS/TR071 * Excursions into
Geometry
Dobkin
Lipton
Reiss
1976
YALEU/DCS/TR072 * A Linear Time
Algorithm for Deciding Subject Security
Richard J. Lipton
Snyder
1976
YALEU/DCS/TR073 * A Machine Design
for Efficient Implementation of APL (Duplicate
of #81.)
Minter
1976
YALEU/DCS/TR074 * The Metanovel
James Meehan
September 1976
YALEU/DCS/TR075 [.pdf]
The Definition Mechanism for Standard PL/I
Michael Marcotty
Frederick G. Sayward
1976
YALEU/DCS/TR076 * A Linear Time
Algorithm for Deciding Subject-Object Security (Extension of #72.)
Lipton
Snyder
1976
YALEU/DCS/TR077 [.pdf] Security
in Data Bases: A Combinational Study
Steven P. Reiss
1976
YALEU/DCS/TR078 * Comprehension
by Computer: Expectation-based Analysis of Sentences in Context
Reisbeck
Roger Schank
October 1976
YALEU/DCS/TR079 [.pdf]
New Lower Bounds for Median and Other Related Problems
Chee-Keng Yap
1976
YALEU/DCS/TR080 * Pattern Matching
and Inference in a Story- understanding System
Cullingford
Stutzman
1976
YALEU/DCS/TR081 [.pdf]
A Machine Design for Efficient Implementation of
A.P.L.
Charles Russell Minter
1976
YALEU/DCS/TR082 [.pdf]
Social Processes and Proofs of Theorems and Programs
Richard A. DeMillo
Richard J. Lipton
Alan J. Perlis
1976
YALEU/DCS/TR083 * On the Optimality
of the Rayleigh-Ritz Approximation
Stanley Eisenstat
Schrieber
Martin Schultz
December 1976
YALEU/DCS/TR084 * Research at
Yale
Roger Schank
Yale AI Project
1977
YALEU/DCS/TR085 * On Structure Preserving
Reductions
Lipton
Lynch
1977
YALEU/DCS/TR086 * Specific Hard
0,1 Polynomials Over a Monotone Basis
Lipton
1977
YALEU/DCS/TR087 [.pdf]
The APL Idiom List
S. Rugaber
Alan J. Perlis
April 1977
YALEU/DCS/TR088 * The Process of
Question Answering (In book form - may be ordered from publisher:
Wendy Lehnert Lawrence Erlbaum Associates)
May 1977
YALEU/DCS/TR089 [.pdf]
Talk Notes on Mathematical Studies of Parallel Computation
Raymond E. Miller
1977
YALEU/DCS/TR090 * Evaluation Criteria
for Process Synchronization
Lipton
Snyder
Zalcstein
1977
YALEU/DCS/TR091 * The Complexity
of Word and Isomorphism Problems for Finite Groups
Lipton
Snyder
Zalcstein
1977
YALEU/DCS/TR092 [.pdf]
Linear Time Colorings of Planar Graphs
R.J. Lipton
R.E. Miller
1977
YALEU/DCS/TR093 [.pdf]
The Complexity of Searching Lines in the Plane (Preliminary
version)
D.P. Dobkin
R.J. Lipton
1977
YALEU/DCS/TR094 [.pdf]
On the Power of Applicative Languages
R.J. Lipton
L. Snyder
1977
YALEU/DCS/TR095 [.pdf]
On an Array Sorting Problem of Kosaraju
R.J. Lipton
R. Miller
L. Snyder
1977
YALEU/DCS/TR096 [.pdf]
On the Complexity of Linear Search Tree Programs
for Searching
D.P. Dobkin
R.J. Lipton
1977
YALEU/DCS/TR097 [.pdf]
On the Synthesis and Analysis of Protection Systems
Lawrence Snyder
1977
YALEU/DCS/TR098 [.pdf]
Some Results on Maximum a Posteriori Probability
Parsing Algorithms
R.J. Lipton
S.E. Levinson
L. Snyder
1977
YALEU/DCS/TR099 [.pdf]
On the Halting of Tree Replacement Systems
R.J. Lipton
L. Snyder
1977
YALEU/DCS/TR100 [.pdf]
Increasing Confidence in Software Through Program
Perturbations
D.R. Hanson
R.J. Lipton
F.G. Sayward
1977
YALEU/DCS/TR101 [.pdf]
Introduction to Linear Asynchronous Structures
R.J. Lipton
RE.. Miller
L. Snyder
1977
YALEU/DCS/TR102 [.pdf]
On the Solvability of a Word Problem for Restricted
Semigroups
L. Snyder
1977
YALEU/DCS/TR103 [.pdf]
A Linear Time Algorithm for Deciding Security
A.K. Jones
R.J. Lipton
L. Snyder
1977
YALEU/DCS/TR104 * Skimming Newspaper
Stories by Computer
Gerald DeJong
May 1977
YALEU/DCS/TR105 [.pdf]
Minimal Storage Band Elimination
Martin Schultz
Stanley Eisenstat
Andrew Sherman
1977
YALEU/DCS/TR106 [.pdf]
A Minimal Space Selection Algorithm That Runs in
Linear Time
David Dobkin
Ian Munro
1977
YALEU/DCS/TR107 [.pdf]
The Modified Conjugate Residual Method for Partial
Differential Equations
R. Chandra
Stanley Eisenstat
Martin Schultz
May 1977
YALEU/DCS/TR108 [.pdf]
Response Time of Parallel Programs
R.J. Lipton
F. Sayward
1977
YALEU/DCS/TR109 [.pdf]
Finite Element Methods for Spherically Symmetric
Elliptic Equations
Stanley Eisenstat
R.S. Schreiber
Martin Schultz
May 1977
YALEU/DCS/TR110 * Analyzing English
Noun Groups for Their Conceptual Content
Anatole Gershman
May 1977
YALEU/DCS/TR111 * Ideological belief
system simulation
Carbonell
May 1977
YALEU/DCS/TR112 [.pdf]
Yale Sparse Matrix Package I. The Symmetric Codes
Stanley Eisenstat
M.C. Gursky
Martin Schultz
Andrew Sherman
1977
YALEU/DCS/TR113 [.pdf]
Inverse Translation: The Theory of Practical Automatic
Programming
Steven Peter Reiss
1977
YALEU/DCS/TR114 [.pdf]
Yale Sparse Matrix Package II. Nonsymmetric Codes
Stanley Eisenstat
M.C. Gursky
Martin Schultz
A.H. Sherman
1977
YALEU/DCS/TR115 [.pdf]
Finite Element Methods for Singular Two-point Boundry
Value Problems
Robert S. Schreiber
1977
YALEU/DCS/TR116 * Script Application:
Computer Understanding of Newspaper Stories
Cullingford
January 1978
YALEU/DCS/TR117 * Users' Guide to
the Pilot Mutation System
Budd
Sayward
1977
YALEU/DCS/TR118 * The Design of
the Pilot Mutation System
Budd
Sayward
1977
YALEU/DCS/TR119 [.pdf]
On the Synthesis and Analysis of Protection
Lawrence Snyder
1977
YALEU/DCS/TR120 * A Theoretic Approach
to Automatic Programming
Reiss
1977
YALEU/DCS/TR123 * Testing
Ramamoorthy's Triangle Categorization Program on PIMS
Sayward
1977
YALEU/DCS/TR124 * A Comparison of
Symbolic Evaluation and Mutant Analysis
Budd
1977
YALEU/DCS/TR125 * SCAN
- PIM's Line Scanner
Budd
1977
YALEU/DCS/TR126 [.pdf]
I. Inert Rights and Conspirators in the TAKE/GRANT System II. Safety in
Protection Systems
Timothy A. Budd
Richard J. Lipton
1977
YALEU/DCS/TR127 * Re: The Gettysburg
Address
Schank
Carbonell
January 1978
YALEU/DCS/TR128 * Representing Attitudes:
Some Primitive States
Roger Schank
Robert Wilensky
Jaime Carbonell
Janet Kolodner
James Hendler
January 1978
YALEU/DCS/TR129 [.pdf]
Conjugate Gradient Methods for Partial Differential
Equations
Rati Chandra
January 1978
YALEU/DCS/TR130 [.pdf]
The Structure and Rank of M by P by Q Tensors: An
Heuristic Approach
Sharon J. Laskowski
David P. Dobkin
1978
YALEU/DCS/TR131 * Representing Physical
Objects in Memory
Wendy Lehnert
May 1978
YALEU/DCS/TR132 [.pdf]
Recognition and Selection of Idioms for Code Optimization
Lawrence Snyder
1978
YALEU/DCS/TR133 * Tentative Compilation:
A Design for an APL Compiler
Miller
1978
YALEU/DCS/TR134 [.pdf]
Time and Space Bounds for Selection Problems
David Dobkin
J. Ian Munroe
1978
YALEU/DCS/TR135 [.pdf]
The Beacon Set Approach to Graph Isomorphism
richard J. Lipton
1978
YALEU/DCS/TR136 [.pdf]
Social Processes and Proofs of Theorems and Programs
Richard DeMillo
Richard Lipton
Alan J. Perlis
1978
YALEU/DCS/TR137 * On the Use of
Framed Knowledge in Language Comprehension
Eugene Charniak
September 1987
YALEU/DCS/TR138 * A New Approach
to the Analysis of Algorithms
Dobkin
1978
YALEU/DCS/TR139 * Micro-SAM and
Micro-ELI: Exercises in Popular Cognitive Mechanics
Chris Riesbeck
Eugene Charniak
September 1978
YALEU/DCS/TR140 * Understanding
Goal-based Stories
Robert Wilensky
September 1978
YALEU/DCS/TR141 * Inference in the
Conceptual Dependency Paradigm: A Personal History
Roger Schank
September 1978
YALEU/DCS/TR142 * Memory Organization
for Natural Language Data-base Inquiry
Janet Kolodner
September 1978
YALEU/DCS/TR143 * Integrated Partial
Parsing
Roger Schank
Michael Lebowitz
Lawrence Birnbaum
December 1978
YALEU/DCS/TR144 * Does a Hippie
Own a Hairdrier?
Roger Schank
Michael Lebowitz
1978
YALEU/DCS/TR145 * Interestingness:
Controlling Inferences
Roger Schank
October 1978
YALEU/DCS/TR146 * Knowledge-based
Machine Translation
Jaime Carbonell
Richard Cullingford
Anatole Gershman
December 1978
YALEU/DCS/TR147 [.pdf]
Theft and Conspiracy in the Take-grant Protection
Model
Lawrence Snyder
1978
YALEU/DCS/TR148 * Spline Regression:
Algorithms and Local Dependence
John Lewis
1978
YALEU/DCS/TR149 * Codification of
Programming Knowledge: Graph Algorithms
David Barstow
December 1978
YALEU/DCS/TR150 * Subjective Understanding:
Computer Models of Belief Systems
Jaime Carbonell
January 1979
YALEU/DCS/TR151 * Formal Models
of Capability-based Protection
Snyder
1978
YALEU/DCS/TR152 [.pdf]
Software for Sparse Gaussian Elimination With Limited
Core Storage
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1978
YALEU/DCS/TR153 * On Uniquely
Represented Data Structures
Lawrence Snyder
1979
YALEU/DCS/TR154 [.pdf]
Scheduling Processes Without a Common Scheduler
George Holober
Lawrence Snyder
1979
YALEU/DCS/TR155 [.pdf]
Mutation Analysis
Timothy Budd
Richard Lipton
Richard DeMillo
Frederick Sayward
1979
YALEU/DCS/TR156 * Knowledge-based
Parsing
Anatole Gershman
April 1979
YALEU/DCS/TR157 * Text
Processing Effects and Recall Memory
Wendy Lehnert
May 1979
YALEU/DCS/TR158 * Skimming Stories
in Real Time: An Experiment in Integrated Understanding
Gerald DeJong
May 1979
YALEU/DCS/TR159 * Retrieving Information
from an Episodic Memory, or Why Computer Memories Should Be More Like
People
Roger Schank
Janet Kolodner
1979
YALEU/DCS/TR160 * The Conceptual
Content of Conversation
Roger Schank
Wendy Lehnert
1979
YALEU/DCS/TR161 * Heuristics for
Determining Equivalence of Program Mutation
Baldwin
Sayward
1979
YALEU/DCS/TR162 * The Role of Object
Primitives in Natural Language Processing
Wendy Lehnert
Mark Burstein
May 1979
YALEU/DCS/TR163 [.pdf]
An Overview of the Yale GEM System
John Levine
1979
YALEU/DCS/TR164 * An Evaluation
of Pagodas
Peter Nix
1979
YALEU/DCS/TR165 [.pdf]
Testing Bradley's Greatest Divisor Program on EXPER
Robert Hess
Frederick Sayward
1979
YALEU/DCS/TR166 * The Transfer of
Information and Authority in a Protection System
Snyder
Bishop
1979
YALEU/DCS/TR167 [.pdf]
Time- and Space-optimimality in B-trees
Lawrence Snyder
Arnold Rosenberg
1979
YALEU/DCS/TR168 * Problems in Conceptual
Analysis of Natural Language
Lawrence Birnbaum
Selfridge
October 1979
YALEU/DCS/TR169 * A UNIX Shell
Ellis
1979
YALEU/DCS/TR170 * Reminding and
Memory Organization: An Introduction to MOPs
Roger Schank
December 1979
YALEU/DCS/TR171 * Adaptive Understanding:
Correcting Erroneous Inferences (Ph.d. thesis)
Richard Granger, Jr.
January 1980
YALEU/DCS/TR172 * Model of Children's
Language of Compilers
Mallory Selfridge
January 1980
YALEU/DCS/TR173 * Spatial Inferences
with Ground, Metric Formulas on Simple Objects
Drew McDermott
January 1980
YALEU/DCS/TR174 * Non Monotonic
Logic II: Non Monotonic Modal Theories
Drew McDermott
February 1980
YALEU/DCS/TR175 * Memory Organization
and Search Processes for for Narratives
Michael Dyer
Wendy Lehnert
April 1980
YALEU/DCS/TR176 * Tree
Organized Processor Structure, A VLSI Parallel Processor Design
Snyder
1980
YALEU/DCS/TR177 * On Convergence
Towards Data Base of Programming Rules
David Barstow
April 1980
YALEU/DCS/TR178 * The Role of Knowledge
an Deduction in Algorithm Creation
David Barstow
April 1980
YALEU/DCS/TR179 * Affect Analysis
and Narrative Summarization
Wendy Lehnert
May 1980
YALEU/DCS/TR180 * Error Programs
and Test Data for Life-Cycle Experiments
Budd
Hess
Sayward
1980
YALEU/DCS/TR181 [.pdf]
A Survey of Synchronization Design
George Holober
1980
YALEU/DCS/TR182 * Draft Version
of the Softwave Metrics Panel's Final Report
Allan Perlis
Sayward
Shaw and eds.
1980
YALEU/DCS/TR183 * VEGE: Variable
Processing in a NaturalLanguage System
Wendy Lehnert
William Bain
April 1980
YALEU/DCS/TR184 [.pdf]
A Finite Solution of a Reduced Fokker-Planck Equation
D. Fyfe
Alan Weiser
I. Bernstein
Stanley Eisenstat
Martin Schultz
August 1980
YALEU/DCS/TR185 [.pdf]
Efficient Implementation of a Class of Precondition
Conjugate Methods
Stanley Eisenstat
August 1980
YALEU/DCS/TR186 * Generalization
and Memory in an Integrated Understanding System
Michael Lebowitz
October 1980
YALEU/DCS/TR187 * Retrieval and Organizational Strategies
for Conceptual Memory: A Computer Memory
Janet Kolodner
November 1980
YALEU/DCS/TR188 * BORIS: A Progress
Report
Wendy Lehnert
Dyer
Harley
Young
Johnson
January 1981
YALEU/DCS/TR189 * Memory, Meaning
and Syntax
Roger Schank
Lawrence Birnbaum
November 1980
YALEU/DCS/TR190 * Conceptual Information
Retrieval
Roger Schank
Janet Kolodner
Gerald DeJong
December 1980
YALEU/DCS/TR191 * Multiple Context
Shells
J.R. Ellis
January 1981
YALEU/DCS/TR192 [.pdf]
Inductive Inference Theories from Facts
Ehud Shapiro
February 1981
YALEU/DCS/TR193 * Organizing Spatial
Knowledge
Ernest Davis
January 1981
YALEU/DCS/TR194 [.pdf]
On Some Trends in Elliptical Problem Solvers
Stanley Eisenstat
Martin Schultz
February 1981
YALEU/DCS/TR195 * Finding Objects
with Given Spatial Properties
Drew McDermott
March 1981
YALEU/DCS/TR196 * A Temporal Logic
for Reasoning about Processes and Plans
Drew McDermott
March 1981
YALEU/DCS/TR197 [.pdf]
Arc-length Continuation and Multi-grid Techniques
for Non-linear Elliptic Eigenvalue Problems
Tony Chan
H. Keller
March 1981
YALEU/DCS/TR198 [.pdf]
Numerical Computation of Large Amplitude Internal
Solitary Waves
Tony Chan
March 1981
YALEU/DCS/TR199 [.pdf]
Analysis of Multi-level Inverse Iteration Process
Eigenvalue Problems
Randolph Bank
December 1980
YALEU/DCS/TR200 * Steps Toward Efficiently
Implementing Program Mutation Systems: The High Level Design of a Distributed
Mutation
Sayward
Lipton
1981
YALEU/DCS/TR201 [.pdf]
Secondary Storage Methods for Solving Symmetric,
Positive Definite, Bonded Linear Systems
John Richard Perry
April 1981
YALEU/DCS/TR202 [.pdf]
Analysis of a Multi-level Iterative Method for Non-linear
Finite Element Equation
Randolph Bank
April 1981
YALEU/DCS/TR203 [.pdf]
Preconditioned Conjugate-Gradient Methods for Non-Symmetric
Systems of Linear Equations
Howard Elman
April 1981
YALEU/DCS/TR204 Optimal Block Diagonal
Scaling of Block 2-Cyclic Matrices
Stanley Eisenstat
Martin Schultz
John Lewis
April 1981
YALEU/DCS/TR205 * What's the Point
System
Gregg Collins
Ernest Davis
Peter Johnson
Steve Lytinen
Brian Reiser
April 1981
YALEU/DCS/TR206 * MAGPIE: A Goal-Based
Model of Conversation
Johnson
Peter Johnson
Scott Robertson
May 1981
YALEU/DCS/TR207 [.pdf]
The Order of Monotone Piecewise Cubic Interpolation
Stanley Eisenstat
K. Jackson
John Lewis
August 1981
YALEU/DCS/TR208 [.pdf]
Alternating-Direction Incomplete Factorizations
Tony Chan
Kenneth Jackson
Benren Zhu
August 1981
YALEU/DCS/TR209 [.pdf]
Variational Iterative Methods for Non-symmetric Systems of Linear Equations
Stanley Eisenstat
Martin Schultz
Howard Elman
August 1981
YALEU/DCS/TR210 [.pdf]
The Positive Solution of a Certain Non-linear Parabolic
System and it's Computation I
Benren Zhu
September 1981
YALEU/DCS/TR211 [.pdf]
Stability of High Order Difference Equations and
its Algebraic Survey
Benren Zhu
September 1981
YALEU/DCS/TR212 [.pdf]
Iterative Solution of Indefinite Symmetric Systems
by Methods using Orthogonal Polynomials over Two Disjointed Intervals
Youcef Saad
October 1981
YALEU/DCS/TR213 [.pdf]
Local-Mesh, Local-Order, Adaptive Finite Element
Methods with A Posteriori Error Estimators for Elliptic Partial Differential
Alan Weiser
September 1981
YALEU/DCS/TR214 [.pdf]
Practical Use of Some Krylov Subspace Methods for
Solving Indefinite and Unsymmetric Linear Systems
Youcef Saad
January 1982
YALEU/DCS/TR215 [.pdf]
Nonlinear Implicit One-step Schemes for Solving
Initial Value Problems forOrdiniary Differential Equations with
Steep Gradients
Jiachang Sun
Kenneth Jackson
September 1982
YALEU/DCS/TR216 [.pdf]
Semi-Linear Difference Schemes For Singular Perturbation Problems in One
Dimension
Jiachang Sun
Martin Schultz
May 1982
YALEU/DCS/TR217 [.pdf]
A Galerkin Method on Nonlinear Subsets and its application
to a Singular Perturbed Problem
Jiachang Sun
May 1982
YALEU/DCS/TR218 * What do novices
know about Programming?
Elliot Soloway
Kate Ehrlich
Jeffrey Bonar
Judith Greenspan
January 1982
YALEU/DCS/TR219 * In-Depth Understanding:
A Computer Model of Integrated Processing for Narrative Comprehension
Michael Dyer
May 1982
YALEU/DCS/TR220 * Modeling Memory
for Languange Understanding w/ Significant First Derivatives
Roger Schank
Mark Burstein
February 1982
YALEU/DCS/TR221 [.pdf]
Sacrificing Serializability to Attain High Availability of Data in an
Unreliable Network
Michael Fischer
Alan Michael
February 1982
YALEU/DCS/TR222 [.pdf]
Algorithms for Computing the Sample Variance: Analysis
and Recommendations
Tony Chan
Gene Golub
Randall LeVeque
May 1982
YALEU/DCS/TR223 [.pdf]
Multi-Grid Algorithms for Elliptic Boundary-Value Problems
Craig Douglas
May 1982
YALEU/DCS/TR224 [.pdf]
Projection Methods for Solving Large Sparse Eigenvalue
Problems
Youcef Saad
April 1982
YALEU/DCS/TR225 [.pdf]
Deflated Decomposition of Solutions of Nearly Singular
Systems
Tony Chan
March 1982
YALEU/DCS/TR226 [.pdf]
Deflation Techniques & Block-Elimination Algorithms
for Solving Bordered Singular Systems
Tony Chan
March 1982
YALEU/DCS/TR227 [.pdf]
On the Existence and Computation of LU-factorizations
with Small Pivots
Tony Chan
March 1982
YALEU/DCS/TR228 [.pdf]
A Note on the Generalized Conjucate Gradient Method
Stanley Eisenstat
March 1982
YALEU/DCS/TR229 [.pdf]
Iterative Methods for Large Sparse non-Semetric
Systems of Linear Equation
Howard Elman
April 1982
YALEU/DCS/TR230 * Z - the 95% Program
Editor
Wood
1982
YALEU/DCS/TR231 * A Bliss Programming
Environment
Ellis
Mishkin
Nix
Wood
1982
YALEU/DCS/TR232 * Tools: A Systems
Programming Environment
Ellis
Mishkin
Van Leunen
Wood
1982
YALEU/DCS/TR233 [.pdf]
Newton-Like Pseudo-Arclength Methods for Computing
Simple Turning Points
Tony Chan
April 1982
YALEU/DCS/TR234 * Representation
& Translation
Roger Schank
Steve Lytinen
May 1982
YALEU/DCS/TR235 [.pdf]
Iterative Methods for Solving Bordered Systems with
Applications to Continuation Methods
Tony Chan
Youcef Saad
May 1982
YALEU/DCS/TR236 * An Empirical Investigation
of the Tacit Plan Knowledge in Programming
Kate Ehrlich
Elliot Soloway
April 1982
YALEU/DCS/TR237 [.pdf]
Algorithmic Program De-Bugging
Ehud Shapiro
April 1982
YALEU/DCS/TR238 * A Comparison of
Some Elliptic Solners on General Two-Dimensional Regions
Tony Chan
Faisal Saied
(See #263)
April 1982
YALEU/DCS/TR239 [.pdf]
Alternation & Computational Complexity of Logic
Programs
Ehud Shapiro
June 1982
YALEU/DCS/TR240 * Uncovering Principles
of Novice Programming
Jeffrey Bonar
Elliot Soloway
November 1982
YALEU/DCS/TR241 [.pdf]
Computer Systems Architecture at Yale: the Enormous
Longword Instruction (ELI) Machine Progress and Research Plans
J. Fisher
July 1982
YALEU/DCS/TR242 * Cognitive Strategies
and Looping Constructs: An Empirical Study
Elliot Soloway
Jeffrey Bonar
Kate Ehrlich
July 1982
YALEU/DCS/TR243 [.pdf]
Lecture Notes on the Complexity of Some Problems in Number Theory
Dana Angluin
August 1982
YALEU/DCS/TR244 Some Observations
on the Generalized Conjugate Gradient Method
Stanley Eisenstat
September 1982
YALEU/DCS/TR245 [.pdf]
Impossibility of Distributed Consensus with One
Faulty Process
Michael Fischer
Nancy Lynch
Michael Paterson
September 1982
YALEU/DCS/TR246 * Generation of
Japanese Sentences from Conceptual Representation: Inference Using Memory
Organization Packets
Ishizaki
Steven Lytinen
1982
YALEU/DCS/TR247 [.pdf]
Multi-Grid Algorithms with Applications to Elliptic
Boundary-Value Problems
Craig Douglas
1982
YALEU/DCS/TR248 * A Multi-Grid Optimal
Order Solver for Elliptic Boundary-Value Problems
Craig Douglas
1982
YALEU/DCS/TR249 * Approximation
Algorithms for Steiner Tree Problems
Sullivan
1982
YALEU/DCS/TR250 A Survey of Inductive
Inference: Theory and Methods
Dana Angluin
Carl Smith
September 1982
YALEU/DCS/TR251 [.pdf]
Storage Requirements for Fair Scheduling
Michael Fischer
Michael Paterson
October 1982
YALEU/DCS/TR252 [.pdf]
Finding a Majority Among N Votes
Michael Fischer
Steven Salzberg
October 1982
YALEU/DCS/TR253 [.pdf]
Very Long Instruction Word Architecture and the
ELI-512
J. Fisher
April 1983
YALEU/DCS/TR254 [.pdf]
A Generalized Minimal Residual Algorithm for Solving Nonsymmetric Linear
Systems
Youcef Saad
Martin Schultz
May 1985
YALEU/DCS/TR255 * Conjugate Gradient-like
Algorithms for Solving Nonsymetric Linear Systems
Youcef Saad
June 1983
YALEU/DCS/TR256 [.pdf]
Carrier Array: An Extension to APL
P.G. Lowney
May 1983
YALEU/DCS/TR257 * Transfer Effects
from Programming to Algebra Word Problems: a Preliminary Study
Kate Ehrlich
Elliot Soloway
Valerie Abbott
December 1983
YALEU/DCS/TR258 * MENO-II: An AI-Based
Programming Tutor
Elliot Soloway
Eric Rubin
Beverly Woolf
Jeffrey Bonar
W. Lewis Johnson
December 1983
YALEU/DCS/TR259 [.pdf]
Nonlinearly-Preconditioned Krylov Subspace Methods
for Discrete Newton Algorithms
Tony Chan
Kenneth Jackson
January 1983
YALEU/DCS/TR260 * Stability Analysis
of Finite Difference Schemes for the Advector-Difference Equation
Tony Chan
April 1983
YALEU/DCS/TR261 [.pdf]
PLTMGC: A Multi-grid Continuation Program Package
for Solving Parametrized Nonlinear Elliptic Systems
Tony Chan
Randolph Bank
December 1983
YALEU/DCS/TR262 [.pdf]
Parallel Networks for Multi-Grid Algorithms: Architecture
and Complexity
Tony Chan
R. Schreiber
September 1983
YALEU/DCS/TR263 * A Comparison of
Elliptic Solvers for General Two-Dimensional Regions
Tony Chan
Faisal Saied
(See #238)
March 1983
YALEU/DCS/TR264 * Scheduling Heuristics
for Problem Solvers
David Miller
April 1983
YALEU/DCS/TR265 * The (New) Yale
Sparse Matrix Package
Stanley Eisenstat
Howard Elman
Martin Schultz
Andrew Sherman
April 1983
YALEU/DCS/TR266 [.pdf]
Iterative Methods for Non-Self-Adjoint Elliptic
Problems
Howard Elman
April 1983
YALEU/DCS/TR267 * Design and Use
of the Yale Digital Simulator
Doug Baldwin
Richard Kelsey
John Ruttenberg
J. Fisher
J. Ellis
May 1983
YALEU/DCS/TR268 [.pdf]
Distributed Graph Marking
Paul Hudak
January 1983
YALEU/DCS/TR269 [.pdf]
Squeezing the most out of an Algorithm in Cray Fortran
Jack Dongarra
Stanley Eisenstat
May 1983
YALEU/DCS/TR270 * Knowledge Reorganization
& Reasoning Style
Christopher Riesbeck
June 1983
YALEU/DCS/TR271 * Expert Systems
& Diagnostic Monitors
David Gelernter
November 1983
YALEU/DCS/TR272 [.pdf]
Solving Elliptic Problems on an Array Processor System
Martin Schultz
June 1983
YALEU/DCS/TR273 [.pdf]
The Consensus Problem in Unreliable Distributed
Systems (A Brief Survey)
Michael Fischer
June 1983
YALEU/DCS/TR274 * The Nisp Manual
Drew McDermott
June 1983
YALEU/DCS/TR275 * Abstract Multi-grid
with Applications to Elliptic Boundary-Value Problems
Craig Douglas
Youcef Saad
1983
YALEU/DCS/TR276 [.pdf]
Least Squares Polynomials in the Complex Plane with Applications to Solving
Sparse Nonsymmetric Matrix Problems
Youcef Saad
August 1984
YALEU/DCS/TR277 [.pdf]
Sharp Estimates for the Multigrid Rates of Convergence with General Smoothing
and Acceleration
Randolph Bank
Craig Douglas
1983
YALEU/DCS/TR278 [.pdf]
Local Uniform Mesh Refinement for Elliptic Partial Differential Eauations
William Gropp
July 1983
YALEU/DCS/TR279 [.pdf]
Analysis of an Implicit Finite Difference Solution to an Underwater Wave
Propagation Problem
D.F. St. Mary
Ding Lee
July 1983
YALEU/DCS/TR280 [.pdf][
Editing by Example
Robert Nix
August 1983
YALEU/DCS/TR281 [.pdf]
Large-scale Separation and Wake Closure/ Reattachment -- The Cascade Problem
F.T. Smith
August 1983
YALEU/DCS/TR282 [.pdf]
Practical use of Polynomial preconditioning for the conjugate gradient
method
Youcef Saad
July 1984
YALEU/DCS/TR283 [.pdf]
Conugate Gradient Like Methods for Solving Nonsymmetric
Linear Systems
Youcef Saad
Martin Schultz
August 1983
YALEU/DCS/TR284 * Classifying Bugs
is a Tricky Business
W. Lewis Johnson
Stephen Draper
Elliot Soloway
August 1983
YALEU/DCS/TR285 * PROUST:
Knowledge-Based Program Understanding
W. Lewis Johnson
Elliot Soloway
August 1983
YALEU/DCS/TR286 * Bug Catalogue:
I
W. Lewis Johnson
Elliot Soloway
Benjamin Cutler
Steven Draper
October 1983
YALEU/DCS/TR287 [.pdf]
Preconditioning by Fast Direct Methods for Non-self-Adjoint Nonseperable
Elliptic Equations
Howard Elman
Martin Schultz
December 1983
YALEU/DCS/TR288 [.pdf]
Provable Security of Cryptosystems: A Survey
Dana Angluin
David Lichtenstein
October 1983
YALEU/DCS/TR289 * Time Map Maintenance
Thomas Dean
October 1983
YALEU/DCS/TR290 * Understanding
Node Cover Approximations, Weighted and Unweighted
Dan Gusfield
Leonard Pitt
October 1983
YALEU/DCS/TR291 [.pdf]
Singular Value Computations With Systolic Arrays
Ilse Ipsen
November 1983
YALEU/DCS/TR292 * Representing
and Acquiring Geographic Knowledge
Ernnest Davis
January 1984
YALEU/DCS/TR293 [.pdf]
Solving the Poisson Equation on the FPS-164
Susan O'Donnell
Peter Geiger
Martin Schultz
November 1983
YALEU/DCS/TR294 * Generative Communications
in Linda Y
David Gelernter
November 1983
YALEU/DCS/TR295 [.pdf]
Fourier Methods with Extended Stability Intervals
for the Korteweg-de Vries Equation
Tony Chan
Tom Kerkhoven
December 1983
YALEU/DCS/TR296 [.pdf]
Qualitative and Quantitative Temporal Reasoning
Stanley Letovsky
December 1983
YALEU/DCS/TR297 [.pdf]
Techniques for Large Sparse Systems Arising from
Continuation Methods
Tony Chan
December 1983
YALEU/DCS/TR298 [.pdf]
VLIW Machines: Multiprocessors We Can Actually Program
J. Fisher
J. O'Donnell
January 1984
YALEU/DCS/TR299 [.pdf]
A Parallel QR Method Using Fast Givens Rotations
Ilse Ipsen
January 1984
YALEU/DCS/TR300 [.pdf]
An Approximate Newton Method for Coupled Non-Linear
Tony Chan
January 1984
YALEU/DCS/TR301 [.pdf]
A Hybrid Chebyshev Krylov Subspace Algorithm for
Solving Nonsymmetric Systems of Linear Equations
Howard Elman
Youcef Saad
Paul Saylor
February 1984
YALEU/DCS/TR302 [.pdf]
On the Minimization of Quadratic Functions Subject to Box Constraints
Ron Dembo
Ulrich Tulowitzki
September 1984
YALEU/DCS/TR303 [.pdf]
A Convergent Framework for Constrained Non-Linear
Optimization
Ron Dembo
Siddhartha Sahi
January 1984
YALEU/DCS/TR304 [.pdf]
A Primal Truncated Newton Algorithm with Application
to Large-Scale Non-Linear Network Optimization
Ron Dembo
March 1984
YALEU/DCS/TR305 [.pdf]
Stable Explicit Schemes for Equations of the Schrodinger
Type
Tony Chan
Ding Lee
Long-jun Shen
March 1984
YALEU/DCS/TR306 * A Polynomial Time
Algorithm for Fault Diagnosability
Sullivan, G.
March 1984
YALEU/DCS/TR307 * The Explanation
Game
Roger Schank
March 1984
YALEU/DCS/TR308 [.pdf]
Understanding Approximations for Node Cover and
Other Subset Selection Problems
Dan Gusfield
Leonard Pitt
April 1984
YALEU/DCS/TR309 [.pdf]
Preconditioned Iterative Methods for Nonselfadjoint
or Indefinite Elliptic Boundary Value Problems
James Bramble
Joseph Pasciak
March 1984
YALEU/DCS/TR310 [.pdf]
The Parallel Scaled Givens Rotations for the Solution
of Linear Least Squares Problems.
Jessie Barlow
Ilse Ipsen
March 1984
YALEU/DCS/TR311 [.pdf]
A High Performance Bulk Memory System
William Gropp
John O'Donnell
Susan O'Donnell
Martin Schultz
Brian Weston
March 1984
YALEU/DCS/TR312 [.pdf]
The Use of Iterative Linear-Equation Solvers and
Codes for Large Systems of Stiff IVPs for ODEs
Tony Chan
Kenneth Jackson
April 1984
YALEU/DCS/TR313 [.pdf]
Local Uniform Mesh Refinement with Moving Grids
William Gropp
April 1984
YALEU/DCS/TR314 [.pdf]
On the Efficiency of Probabilistic Primality Tests
Evangelos Kranakis
April 1984
YALEU/DCS/TR315 [.pdf]
A Stable Explicit Scheme for the Ocean Acoustic
Wave Equation
Tony Chan
Long-jun Shen
Ding Lee
March 1984
YALEU/DCS/TR316 [.pdf]
A Class of Cryptosystems Equivalent to RSA
Evangelos Kranakis
April 1984
YALEU/DCS/TR317 [.pdf]
Distributed Applicative Processing Systems: Project Goals, Motivation,
and Status Report
Paul Hudak
May 1984
YALEU/DCS/TR318 * TBA
S. Ishizaki
C. Huang
L. Danlos
C. Turk
May 1984
YALEU/DCS/TR319 [.pdf]
A Characterization of Probabilistic Inference
Leonard Pitt
July 1984
YALEU/DCS/TR320 [.pdf]
Difference Schemes for Equations of Schrodinger
Type
Tony Chan
Long-jun Shen
June 1984
YALEU/DCS/TR321 * Convergence of
SIP
Pei-xian Chen
1984
YALEU/DCS/TR322 [.pdf]
ALFL Reference Manual and Programmers Guide
Paul Hudak
October 1984
YALEU/DCS/TR323 [.pdf]
An Efficient Implementation for SSOR and Incomplete Factorisation Preconditionings
Randolph Bank
Craig Douglas
1984
YALEU/DCS/TR324 * Toward a Model
of Subjective Interpretation
William Bain
July 1984
YALEU/DCS/TR325 * A Methodology
for Hierarchical Simulation of VLSI X Systems
Marina Chen
January 1984
YALEU/DCS/TR326 [.pdf]
A Graph Theoretic Approach to Statistical Data Security
Dan Gusfield
August 1984
YALEU/DCS/TR327 [.pdf]
Optimal Mixed Graph Augmentation
Dan Gusfield
August 1984
YALEU/DCS/TR328 [.pdf]
An Efficient Modular Algorithm for Coupled Nonlinear
Systems
Tony Chan
September 1984
YALEU/DCS/TR329 [.pdf]
Difference Schemes for the Parabolic Wave Equation
in Ocean Acoustics
Tony Chan
Ding Lee
Long-jun Shen
December 1984
YALEU/DCS/TR330 * Explanation: A
First Pass
Roger Schank
August 1984
YALEU/DCS/TR331 [.pdf]
Theoretical Aspects of the Security of Public Key
Cryptography
Evangelos Kranakis
September 1984
YALEU/DCS/TR332 [.pdf]
The Steiner Tree Problem in Phylogeny
Dan Gusfield
September 1984
YALEU/DCS/TR333 [.pdf]
Fishspear: A Priority Queue Algorithm (Extended
Abstract)
Michael Fischer
Michael Paterson
September 1984
YALEU/DCS/TR334 * A Synthesis Method
for Systolic Arrays with Space-time Variant, Data Independent Flow
Marina Chen
January 1985
YALEU/DCS/TR335 [.pdf]
Improving the Condition of Nearly Singular
Matrices by Rank-1 Modification
Tony Chan
Diana Resasco
December 1984
YALEU/DCS/TR336 [.pdf]
DBEPACK: A Program Package for Solving Bordered
Singular Systems
Tony Chan
Thomas Grossi
August 1984
YALEU/DCS/TR337 [.pdf]
Generalized Deflated Block Elimination
Tony Chan
Diana Resasco
February 1985
YALEU/DCS/TR338 [.pdf]
Managing Permanent Objects
Nathaniel Mishkin
November 1984
YALEU/DCS/TR339 [.pdf]
Odd-Even Cyclic Reduction on Ensemble Architectures
and the Solution of Tridiagonal Systems of Equations.
Lennart Johnsson
October 1984
YALEU/DCS/TR340 * The Organization
of Knowledge In a Multi-lingual, Integrated Parser
Steven Leo Lytinen
November 1984
YALEU/DCS/TR341 [.pdf]
Efficient Parallel Solution of Linear Systems with Hyperbolic Rotations
Jean-Marc Delosme
Ilse Ipsen
November 1984
YALEU/DCS/TR342 A Model of Software
Design
Elliot Soloway
Beth Adelson
October 1984
YALEU/DCS/TR343 * Narrow and Wide
Banded rystems Solvers for Ensemble Architechures
Lennart Johnsson
November 1984
YALEU/DCS/TR344 * Automatic Evaluation
of Design Choices in Digital Controller Systhesis
Douglas Baldwin
December 1984
YALEU/DCS/TR345 [.pdf]
Primality Tests
Evangelos Kranakis
December 1984
YALEU/DCS/TR346 Block-Preconditioned
Conjugate Gradient-Like Methods for Numerical Reservior Simulation
Stanley Eisenstat
Howard Elman
Martin Schultz
December 1984
YALEU/DCS/TR347 [.pdf]
On the Condition Number of Modified Moment Matrices Arising from Least
Quares Approximation in the Complex Plane
Youcef Saad
December 1984
YALEU/DCS/TR348 [.pdf]
Communication Complexity of the Gaussian Elimination Algorithm on Multiprocessors
Youcef Saad
December 1984
YALEU/DCS/TR349 [.pdf]
Complexity of Dense Linear System Solution on a Multiprocessor Ring
Ilse Ipsen
Youcef Saad
Martin Schultz
December 1984
YALEU/DCS/TR350 * On the Choice
of Coordinates for Semiconductor Simulation
Thomas Kerkhoven
December 1984
YALEU/DCS/TR351 * Indexing and Causality:
The Organization of Plans and Strategies in Memory
Kristian Hammond
December 1984
YALEU/DCS/TR352 [.pdf]
Local Uniform Mesh Refinement on Loosely-coupled
Parallel Processors
William Gropp
December 1984
YALEU/DCS/TR353 * Symmetric Programming
Languages
David Gelernter
December 1984
YALEU/DCS/TR354 * Direct Memory
Access Parsing
Christopher Riesbeck
Charles Martin
December 1984
YALEU/DCS/TR355 * Relational Queries
Computable in Polynomial Time
Neil Immerman
January 1985
YALEU/DCS/TR356 [.pdf]
Fast Algorithms for Bipartite flow
Daniel Gusfield
Charles Martel
David Fernandez
January 1985
YALEU/DCS/TR357 [.pdf]
An Incremental Multigrid Strategy for the Fluid Dynamics Equations
Michele Napolitano
January 1985
YALEU/DCS/TR358 [.pdf]
High Re Separated Flow Solutions Using the Navier-Strokes and Approximate
Equations
Michele Napolitano
January 1985
YALEU/DCS/TR359 * Parallel Programming
in Linda
David Gelernter
January 1985
YALEU/DCS/TR360 [.pdf]
Future High performance Computation: The Megaflop per Dollar Alternative'
Lennart Johnsson
January 1985
YALEU/DCS/TR361 [.pdf]
Communication Efficient Matrix Operations on a Torus and a Boolean Cube
Lennart Johnsson
January 1985
YALEU/DCS/TR362 [.pdf]
A New List Compaction Method
Kai Li
Paul Hudak
February 1985
YALEU/DCS/TR363 [.pdf]
Multiple Array Processors for Ocean Acoustic Problems
Martin Schultz
February 1985
YALEU/DCS/TR364 [.pdf]
Bulldog: A compiler for VLIW Architectures
John Ellis
February 1985
YALEU/DCS/TR365 [.pdf]
A Stability Analysis of Incomplete LU Factorizations
Howard Elman
February 1985
YALEU/DCS/TR366 [.pdf]
On the dependence of the covergence of Gummel's Algorithm on the Regularity
of the Solution
Thomas Kerkhoven
February 1985
YALEU/DCS/TR367 [.pdf]
Data Permutations and Basic Linear Alegebra Computations on Ensemble Architectures
Lennart Johnsson
February 1985
YALEU/DCS/TR368 [.pdf]
Multigrid Algorithms on the Hypercube Multiprocessor
Tony Chan
Youcef Saad
February 1985
YALEU/DCS/TR369 * Reasoning About
Access to Equipment
Erik Urdang
February 1985
YALEU/DCS/TR370 [.pdf]
Efficient Systolic Arrays for the Solution of Toeplitz Systems: An Illustration
of a Methodology for the Construction of Systolic Architectures in VLSI
Jean-Marc Delosme
Ilse Ipsen
February 1985
YALEU/DCS/TR371 * Parallel Programming
and Algorithm Synthesis Using Recursion Equations and First Order
Marina Chen
March 1985
YALEU/DCS/TR372 [.pdf]
Fairing of Biased Coins in Bounded Time
Josh Cohen
March 1985
YALEU/DCS/TR373 [.pdf]
Solving Eliptic Partial Differential Equations on the Hypercube Multiprocessor
Tony Chan
Faisal Saied
Martin Schultz
March 1985
YALEU/DCS/TR374 * Synthesizing Systolic
Designs
Marina Chen
March 1985
YALEU/DCS/TR375 [.pdf]
Parallelism, Memory Anti-Aiasing and Correctness
for Trace Scheduling Compilers
Alex Nicolau
March 1985
YALEU/DCS/TR376 [.pdf]
Inductive Inference by Refinement
Philip Laird
November 1985
YALEU/DCS/TR377 * Dense Matrix Operations
on a Torus and a Boolean Cube
Lennart Johnsson
March 1985
YALEU/DCS/TR378 [.pdf]
Generation of Layouts from Circuit Schematics A Graph Theoretic Approach
Tak NG
Lennart Johnsson
March 1985
YALEU/DCS/TR379 * Banded Systems
Solvers for Ensemble Architectures
Lennart Johnsson
March 1985
YALEU/DCS/TR380 [.pdf]
Polynomial Interation for Nonsymmetric Indefinite Linear Systems
Howard Elman
Roy Streit
March 1985
YALEU/DCS/TR381 [.pdf]
Alternating Direction Methods on Multiprocessors
Lennnart Johnsson
Youcef Saad
Martin Schultz
April 1985
YALEU/DCS/TR382 [.pdf]
Alternating Direction on Multiprocessors: An Extended Abstract
Youcef Saad
Martin Schultz
April 1985
YALEU/DCS/TR383 The S/NET's Linda
Kernel
Nicholas Carriero
David Gelernter
March 1985
YALEU/DCS/TR384 Explanation: A Second
Pass
Roger C. Schank
Christopher Riesbeck
April 1985
YALEU/DCS/TR385 Questions and Thought
Roger C. Schank
April 1985
YALEU/DCS/TR386 Bug Catalogue 2,3,4.
James Spohrer
Edgar Pope
Michael Lipman
Warren Sack
Scott Freiman
David Littman
W. Lewis Johnson
Elliot Soloway
May 1985
YALEU/DCS/TR387 [.pdf]
Parallel Direct Methods for Solving Banded Linear
Youcef Saad
Martin H. Schultz
August 1985
YALEU/DCS/TR388 * Band Matrix Systems
Solvers on Ensemble Architecture.
Lennart Johnson
May 1985
YALEU/DCS/TR389 [.pdf]
Topological Properties of Hyercubes
Youcef Saad
Martin H. Schultz
April 1985
YALEU/DCS/TR390 [.pdf]
Para-Functional Programming: A Paradigm for Programming Multiprocessor
Systems
Paul Hudak
Lauren Smith
May 1985
YALEU/DCS/TR391 [.pdf]
A Set-Theoretic Characterization of Function Strictness
in the Lambda Calculus.
Pual Hudak
Jonathan Young
May 1985
YALEU/DCS/TR392 A Goal/Plan Analysis
of Buggy Pascal Programs
James Spohrer
Elliot Soloway
Edgar Pope
May 1985
YALEU/DCS/TR393 [.pdf]
Relational Quirie Computable in Polynomial Time
Neil Immerman
May 1985
YALEU/DCS/TR394 [.pdf]
Primality and Cryptography
Evangelos Kranakis
May 1985
YALEU/DCS/TR395 Intention-Based
Diagnosis of Errors in Novice Programs
William Lewis Johnson
May 1985
YALEU/DCS/TR396 On the Lanczos Method
for Solving Symmetric Linear Systems w/ Several Right Hand Slides
Youcef Saad
June 1985
YALEU/DCS/TR397 [.pdf]
Partial Eigen-Solutions of Large Nonsemetric Matrices
Youcef Saad
June 1985
YALEU/DCS/TR398 [.pdf]
Rank revealing QR-Factorizations
Tony Chan
June 1985
YALEU/DCS/TR399 [.pdf]
The DUCK Manual
Drew McDermott
June 1985
YALEU/DCS/TR400 [.pdf]
Probabilistic Inductive Inference
Leonard Pitt
June 1985
YALEU/DCS/TR401 [.pdf]
On the Solution of Circulant Linear Systems
Mingkui Chen
June 1985
YALEU/DCS/TR402 * Micro-Proust
W. Lewis Johnson
Elliot Soloway
June 1985
YALEU/DCS/TR403 [.pdf]
Deflated Decomposition by the Lanczos Process
Tony Chan
Youcef Saad
June 1985
YALEU/DCS/TR404 [.pdf]
A Simple Probabilistic Approximation Algorithm for Vertex Cover
Leonard Pitt
June 1985
YALEU/DCS/TR405 [.pdf]
Easy Impossibility Proofs for Distributed Consensus Problems
Michael Fischer
Nancy Lynch
Michael Merritt
June 1985
YALEU/DCS/TR406 * An Approach to
the Design of Highly Parallel Algorithms in VLSI
Marina Chen
July 1985
YALEU/DCS/TR407 [.pdf]
Three Fast Algorithms for Four Problems in Stable Marriage
Dan Gusfield
July 1985
YALEU/DCS/TR408 [.pdf]
Analysis of Preconditioners for Domain Decomposition
Tony Chan
July 1985
YALEU/DCS/TR409 [.pdf]
A Domain Decomposed Fast Poisson Solver on a Rectangle
Tony Chan
Diana Resasco
July 1985
YALEU/DCS/TR410 * Fourier Analysis
of Preconditional Interactive Methods
Tony Chan
Howard Elman
July 1985
YALEU/DCS/TR411 [.pdf]
An Explicit Scheme for the Prediction of Ocean Acoustic Propagation in
Three Dimensions
Tony Chan
Long-jun Shen
Ding Lee
July 1985
YALEU/DCS/TR412 [.pdf]
A Parallel Language and its Compilation to Multiprocessor Machines or
VLSI
Marina Chen
July 1985
YALEU/DCS/TR413 [.pdf]
Stability Analysis of Difference Schemes for Variable Cofficient Schrodinger
Type Equations
Tony Chan
Long-jun Shen
August 1985
YALEU/DCS/TR414 [.pdf]
A Survey of Preconditioners for Domain Decomposition
Tony Chan
Diana Resasco
August 1985
YALEU/DCS/TR415 [.pdf]
Dynamic Monotone Priorities on Planer Sets (Extended Abstract)
Michael Fischer
Michael Paterson
August 1985
YALEU/DCS/TR416 [.pdf]
A Robust and Varifiable Cryptographically Secure Election Scheme
(Extended Abstract)
Josh Cohen
Michael Fischer
August 1985
YALEU/DCS/TR417 [.pdf]
On the Solution of a class of Toeplitz Systems
Mingkui Chen
August 1985
YALEU/DCS/TR418 [.pdf]
Solving Narrow Banded Systems on Ensemble Architectures
Lennart Johnsson
August 1985
YALEU/DCS/TR419 [.pdf]
Probabilistic Analysis of a Network Resource Allocation Algorithm.
Michael Fischer
Nancy A. Lynch
Nancy D. Griffeth
Leonidas J. Guibas
August 1985
YALEU/DCS/TR420 Why Kids Should
Learn to Program
Elliot Soloway
August 1985
YALEU/DCS/TR421 [.pdf]
Distributed FIFO Allocation of Identical Resources Using Small Shared
Space
Michael Fischer
Nancy A. Lynch
Allan Borodin
James E.Burns
August 1985
YALEU/DCS/TR422 [.pdf]
Interconnection Networks and Parallel Memory Organizations for Array Processing
Abhiram G. Ranade
September 1985
YALEU/DCS/TR423 [.pdf]
Planning by Search through Simulations
David Miller
September 1985
YALEU/DCS/TR424 [.pdf]
Complex Shift and Invert Strategies for Real Matrices
Youcef Saad
Breseford Parlett
September 1985
YALEU/DCS/TR425 [.pdf]
Parallel Implementations of Preconditioned Conjugate Gradien Methods
Martin Schultz
Youcef Saad
September 1985
YALEU/DCS/TR426 [.pdf]
Foundations of Knowledge for Distributed Systems
Michael Fischer
Neil Immerman
October 1985
YALEU/DCS/TR427 Automatic Generation
of VLSI Architectures: Synthesis by Agorithym Transformation
Marina Chen
October 1985
YALEU/DCS/TR428 [.pdf]
Data Communications in Hypercubes
Martin Schultz
Youcef Saad
October 1985
YALEU/DCS/TR429 Coupled and lecoupled
Algorithms for Semiconductors Simulation
Thomas Kerkhoven
October 1985
YALEU/DCS/TR430 Temporal Reasoning
& Default Logics
Drew McDermott
Steven Hanks
October 1985
YALEU/DCS/TR431 Education and Computers:
An AI Perspective
Roger Schank
Stephen Slade
October 1985
YALEU/DCS/TR432 Revised: A Systolic
Design for the Problem of Partitions of an Integer
Marina Chen
October 1985
YALEU/DCS/TR433 Temporal Imagery:
An Approach to Reasoning about Time for Planning and Problem Solving
Thomas Dean
October 1985
YALEU/DCS/TR434 [.pdf]
Every Finite Distributive Lattice is a Set of Stable Matchings for a Small
Stable Marriage Instance
Daniel Gusfield
R. Irving
P. Leather
M. Saks
October 1985
YALEU/DCS/TR435 [.pdf]
The Structure of the Solvable Stable Roommates Problem: It's the Stable
Marriage Problem.
Daniel Gusfield
October 1985
YALEU/DCS/TR436 [.pdf]
Solving Tridiagonal Systems on Ensemble Architectures.
Lennart Johnsson
October 1985
YALEU/DCS/TR437 [.pdf]
Cyclic Reduction on a Binary Tree.
Lennart Johnsson
October 1985
YALEU/DCS/TR438 Distributed Dated
Structures in Linda
David Gelernter
Nicholas Carriero
Jerold Leichter
October 1985
YALEU/DCS/TR439 [.pdf]
Combining Parallel and Sequential Sorting on a Boolean Cube
Lennart Johnsson
October 1985
YALEU/DCS/TR440 [.pdf]
Rapid Solution of Integral Equations of Scattering Theory in Two Dimensions
Vladimir Rokhlin
November 1985
YALEU/DCS/TR441 [.pdf]
End-point Corrected Trapezoidal Quadrature Rules for Singluar Function
Vladimir Rokhlin
November 1985
YALEU/DCS/TR442 * The Generation
of a Class of Multipliers: A Synthesis Approach to the Design of Highly
Parallel Algorithms in VLSI
Marina Chen
December 1985
YALEU/DCS/TR443 [.pdf]
How to Embed lrees into Hypercubes. Supported in
part by the Office of Naval Research under contracts Supported by N00014-85-K-0461
Sandeep Bhatt
Ilse Ipsen
December 1985
YALEU/DCS/TR444 [.pdf]
The Impact of Parallel Architectures on the Solution of the Eigenvalue
Problems.
Ilse Ipsen
Youcef Saad
December 1985
YALEU/DCS/TR445 [.pdf]
Orbit: An Optimizing Compiler for Scheme
David Kranz
Richard Kelsey
Paul Hudak
James Philbin
Norman Adams
December 1985
YALEU/DCS/TR446 [.pdf]
A Proof-Stream Semantics for Lazy Narrowing
Juan Guzman
Paul Hudak
December 1985
YALEU/DCS/TR447 * Functional Programming
on Multiprocessor Architectures
Paul Hudak
December 1985
YALEU/DCS/TR448 [.pdf]
Comparison of Domain Decomposition Techniques for Elliptic Partial Differential
Equations and their Parallel Implementation
David Keyes
William Gropp
December 1985
YALEU/DCS/TR449 [.pdf]
A Projection Method for Partial Pole Assignment in Linear State Feedback
Youcef Saad
December 1985
YALEU/DCS/TR450 [.pdf]
Foundations of Knowledge for Distributed Systems
Michael Fischer
Neil Immerman
January 1986
YALEU/DCS/TR451 VOID
YALEU/DCS/TR452 [.pdf]
A Multi Processor Simulator
Abhiram Ranade
January 1986
YALEU/DCS/TR453 [.pdf]
Keeping Shares of a Secret Secret
Josh Cohen
February 1986
YALEU/DCS/TR454 [.pdf]
Improving Privacy in Cryptographic Elections
Josh Cohen
February 1986
YALEU/DCS/TR455 * Automatic Generation
of VLSI Architectures: Dynamic Programming Solver
Marina Chen
February 1986
YALEU/DCS/TR456 * Implementation
of Domain Fast Poisson Solvers on Multi Processor
Tony Chan
Diana Resasco
Faisal Saied
February 1986
YALEU/DCS/TR457 [.pdf]
A Design Methodology for Synthesizing Parallel Algorithms and Architectures
Marina Chen
February 1986
YALEU/DCS/TR458 [.pdf]
Dynamic Grid Manipulation for PDEs on Hypercube Parallel Processors
William Gropp
February 1986
YALEU/DCS/TR459 [.pdf]
A Fast Algorithm for Particle Simulations
Leslie Greengard
Vladimir Rokhlin
March 1986
YALEU/DCS/TR460 [.pdf]
Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse
Michael Fischer
Neil Immerman
March 1986
YALEU/DCS/TR461 [.pdf]
Data Communication in Parallel Architectures
Yousef Saad
Martin Schultz
March 1986
YALEU/DCS/TR462 [.pdf]
Gaussion Elimination on Hypercubes
Youcef Saad
March 1986
YALEU/DCS/TR463 [.pdf]
An effiecient Method fpr Solving the Three-Dimensional Wide Angle Wave
Equation
Ding Lee
Yousef Saad
Martin Schultz
March 1986
YALEU/DCS/TR464 [.pdf]
Learning Regular Sets from Queries and Counter-examples
Dana Angluin
March 1986
YALEU/DCS/TR465 [.pdf]
Crystal: A Synthesis approach to Programming Parallel Machines
Marina Chen
March 1986
YALEU/DCS/TR466 Machine Musing and
the Smart Note Pad
David Gelernter
Mitchell Sklar
April 1986
YALEU/DCS/TR467 * Exploring Parafunctional
Programming
Paul Hudak
April 1986
YALEU/DCS/TR468 * FAC: Functional
Array Calculator and its Application to APL and Functional Programming
Hai-Chen Tu
April 1986
YALEU/DCS/TR469 [.pdf]
Transformations of Parallel Programs in Crystal
Marina Chen
April 1986
YALEU/DCS/TR470 * Case-Based Reasoning:
A Computer Model of Subjective Assessments
Bill Bain
April 1986
YALEU/DCS/TR471 [.pdf]
Cryptographic Capsules: A Disjunctive Primitive for Interactive Protocoles
Josh Cohen
April 1986
YALEU/DCS/TR472 * Linda and Friends
David Gelernter
Sid Ahuja
Nick Carriero
April 1986
YALEU/DCS/TR473 * Floating Point
Cordic
Lennart Johnsson
Venkatesh Krishnaswamy
April 1986
YALEU/DCS/TR474 [.pdf]
Systolic Array Synthesis: Computability and Time Cones
Ilse Ipsen Supported by:
Jean-Marc Delosme
May 1986
YALEU/DCS/TR475 * Tree Embedding
and Optimal Routing for Data Distribution in Hypercubes
Ching-Tien Ho
Lennart Johnsson
May 1986
YALEU/DCS/TR476 [.pdf]
A Preliminary Analysis of Recursively Generated
Networks
Eric Mjolsness
David Sharp
May 1986
YALEU/DCS/TR477 [.pdf]
Synthesis Approach to the Design and Correctness
of Systolic Computations
Marina Chen
June 1986
YALEU/DCS/TR478 [.pdf]
Identifying k-CNF Formulas From Noisy Examples
Dana Angluin
Philip Laird
June 1986
YALEU/DCS/TR479 [.pdf]
Types of Queries for Concept Learning
Dana Angluin
June 1986
YALEU/DCS/TR480 * A Critique of
Pure Reason
Drew McDermott
June 1986
YALEU/DCS/TR481 [.pdf]
On Scheduling Transmissions in a Network
Dan Gusfield
June 1986
YALEU/DCS/TR482 [.pdf]
The Structure of the Stable Roommate Problem: Efficient Representation
and Enumeration of all Stalk Assignments
Dan Gusfield
June 1986
YALEU/DCS/TR483 [.pdf]
Distributed Routing Algorithms for Broadcasting and Personalized Communication
in Hypercubes
Lennart Johnsson
Ching-Tien Ho
June 1986
YALEU/DCS/TR484 * The Denotational
Semantics of a Para-Functional Programming Language
Paul Hudak
July 1986
YALEU/DCS/TR485 [.pdf]
A New Algorithm for Solving the Wide Angle Wave Equation.
Yousef Saad
Ding Lee
July 1986
YALEU/DCS/TR486 * Symmetry and the
Non-Evolution of Programming Languages
David Gelernter
August 1986
YALEU/DCS/TR487 * Mercedes: A Realization
of Lazy Narrowing Fundacion Gran Mariscal de Ayachuco
Paul Hudak
Juan Carlos Guzman
August 1986
YALEU/DCS/TR488 * Case-based Planning:
An integrated theory of planning, learning and memory.
Kristian Hammond
August 1986
YALEU/DCS/TR489 * Integrated Processing
in Planning and Understanding.
Lawrence Birnbaum
August 1986
YALEU/DCS/TR490 [.pdf]
Partitioning Circuits for Improved Testability
Sandeep Bhatt
Fan Chung
Arnold Rosenberg
September 1986
YALEU/DCS/TR491 * The Complexity
of System-Level Fault Diagnosis and Diagrosability.
Gregory Sullivan
September 1986
YALEU/DCS/TR492 * Shared Virtual
Memory on Loosely Coupled Multiprocessors
Kai Li
September 1986
YALEU/DCS/TR493 [.pdf]
Finding an Opitmal Search Strategy for a Partial Order is NP-Complete
Phil Laird
Leonard Pitt
September 1986
YALEU/DCS/TR494 [.pdf]
Matrix Transpose on Boolean n-cube Configured Ensemble Architectures.
Lennart Johnsson
Ching-Tien Ho
September 1986
YALEU/DCS/TR495 [.pdf]
Optimal Simulations of Tree Machines
Sandeep Bhatt
Fan Chung
Tom Leighton
Arnold Rosenberg
September 1986
YALEU/DCS/TR496 [.pdf]
A Fast Adaptive Multiple Algorithm for Particle Simulations
J. Carrier
Leslie Greengard
Vladimir Rokhlin
September 1986
YALEU/DCS/TR497 * Collecting Interpretations
of Expressions
Paul Hudak
September 1986
YALEU/DCS/TR498 [.pdf]
Placement and Interconnection of Systolic Processing Elements: A New Lu
Decomposition Algorithm
Marina Chen
October 1986
YALEU/DCS/TR499 [.pdf]
Very-high-level Parallel Programming by Aggregate Set Operations
Marina Chen
October 1986
YALEU/DCS/TR500 [.pdf]
Spanning Graphs and Optimum Broadcasting and Personalized Communication
in Hypercubes
Lennart Johnsson
Ching-Tien Ho
October 1986
YALEU/DCS/TR501 [.pdf]
Relativizing Relativized Computations
Neil Immerman
Stephen Mahaney
November 1986
YALEU/DCS/TR502 [.pdf]
Solving Schrodinger Equation on the Intel IPSC by the Alternating Direction
Method
Faisal Saied
Ching-Tien Ho
Lennart Johnsson
Martin Schultz
November 1986
YALEU/DCS/TR503 * On The Eventually
Operator in Temporal Logic
Sistla
Lenore Zuck
December 1986
YALEU/DCS/TR504 * Creativity in
Education: A Standard for Computer Based Teaching
Roger Schank
Sarrell
December 1986
YALEU/DCS/TR505 [.pdf]
Finding Fixpoints on Function Spaces
Johnathan Young
Paul Hudak
December 1986
YALEU/DCS/TR506 [.pdf]
Very-High-Level Parallel Programming in Crystal
Marina Chen
December 1986
YALEU/DCS/TR507 * Reasoning About
Change: Time and Causation from the Standpoint of Artificial Intelligence
Yoav Shoham
December 1986
YALEU/DCS/TR508 [.pdf]
Spanning Balanced Trees in Boolean Cubes
Ching-Tien Ho
Lennart Johnsson
January 1987
YALEU/DCS/TR509 [.pdf]
A Fast Algorithm for the Descrete Laplace Transformation
Vladimir Rokhlin
January 1987
YALEU/DCS/TR510 [.pdf]
Automated Problem Mapping: The Crystal Runtime System
Joel Saltz
Marina Chen
January 1987
YALEU/DCS/TR511 [.pdf]
Constrained Randomization for Parallel Communication
Abhiram Ranade
January 1987
YALEU/DCS/TR512 [.pdf]
Equivalence of Message Scheduling Algorithms for Parallel Communication
Abhiram Ranade
January 1987
YALEU/DCS/TR513 [.pdf]
Design of Systolic Algorithms for Large Scale Multiprocessors
Jingke Li
Marina Chen
Mark Young
January 1987
YALEU/DCS/TR514 * Ten Problems in
Artificial Intelligence
Roger Schank
Christopher Owens
January 1987
YALEU/DCS/TR515 * The Rapid Evaluation
of Potential Fields in Three Dimensions
Leslie Greengard
Vladimer Rokhlin
January 1987
YALEU/DCS/TR516 [.pdf]
Communication -llfficient Distributed Data Structures on Hypercubes Machines
Zhijing Mou
Marina Chen
February 1987
YALEU/DCS/TR517 * A Little Knowledge
Goes a Long Way: Simple Knowledge-Based Derivations and Correctness Proofs
for a Family of Protocols
Lenore Zuck
Joseph Halpern
February 1987
YALEU/DCS/TR518 * Creativity in
Education: A Standard for Computer-Based Teaching
Roger Schank
Robert Farrell
February 1987
YALEU/DCS/TR519 [.pdf]
Solving Banded Systems on a Parallel Processor
J.J. Dongarra
Lennart Johnsson
Febraury 1987
YALEU/DCS/TR520 [.pdf]
LINDA The Portable Parallel
Robert Bjornson
Nick Carriero
Jerrold Leichter
February 1987
YALEU/DCS/TR521 * Generating Natural
Language Under Pragmatic Constraints
Ed Hovy
February 1987
YALEU/DCS/TR522 * DARPA
- Sponsored Planning Research+ Report and Prospectus
Drew McDermott
March 1987
YALEU/DCS/TR523 * Type of Explanations
Alex Kass
David Leake
March 1987
YALEU/DCS/TR524 [.pdf]
A Para-Functional Programming Environment for Parallel and Distributed
Computing
Paul Hudak
Jean-Marc Delosme
Ilse Ipsen
March 1987
YALEU/DCS/TR525 [.pdf]
Complete Operational Semantics for First-Order Lazy Narrowing
Paul Hudak
Juan Guzman
March 1987
YALEU/DCS/TR526 [.pdf]
Detecting Sharing of Partial Applications in Functional Programs
Paul Hudak
Benjamin Goldberg
March 1987
YALEU/DCS/TR527 [.pdf]
Synthesizing Systolic Arrays from Recurrsion Equations
Marina Chen
March 1987
YALEU/DCS/TR528 [.pdf]
PSpace Survives Three-Bit Bottlenecks
Jin-yi Cai
Merrick Furst
March 1987
YALEU/DCS/TR529 * A Linda User's
Manual
Robert Bjornson
March 1987
YALEU/DCS/TR530 [.pdf]
Matrix Multiplication on Boolean Cubes Using Generic Communication Primitives
S.Lennart Johnsson
Ching-Tien Ho
March 1987
YALEU/DCS/TR531 * Parrellism Persistence
and META-Cleanliness in the Symetric Lisp Interpreter
David Gelernter
Suresh Jagannathan
T. Lyndon
March 1987
YALEU/DCS/TR532 [.pdf]
Solving Multiple Tridiagonal Systems, the Alternating Direction Method,
and Boolean Cube Configured Multiprocessors
Lennart Johnsson
Ching-Tien Ho
April 1987
YALEU/DCS/TR533 [.pdf]
The Rapid Evaluation of Potential Feilds in Particle Systems
Leslie Greengard
April 1987
YALEU/DCS/TR534 [.pdf]
Analysis of Domain Decomposition Preconditioners on Irregular Regions
Tony Chan
Diana Resasco
April 1987
YALEU/DCS/TR535 [.pdf]
Minimum Expansion Embebbings of Meshes in Hypercubes
David Greenberg
April 1987
YALEU/DCS/TR536 [.pdf]
On The Eventuality Operator in Temporal Logic
A. Prasad Sistla
Lenore Zuck
April 1987
YALEU/DCS/TR537 [.pdf]
Analysis of Parameterized Methods for Problem Partitioning
Joel Saltz
May 1987
YALEU/DCS/TR538 [.pdf]
Expressability as a Complexity Measure: Results and Directions
Neil Immerman
May 1987
YALEU/DCS/TR539 [.pdf]
Systolic Algorithms for the Parallel Solution of Dense Symetric Positive-Definite
Toeplitz Systems
Ilse Ipsen
May 1987
YALEU/DCS/TR540 * A Processor for
Two-Dimensional Symetric Eigenvalue and Singular Value Arrays
Jean-Marc Delosme
May 1987
YALEU/DCS/TR541 [.pdf]
Computing Particle Correlations from the Data Matrix
Jean-Marc Delosme
Ilse Ipsen
May 1987
YALEU/DCS/TR542 [.pdf]
A Programmable Systolic Array for Factorial Data Analysis Part I: Matrix
Computations
Tiba Porta
May 1987
YALEU/DCS/TR543 [.pdf]
A Programmable Systolic Array for Factorial Data Analysis Part II: The
Symetric Eigenvalue Problem
Tiba Porta
May 1987
YALEU/DCS/TR544 [.pdf]
Transformation of Broadcasting into Pipelining
YiWan Wong
Jean-Marc Delosme
June 1987
YALEU/DCS/TR545 [.pdf]
Control of Attention in Neural Networks
Eric Mjolsness
June 1987
YALEU/DCS/TR546 [.pdf]
Expressability and Parallel Complexity
Neil Immerman
August 1988
YALEU/DCS/TR547 [.pdf]
A Greedy Approximation Algorythm for the Partial Order Search Problem
Phillip Laird
June 1987
YALEU/DCS/TR548 [.pdf]
Solving the Symmetric Tridiagonal Eigenvalue Problem
on the Hypercube
Ilse Ipsen
Elizabeth Jessup
June 1987
YALEU/DCS/TR549 [.pdf]
Recursively Generated Neural Networks
Eric Mjolsness
David H. Sharp
Bradley Alpert
June 1987
YALEU/DCS/TR550 * The FORBIN Paper
Thomas Dean
R. James Firby
David Miller
July 1987
YALEU/DCS/TR551 * Learning From
Good Data and Bad
Phil Laird
July 1987
YALEU/DCS/TR552 [.pdf]
Nondeterministic Space is Closed Under Complement
Neil Immerman
July 1987
YALEU/DCS/TR553 [.pdf]
Implicit Finite Difference Simulation of an Internal
Flow in a Nozzle: An Example of a Physical Application on the Hypercube
Pierre Porta
July 1987
YALEU/DCS/TR554 * A Fast Algorithm
for the Numerical Evaluation of Conformal Mappings
S.T O'Donnell
Vladimir Rokhlin
July 1987
YALEU/DCS/TR555 Unassigned
YALEU/DCS/TR556 [.pdf]
Can Parallel Machines Be Made Easy to Program? A Data-Parallel Model for
Functional Languages
Marina Chen
August 1987
YALEU/DCS/TR557 [.pdf]
Learning K-Bounded Context-Free Grammars
Dana Angluin
August 1987
YALEU/DCS/TR558 [.pdf]
A Numerical Treatment of the Fluid/Elastic Interface
Under Range-Dependent Environments
Er Chang Shang
Ding Lee
August 1987
YALEU/DCS/TR559 [.pdf]
Learning K-Term DNF Formulas Using Queries and Counter-examples
Dana Angluin
August 1987
YALEU/DCS/TR560 [.pdf]
Time-Optimal Synthesis of Systolic Arrays with Pipelined Cell
Bjorn Lisper
September 1987
YALEU/DCS/TR561 [.pdf]
Verifiable Secret-Ballot Elections
Josh Benaloh
September 1987
YALEU/DCS/TR562 * From Local to
Global-Analysis of Nearest Neighbor Load Balancing on Hypercube
Marina Chen
Jia wei Hong
Xiao Nan Tan
September 1987
YALEU/DCS/TR563 * A Simulator for
Mobile Robot Planning
R. James Firby
Steve Hanks
September 1987
YALEU/DCS/TR564 * E Unum Pluribus:
Generating Alternative Designs
Elliot Soloway
James Spohrer
David Littman
September 1987
YALEU/DCS/TR565 [.pdf]
The Fast Multipole Method for Gridless Particle Simulations
J. Ambrosiano
Leslie Greengard
Vladamir Rohklin
September 1987
YALEU/DCS/TR566 [.pdf]
How to Imbed FFTS in Hypercubes
David Greenberg
October 1987
YALEU/DCS/TR567 [.pdf]
Implementation of Tuple Space Machines
Nicholas Carriero
October 1987
YALEU/DCS/TR568 * A Symmetric Language
David Gelernter
Suresh Jagannathan
Thomas London
Mark Day
October 1987
YALEU/DCS/TR569 [.pdf]
Algorithms for Multiplying Matrices of Arbitrary Shapes Using Shared Memory
Primitives on a Boolean Cube
Lennart Johnsson
Ching-Tien Ho
October 1987
YALEU/DCS/TR570
[.pdf] Computational Fluid Dynamics
on Parallel Processors
William Gropp
Edward Smith
October 1987
YALEU/DCS/tr571 [.pdf]
A Little Knowledge Goes a Long Way: Simple Knowledge-Based Derivations
anllllrrectness Proofs for a Family of Protocols
Lenore Zuck
Joseph Halpern
October 1987
YALEU/DCS/TR572 [.pdf]
Algorithms for Matrix Transposition on Boolean-cube Configured Ensemble
Architectures
Lennart Johnson
Ching-Tien Ho
October 1987
YALEU/DCS/TR573 * The Fluent Abstract
Machine
Abhiram Ranade
Lennart Johnsson
Sandeep Bhatt
October 1987
YALEU/DCS/TR574 [.pdf]
Directions in High Performance Computations
Lennart Johnsson
October 1987
YALEU/DCS/TR575 * Take a Walk, Grow
a Tree
Sandeep Bhatt
Jin-yi Cai
November 1987
YALEU/DCS/TR576 * On the Embebbing
of Arbitrary Meshes in Boolean Cubes With Expansion Two Dilation Two
Ching-Tien Ho
Lennart Johnsson
November 1987
YALEU/DCS/TR577 [.pdf]
Algorithms for Matrix Transposition on Boolean N-Cube Configured Ensemble
Architechtures
Ching-Tien Ho
Lennart Johnsson
November 1987
YALEU/DCS/TR578 [.pdf]
How to Emulate Shared Memory
Abhiram Ranade
November 1987
YALEU/DCS/TR579 [.pdf]
The Communication Efficiency of Meshes Boolean Cubes and Cube Connected
Cycles for Wafer Scale Intergration
Abhiram Ranade
Lennart Johnsson
November 1987
YALEU/DCS/TR580 [.pdf]
Ensemble Architectures and Their Algorithms: An Overview
Lennart Johnsson
November 1987
YALEU/DCS/TR581 [.pdf]
Highly Parallel banded Systems Solvers
Lennart Johnsson
November 1987
YALEU/DCS/TR582 [.pdf]
The FFT and Fast Poisson Solvers on Parallel Architectures
Lennart Johnsson
November 1987
YALEU/DCS/TR583 [.pdf]
Fast PDE Solvers on Fine and Medium Grain Architectures
Lennart Johnsson
November 1987
YALEU/DCS/TR584 [.pdf]
Data Parallel Programming and Basic Linear Algebra Subroutines
Lennart Johnsson
November 1987
YALEU/DCS/TR585 [.pdf]
Enumerative Counting is Hard
Jin-Yi Cai
Lane H. Hemachandra
November 1987
YALEU/DCS/TR586 [.pdf]
Adaptive Load Sharing in Heterogeneous Systems
Ravi Mirchandaney
Don Towsley
John Stankovic
November 1987
YALEU/DCS/TR587 * Directions in
High Performance Computation
Lennart Johnsson
November 1987
YALEU/DCS/TR588 [.pdf]
The Crytsal Runtime System: A Framework
Joel Saltz
Ravi Mirchandaney
Roger Smith
David Nicol
Kay Crowley
November 1987
YALEU/DCS/TR589 [.pdf]
Relative Knowledge and Belief
Michael Fischer
Lenore Zuck
December 1987
YALEU/DCS/TR590 [.pdf]
Learning Propositional Horn Sentences with Hints
Dana Angluin
December 1987
YALEU/DCS/TR591 [.pdf]
Debugging a DAG Efficiently
Dana Angluin
December 1987
YALEU/DCS/TR592 * A Performability
Analysis of a Multi-processor System
R.M. Smith
K.S. Trivedi
A.V. Ramesh
December 1987
YALEU/DCS/TR593 [.pdf]
Footprints of Dependency: Towards Dynamic Memory Management for Massively
Parallel Architectures
Marina C. Chen
Michel Jacquemin
January 1988
YALEU/DCS/TR594 [.pdf]
Implicit Finite-Difference Simulation of an Internal Flow on a Hypercube
Pierre Porta
January 1988
YALEU/DCS/TR595 [.pdf]
Composite Semantics: One Generic Environment is Enough
Jonathan Young
January 1988
YALEU/DCS/TR596 * Numerical Simulation
of a 2-D Compressible Fluid Flow on a Hypercube
Pierre Porta
Faisal Saied
January 1988
YALEU/DCS/TR597 [.pdf]
Adaptive Load Sharing in the Presence of Delays
Ravi Mirchandaney
January 1988
YALEU/DCS/TR598 * Computing Fast
Fourier Transforms on Boolean Cubes and Related Networks
Johnsson
Ho (as of Feb. 88)
Jacquemin
Ruttenberg
January 1988
YALEU/DCS/TR599 * Planned Creation
Using Strategies as Blueprints
Greg Collins
January 1988
YALEU/DCS/TR600 [.pdf]
Performability Analysis: Measures an Algorithm, And a Case Study
R. Smith
K.S. Trivedi
A.V. Ramesh
January 1988
YALEU/DCS/TR601 [.pdf]
Using Entropy Minimax Estimation for Load Sharing
Ravi Mirchandaney
L. Sha
J.A. Stankovic
January 1988
YALEU/DCS/TR602 [.pdf]
On the Efficient Implementation of the Fast Multipole Algorithm
Leslie Greengard
Vladimir Rokhlin
February 1988
YALEU/DCS/TR603 [.pdf]
Efficient Protocols for Common Knowledge and Simultaneous Byzantine Agreement
Ruben Michel
January 1988
YALEU/DCS/TR604 [.pdf]
Uncertain Knowledge in Distributed Systems (Revised edition, including
title, now #643)
Michael Fischer
Lenore Zuck
January 1988
YALEU/DCS/TR605 [.pdf]
Describing Graphs: A First-Order Approach to Graph Canonization
Neil Immerman
Eric Lander
February 1988
YALEU/DCS/TR606 [.pdf]
On Projections from Permanent to Determinant
Jin-yi Cai
February 1988
YALEU/DCS/TR607 [.pdf]
The Cholesky Factorization, Schur Complements, Correlation Coefficients,
Angles between Vectors, and the QR Factorization
Ilse Ipsen
Jean-Marc Delosme
C.C. Paige
February 1988
YALEU/DCS/TR608 [.pdf]
A Theory of Parallel Program Optimization
Young-il Choo
Marina Chen
February 1988
YALEU/DCS/TR609 * Footprints of
Dependency: Towards Dynamic Memory Management of Massively Paralell Architectures
Marina Chen
Michel Jacquemin
February1988
YALEU/DCS/TR610 [.pdf]
Optimum Broadcasting and Personalized Communication in Hypercubes
Lennart Johnsson
Ching-Tien Ho
February 1988
YALEU/DCS/TR611 [.pdf]
Spanning Balanced Trees in Boolean Cubes
Ching-Tien Ho
Lennart Johnsson
February 1988
YALEU/DCS/TR612 [.pdf]
QED on the Connection Machine
Lennart Johnsson
March 1988
YALEU/DCS/TR613 [.pdf]
Scaling, Machine Learning, and Generic Neural Nets
Eric Mjolsness
Dave Sharp
Bradley Albert
March 1988
YALEU/DCS/TR614 [.pdf]
Identifying Languages from Stochastic Examples
Dana Angluin
March 1988
YALEU/DCS/TR615 The
VAX Linda-C User's Guide
Jerrold Leichter
March 1988
YALEU/DCS/TR616 [.pdf]
Recursive Mesh Refinement on Hypercubes
William Gropp
Ilse Ipsen
March 1988
YALEU/DCS/TR617 [.pdf]
Stable Dimension Permutaions on Boolean Cubes
Ching-Tien Ho
Lennart Johnsson
March 1988
YALEU/DCS/TR618 * Multiprocessor
Execution of Functional Programs
Benjamin Goldberg
April 1988
YALEU/DCS/TR619 [.pdf]
Systolic FFT Algorithms on Boolean Cube Networks
Lennart Johnsson
Ching-Tien Ho
Michel Jacquemin
Mark Ruttenberg
March 1988
YALEU/DCS/TR620 [.pdf]
Optimal Algorithms for Dimension Permutations on Boolean Cubes
Lennart Johnsson
Ching-Tien Ho
March 1988
YALEU/DCS/TR621 [.pdf]
Data Field + Dependency = Parallel Program
Marina Chen
Young-il Choo
Jingke Li
April 1988
YALEU/DCS/TR622 * Linda in Context
Nicholas Carriero
David Gelernter
April 1988
YALEU/DCS/TR623 [.pdf]
Expressing Boolean Cube Matrix Algorithms in Shared Memory Primitives
Lennart Johnsson
Ching-Tien Ho
April 1988
YALEU/DCS/TR624 [.pdf]
From Bareiss' Algorithm to the Stable Computation of Partial Correlations
Jean-Marc Delsosme
Ilse Ipsen
April 1988
YALEU/DCS/TR625 Unassigned
YALEU/DCS/TR626 [.pdf]
An Optimal Lower Bound on the Number of Variables for Graph Identification
Jin-ji Cai
Neil Immerman
May 1988
YALEU/DCS/TR627 [.pdf]
Haskell Solutions to the Language Session Problems
at the 1988 Salishan High-speed Computing Conference
Paul Hudak
Steve Anderson
May 1988
YALEU/DCS/TR628 * How to Write Parallel
Programs: A Guide to the Perplexed
Nicholas Carriero
David Gelernter
May 1988
YALEU/DCS/TR629 [.pdf]
An Experimental Study of Methods for Parallel Preconditioned Krylov Methods
Doug Baxter
Joel Saltz
Martin Schultz
Stan Eisenstat
Kay Crowley
June 1988
YALEU/DCS/TR630 [.pdf]
Parallel Processing of Biological Sequence Comparison Algorithms
Nolan Core
Elizabeth Edmundston
Joel Saltz
Roger Smith
June 1988
YALEU/DCS/TR631 Unassigned
YALEU/DCS/TR632 [.pdf]
ORBIT: An Optimizing Compiler for Scheme
David Kranz
June 1988
YALEU/DCS/TR633 [.pdf]
Compiling Parallel Programs By Optimizing Performance
Marina Chen
Young-il Choo
Jingke Li
June 1988
YALEU/DCS/TR634 [.pdf]
Optimization in Model Matoning and Perceptual Organization, A First Look
Eric Mjolsness
Gene Gindi
P. Anandan
June 1988
YALEU/DCS/TR635 [.pdf]
Potential Flow in Channels
Leslie Greengard
June 1988
YALEU/DCS/TR636 [.pdf]
Matrix Multiplication on Boolean Cubes Using Shared Memory Primitives
Ching-Tien Ho
Lennart Johnson
July 1988
YALEU/DCS/TR637 [.pdf]
The Complexity of the Real Line is a Fractal
Jin-Yi Cai
Juris Hartmanis
July 1988
YALEU/DCS/TR638 * Using Linda for
Supercomputing on a Local Area Network
R.A. Whiteside
Jerold Leichter
June 1988
YALEU/DCS/TR639 * Grid Tracing:
Fast Ray Tracing for Height Fields
F. Kenton Musgrave
June 1988
YALEU/DCS/TR640 * A Parallel Version
of the Fast Multipole Method
Leslie Greengard
William Gropp
August 1988
YALEU/DCS/TR641 * Spatial Reasoning
About Mechanisms ITT (Partially)
Andrew Gelsey
Drew McDermott
August 1988
YALEU/DCS/TR642 [.pdf]
Revised NISP Manual
Drew McDermott
August 1988
YALEU/DCS/TR643 * Reasoning About
Uncertainty in Fault - Tolerant Distributed Systems (Revision of #604)
Michael Fischer
Lenore Zuck
August 1988
YALEU/DCS/TR644 * Case-Based Reasoning:
A Research Paradigm
Stephen Slade
August 1988
YALEU/DCS/TR645 [.pdf]
Explicit Routing in the Fluent Machine
Bjorn Lisper
August 1988
YALEU/DCS/TR646 * Spectral Integration
and Two-Point Boundary Value Value Problems
Leslie Greengard
August 1988
YALEU/DCS/TR647 [.pdf]
Requests for Hints That Return No Hints
Dana Angluin
September 1988
YALEU/DCS/TR648 [.pdf]
Negative Results for Equivalence Queries
Dana Angluin
September 1988
YALEU/DCS/TR649 [.pdf]
Learning With Localized Receptive Fields
John Moody
Christian Darken
September 1988
YALEU/DCS/TR650 * On the Performance
of Self-Execution Primitives in the PARTY Runtime System
Ravi Mirchandaney
Joel Saltz
September 1988
YALEU/DCS/TR651 * Optimization of
Computation Time for Systolic Arrays
Yi Wan Wong
Jean-Marc Delosme
September 1988
YALEU/DCS/TR652 [.pdf]
A Rapid Numerical Procedure for Determining Axisymetric Transfer Electric
Electromgnetic Fields Via Boundary Intergrals
Vladimir Rokhlin
Ira Bernstein
September 1988
YALEU/DCS/TR653 [.pdf]
Shuffle Permutations on Boolean Cubes
Lennart Johnsson
Ching-Tien Ho
October 1988
YALEU/DCS/TR654 * Learning With
Localized Receptive Fields: A Speedy Alternative to Back Propagation
John Moody
Christian Darken
October 1988
YALEU/DCS/TR655 [.pdf]
Preconditioned Krylov Solvers and Methods for Runtime Loop Parallelization
Doug Baxter
Joel Saltz
Martin Schultz
Stanley Eisenstat
October 1988
YALEU/DCS/TR656 * Report on the
Functional Programming Language Haskell
Paul Hudak
Phil Wadler
October 1988
YALEU/DCS/TR657 [.pdf]
Runtime Scheduling and Execution of Loops on Message Passing Machines
Kay Crowley
Joel Saltz
Ravi Mirchandaney
H. Scott Berryman
October 1988
YALEU/DCS/TR658 Unassigned
YALEU/DCS/TR659 [.pdf]
Equivalence Queries and DNF Formulas
Dana Angluin
November 1988
YALEU/DCS/TR660 *
The LogiCalc Manual
Denys Duchier
November 1988
YALEU/DCS/TR661 [.pdf]
Run-Time Parallelization and Scheduling of Loops
Joel Saltz
Ravi Mirchandaney
Doug Baxter
November 1988
YALEU/DCS/TR662 * Plan Analysis
of Programs
Stanley Letovsky
November 1988
YALEU/DCS/TR663 * Fluent Parallel
Computation
Abriham Ranade
December 1988
YALEU/DCS/TR664 [.pdf]
Synthesis of a Systolic Dirichlet Product Using Non-Linear Domain Contraction
Marina Chen
Young-il Choo
December 1988
YALEU/DCS/TR665 [.pdf]
On the Expressiveness of Purely Functional Operating Systems
Paul Hudak
R. Sundaresh
December 1988
YALEU/DCS/TR666 * Report on the
Functional Programming Language Haskell
Paul Hudak
December 1988
YALEU/DCS/TR667 [.pdf]
Embedding Hyper-Pyramids into Hypercubes
Ching-Tien Ho
Lennart Johnsson lll
December 1988
YALEU/DCS/TR668 * Optimal Architectures
and Objective Functions for Associative Memory
John Moody
December 1988
YALEU/DCS/TR669 [.pdf]
A Categorical Approach to Distributed Systems Expressibilities and Knowledge
Ruben Michel
January 1989
YALEU/DCS/TR670 [.pdf]
Expotential Lower Bounds for Constant Depth Circuits in the Presence of
Help Bits
Jin-yi Cai
January 1989
YALEU/DCS/TR671 [.pdf]
A Fast Algorithm for the Evaluation of Legendre Expansions
Bradley Alpert
Vladimir Rokhlin
January 1989
YALEU/DCS/TR672 * Adaptive Execution
in Complex Dynamic Worlds
James Firby
January 1989
YALEU/DCS/TR673 * Speedup of a Financial
Application Using the Crystal Compiler for Hypercubes
Marina Chen
January 1989
YALEU/DCS/TR674 [.pdf]
A Prototype System for Automated Tactical Situation Assessment
Drew McDermott
January 1989
YALEU/DCS/TR675 * Parallel Programming
in DIVACON
Zhijing Mou
Paul Hudak
January 1989
YALEU/DCS/TR676 * Polymorphic Array
Operations in Divide-and-Conquer
Zhijing Mou
Paul Hudak
January 1989
YALEU/DCS/TR677 [.pdf]
Runtime Aggregations of Recursion Relations
Joel Saltz
H. Scott Berryman
January 1989
YALEU/DCS/TR678 * Knowledge Acquisition
Planning: Gaining Expertise Through Experience
Larry Hunter
January 1989
YALEU/DCS/TR679 [.pdf]
Optimizing Tridiagonal Solvers for Alternating Direction Methods on Boolean
Cube Multiprocessors
Lennart Johnsson
Ching-Tien Ho
January 1989
YALEU/DCS/TR680 [.pdf]
A Blocked Jacobi Method for the Symmetric Eigen Problem
David Foulser
February 1989
YALEU/DCS/TR681 * Fast Learning
in Multi-Resolution Heirarchies
John Moody
February 1989
YALEU/DCS/TR682 [.pdf]
Histogram Computation on Distributed Memory Architectures
Dimitris Gerogiannis
Stelios Orphanoudakis
Lennart Johnsson
February 1989
YALEU/DCS/TR683 [.pdf]
Parallelism in Sequential Divided-and-Conquer (Extended Abstract)
George Zhijing Mou
Steve Anderson
Paul Hudak
February 1989
YALEU/DCS/TR684 [.pdf]
An Exploration of Asynchronous Data-Parallelism
Michael Littman
Chris Metcalf
February 1989
YALEU/DCS/TR685 [.pdf]
Krylov Methods Preconditioned with Incompletely Factored Matrices on the
CM-2
Harry Berryman
Joel Saltz
William Gropp
February 1989
YALEU/DCS/TR686 [.pdf]
Algebraic Transformations of Objective Functions
Eric Mjolsness
Charles Garret
March 1989
YALEU/DCS/TR687 * MARCEL: A Generate-Test-and-Debug
(GTD) Impasse/Repair Model of Student Programmers
James C. Spohrer
March 1989
YALEU/DCS/TR688 [.pdf]
Solving Laplace Equations on the Connection Machine
Min-You Wu
March 1989
YALEU/DCS/TR689 [.pdf]
Embedding Meshes in Boolean Cubes with Graph Decomposition
Ching-Tien Ho
Lennart Johnsson
March 1989
YALEU/DCS/TR690 [.pdf]
The Implementation and Performance of Hypercube Linda
Robert Bjornson
Nicholas Carriero
David Gelernter
March 1989
YALEU/DCS/TR691 * A General Framework
for Reason Maintenance
Drew McDermott
March 1989
YALEU/DCS/TR692 [.pdf]
On the Numerical Solution of Two-Point Boundary Value Problems
Leslie Greengard
Vladimir Rokhlin
March 1989
YALEU/DCS/TR693 [.pdf]
Efficient Compilation of Haskell Array Comprehensions
Paul Hudak
Steve Anderson
March 1989
YALEU/DCS/TR694 [.pdf]
Using Queries to Identify µ-Formulas
Dana Angluin
March 1989
YALEU/DCS/TR695 * Sets and Arrays
as Data Structures for Parallel Programming
Marina Chen
Andrew Kranin
Joseph Rodrigue
March 1989
YALEU/DCS/TR696 [.pdf]
Fast Wavelet Transforms and Numerical Algorithms I
Vladimir Rokhlin
R. Coifman
G. Belkyin
April 1989
YALEU/DCS/TR697 * Optimization of
Processor Count for Systolic Arrays
Yiwan Wong
Jean-Marc Delsome
April 1989
YALEU/DCS/TR698 * Experience with
Lins on the iPSC / 2
Robert Bjornson
April 1989
YALEU/DCS/TR699 * The Theory and
Practice of Semantic Program Analysis for Higher-Order Functional Programming
Languages
Jonathan Young
May 1989
YALEU/DCS/TR700 [.pdf]
A Fast Algorithm for the Evaluation of Heat Potentials
Leslie Greengard
J. Strain
May 1989
YALEU/DCS/TR701 * Transformations
of Broadcasts into Propagations in Systolic Algorithms
Yiwan Wong
Jean-Marc Delosme
May 1989
YALEU/DCS/TR702 * Compilation by
Program Transformation
Richard Kelsey
May 1989
YALEU/DCS/TR703 [.pdf]
Single Assignment Semantics for Imperative Programs
Bjorn Lisper
May 1989
YALEU/DCS/TR704 * Path Analysis
and the Optimization of Non-strict Functional Languages
Adrienne Bloss
May 1989
YALEU/DCS/TR705 [.pdf]
Tight Bounds for the Sequence Transmission Problem
Da Wai Wang
Lenore Zuck
May 1989
YALEU/DCS/TR706 [.pdf]
A Fan-in Algorithm for Distributed Sparse Numerical Factorization
C. Ashcraft
S.C. Eisenstat
J.W.H. Liu
May 1989
YALEU/DCS/TR707 [.pdf]
Self-Stabilizing Petri Nets
Gadi Taubenfeld
May 1989
YALEU/DCS/TR708 [.pdf]
Possibility and Impossibility Results in a Shared Memory Environment
Gadi Taubenfeld
Shlomo Moran
May 1989
YALEU/DCS/TR709 [.pdf]
Leader Election in the Presence of 'N-1' Initial Failures
Gadi Taubenfeld
May 1989
YALEU/DCS/TR710 [.pdf]
Question-Driven Understanding: On Integrated Theory of Story Understanding,
Memory and Learning
Ashwin Ram
May 1989
YALEU/DCS/TR711 [.pdf]
Connectionist Variable-Binding by Optimization
P. Anandan
Stanley Letovsky
Eric Mjolsness
June 1989
YALEU/DCS/TR712 * Computer Story-Writing:
The Role of Reconstructive and Dynamic Memory
Natalie Dehn
June 1989
YALEU/DCS/TR713 [.pdf]
Channel Routing for Intergrated Circuits
Ron Pinter
Andrea LaPaugh
June 1989
YALEU/DCS/TR714 * Shared Tuple Memories,
Shared Memories, Buses and LANS-Linda Implementations Across the Spectrum
of Connectivity
Jerrold Leichter
June 1989
YALEU/DCS/TR715 * Implementing Linda
for Distributed and Parallel Proccessing
Jerrold Leichter
Robert Whiteside
July 1989
YALEU/DCS/TR716 * Coordination Languages
and Their Significance
Nicholas Carriero
David Gelernter
July 1989
YALEU/DCS/TR717 [.pdf]
Performance Study on the Connection Machine
Min-You Wu
Wei Shu
July 1989
YALEU/DCS/TR718 [.pdf]
The Fast Gauss Transform
L. Greengard
J. Strain
July 1989
YALEU/DCS/TR719 [.pdf]
Efficient Breadth-First Expansion on the Connection Machine or : Parallel
Processing of L-Systems
R. Pinter
S. Pinter
July 1989
YALEU/DCS/TR720 [.pdf]
Efficient Compilation of Array Expressions for the Connection Machine
L. Ortiz
R. Pinter
July 1989
YALEU/DCS/TR721 [.pdf]
Multiplication of Arbitrarily Shaped Matrices on Boolean Cubes Using the
Full Communication Bandwidth
S. Johnsson
Ching-Tien Ho
July 1989
YALEU/DCS/TR722 UNASSIGNED
YALEU/DCS/TR723 [.pdf]
Domain Decomposition on Parallel Computers
William Gropp
David Keyes
July 1989
YALEU/DCS/TR724 [.pdf]
Node Ordering and Concurrency in Structurally Symetric Sparse Problems
I.S. Duff
Lennart Johnsson
July 1989
YALEU/DCS/TR725 [.pdf]
Index Domain Alignment: Minimizing Cost of Cross-Referencing Between Distributing
Arrays
Jingke Li
Marina Chen
July 1989
YALEU/DCS/TR726 [.pdf]
Domain Decomposition with Local Mesh Refinement
William Gropp
David Keyes
July 1989
YALEU/DCS/TR727 [.pdf]
Parallel Computation of Multiple Biological Sequence Comparisons
David Foulser
Nolan Core
August 1989
YALEU/DCS/TR728 [.pdf]
Parallel Solution of the Symetric of the Tri-Diagonal Eigen Problem
E.R. Jessup
August 1989
YALEU/DCS/TR729 * Bounds on Block
Diagonal Preconditioning
Mark Yan-Ming Chang
Martin Schultz
August 1989
YALEU/DCS/TR730 [.pdf]
Program Optimization and Parallelization Using Idioms
Ron Pinter
Shlomit Pinter
August 1989
YALEU/DCS/TR731 * Dilation d Embebbing
of a Hyper-Pyramid into a Hypercube
Ching-Tien Ho
Lennart Johnsson
September 1989
YALEU/DCS/TR732 [.pdf]
A Study of Dissipation Operators for the Euler Equations and a Three-Dementional
Channel Flow
Lennart Johnsson
Pelle Ollson
September 1989
YALEU/DCS/TR733 [.pdf]
Element Order and Convergence Rate of the Conjugate Gradient Method for
Data Parallel
Lennart Johnsson
Kapil K. Mathur
September 1989
YALEU/DCS/TR734 [.pdf]
A Radix - 2 FFT on the Connection Machine
L. Johnsson
Robert L. Krawitz
Roger Frye
Douglas MacDonald
September 1989
YALEU/DCS/TR735 [.pdf]
QCD with Dynamical Fermions on the Connection Machine
Lennart Johnsson
Ralph G. Brickner
Rajan Gupta
Clive F. Baillie
September 1989
YALEU/DCS/TR736 [.pdf]
Matrix Multiplication on the Connection Machine
Lennart Johnsson
Tim Harris
Kapal K. Mathur
September 1989
YALEU/DCS/TR737 [.pdf]
Boundary Modifications of the Dissipation Operators for the Three-Dementional
Euler Equation
Pele Olsson
S.L. Johnsson
September 1989
YALEU/DCS/TR738 [.pdf]
Distributed RC Delay Line Model and MOS PLA Timing Estimation
Chao-Lin Chiang
Lennart Johnsson
September 1989
YALEU/DCS/TR739 * TSNET: A Linda
Implementation for Networks of Unix-Based Computers
Mauricio Arango
Donald Berndt
September 1989
YALEU/DCS/TR740 [.pdf]
The Finite Element Method on a Data Parallel Architecture
Kapil Mathur
Lennart Johnsson
September 1989
YALEU/DCS/TR741 [.pdf]
Data Parallel Super Computing
Lennart Johnsson
September 1989
YALEU/DCS/TR742 [.pdf]
The Finite Element Method on a Data Parallel Computing System
Kapil Mathur
S. L. Johnsson
September 1989
YALEU/DCS/TR743 [.pdf]
Data Structures and Algorithms for the Finite Element Method on a Data
Parallel Super Computer
L. Johnsson
Kapil Mathur
September 1989
YALEU/DCS/TR744 * Is Explicit Parallelism
Natural? Hybrid DB Search and Sparse LDL Factorization Using Linda
C. Ashcraft
N. Carriero
D. Gelernter
September 1989
YALEU/DCS/TR745 [.pdf]
Discretization of the Steady State Semiconductor Device Equations
Ilan Efrat
September 1989
YALEU/DCS/TR746 [.pdf]
Embedding Meshes in Boolean Cubes by Graph Decomposition
S.L. Johnsson
Ching-Tien Ho
September 1989
YALEU/DCS/TR747 [.pdf]
A Dataparallel Implementation of an Explicit Method for the Three-Dementional
Compressable Navier-Stokes Equation
Pelle Olsson
Lennart Johnsson
October 1989
YALEU/DCS/TR748 * Generalized Secret
Sharing and Monotone Functions
Josh Benaloh
Jerrold Leichter
October 1989
YALEU/DCS/TR749 [.pdf]
The Parallel Multipole Method on the Connection Machine Supported by:
Thinking Machines Corp.
Lennart Johnsson
Feng Zhao
October 1989
YALEU/DCS/TR750 [.pdf]
Cooley-Tukey FFR on the Connection Machine
S.Lennart Johnsson
Robert L. Krawitz
Robert Frye
Douglas MacDonald
October 1989
YALEU/DCS/TR751 [.pdf]
High Radix FFT on Boolean Cube Networks
Lennart Johnsson
Michel Jacquemin
Ching-Tien Ho
October 1989
YALEU/DCS/TR752 * Regression Planning
Drew McDermott
November 1989
YALEU/DCS/TR753 [.pdf]
Experience with the Conjugate Gradient Method for Stress Analysis on a
Data Parallel Supercomputer
S.Lennart Johnsson
Kapil Mathur
November 1989
YALEU/DCS/TR754 * Optimal Communication
in Distributed and Shared Models of Computation
S.Lennart Johnsson
December 1989
YALEU/DCS/TR755 [.pdf]
Synthesis of Explicit Communication from Shared-Memory Program References
Jingke Li
Marina Chen
December 1989
YALEU/DCS/TR756 * Projecting Plans
for Uncertain Worlds
Steve Hanks
January 1990
YALEU/DCS/TR757 * CS661 Lecture
Notes
Prabhakar Raghavan
January 1990
YALEU/DCS/TR758 * Non-Strict Monoloitic
Arrays in a Strict Context
Steve Anderson
January 1990
YALEU/DCS/TR759 * Memo-Functions
in Alfl
Pradeep Varma
Paul Hudak
January 1990
YALEU/DCS/TR760 * Theory and Pragmatics
of Compiling Efficient Parallel Code
Marina Chen
Young-il Choo
Jingke Li
January 1990
YALEU/DCS/TR761 [.pdf]
Static and Dynamic Semantics Processing
Charles Consel
Oliver Danvy
February 1990
YALEU/DCS/TR762 [.pdf]
Some Remarks on the Generalised Bareiss and Levinson Algorithms
Ilse Ipsen
February 1990
YALEU/DCS/TR763 [.pdf]
Linear Algorithms for Analysis of Minimum Spanning and Shortest Path Trees
of Planar Graphs
Heather Booth
Jeffery Westbrook
February 1990
YALEU/DCS/TR764 [.pdf]
Boolean Cube Emulation of Butterfly Networks Encoded by Gray Code
Lennart Johnsson
Ching-Tien Ho
February 1990
YALEU/DCS/TR765 [.pdf]
Mathematical Foundations for Fast Algorithms for the Biharmonic Equation
Peter Farkas
February 1990
YALEU/DCS/TR766 * Melinda: Linda
with Multiple Tuple Spaces
Susanne C. Hupfer
February 1990
YALEU/DCS/TR767 [.pdf]
Improving the Accuracy of Inverse Iteration
Elizabeth R. Jessup
Ilse C.F. Ipsen
February 1990
YALEU/DCS/TR768 [.pdf]
Routing Multiple Paths in Hypercubes
David Greenberg
Sandeep N. Bhatt
March 1990
YALEU/DCS/TR769 * Evaluating Explanations
David Leake
March 1990
YALEU/DCS/TR770 [.pdf]
Incremental Computation via Partial Evaluation
R.S. Sundaresh
Paul Hudak
March 1990
YALEU/DCS/TR771 [.pdf]
The Wakeup Problem
Michael Fischer
Shlomo Moran
Steven Rudich
Gadi Taubenfeld
March 1990
YALEU/DCS/TR772 [.pdf]
Sub-domain Dependency Test and Scheduling Algorithms for Massively Parallel
Computing
Lee-Chung Lu
Marina Chen
March 1990
YALEU/DCS/TR773 [.pdf]
Parallel Performance of Domain-Decomposed Preconditioned Krylov Methods
for PDEs with Adaptive Refinement
William Gropp
David Keyes
March 1990
YALEU/DCS/TR774 [.pdf]
From Interpreting to Compiling Binding Times
Charles Consel
Olivier Danvy
March 1990
YALEU/DCS/TR775 [.pdf]
Data Parallel Algorithms for Finite Element Method
Kapil K. Mathur
S. Lennart Johnsson
March 1990
YALEU/DCS/TR776 [.pdf]
Domain Decomposition Algorithms for Elliptic Partial Differential Equations
(Thesis)
Diana C. Resasco
March 1990
YALEU/DCS/TR777 *
Report on the Programming Language Haskell
Paul Hudak
et al
April 1990
YALEU/DCS/TR778 [.pdf]
Supercomputers: Past and Future
S. Lennart Johnsson
April 1990
YALEU/DCS/TR779 * Optimal Communication
Primitives and Graph Embeddings on Hypercubes (Thesis)
Ching-Tien Ho
April 1990
YALEU/DCS/TR780 [.pdf]
Binding time Analysis for Higher Order Untyped Functional Languages
Charles Consel
April 1990
YALEU/DCS/TR781 [.pdf]
Semantics-Directed Generation of a Prolog Compiler
Charles Consel
Siau Cheng Khoo
April 1990
YALEU/DCS/TR782 [.pdf]
TupleScope: A Graphical Monitor and Debugger for Linda- Based Parallel
Programs
Paul Bercovitz
Nicholas Carriero
April 1990
YALEU/DCS/TR783 * Semantics and
Analyst of First-Class Tuple-Spaces
Suresh Jagannathan
April 1990
YALEU/DCS/TR784 * Data Dependencies
and Space-Time Algebras in Parallel Programming
Magne Haveraaen
April 1990
YALEU/DCS/TR785 * Automated Reasoning
About Machines
Andrew Gelsey
April 1990
YALEU/DCS/TR786 [.pdf]
Meta-Crystal -- A Metalanguange for Parallel-Program Optimazation
J. Allan Yang
Young-il Choo
April 1990
YALEU/DCS/TR787 [.pdf]
The Complexity of Reshaping Arrays on Boolean Cubes
Lennart Johnsson
Ching-Tien Ho
April 1990
YALEU/DCS/TR788 * The Semantics
of Tuple Space and Correctness of an Implementation
Keld Kondrup Jensen
April 1990
YALEU/DCS/TR789 * Constraints for
the Early Detection of Discontinuity from Motion
Michael J. Black
P. Anandan
April 1990
YALEU/DCS/TR790 * Neutral Networks
for Model-Based Recognition
Gene Gindi
Eric Mjolsness
P. Anandan
May 1990
YALEU/DCS/TR791 [.pdf]
Embedding Meshes into Small Boolean Cubes
Ching-Tien Ho
Lennart Johnsson
May 1990
YALEU/DCS/TR792 [.pdf]
Secret Bit Transmission Using a Random Deal of Cards
Michael J. Fischer
Michael S. Paterson
Charles Rackoff
May 1990
YALEU/DCS/TR793 [.pdf]
Embedding Three-Demensional Meshes in Boolean Cubes by Graph Decomposition
Ching-Tien Ho
Lennart Johnson
May 1990
YALEU/DCS/TR794 * Linda Coordination
Language; Subsystem Kernal Architecture (on transputers)
Steven Ericsson Zenith
May 1990
YALEU/DCS/TR795 * A Formal Model
for Divide-and-Conquer and its Parallel Realization
Z.G. Mou
May 1990
YALEU/DCS/TR796 * A Connectionist
Model of Morphogenesis
Eric Mjolsness
David H. Sharp
John Reinitz
May 1990
YALEU/DCS/TR797 [.pdf]
Multiscale Optimization in Neural Nets
Eric Mjolsness
Charles Garrett
Willard L. Miranker
May 1990
YALEU/DCS/TR798 * Modularity &
Concurrency through Environment- based reflection.
Suresh Jagannathan
May 1990
YALEU/DCS/TR799 [.pdf]
How to Create a Failure Tolerant Disturbed System.
Jonathan Hochman
June 1990
YALEU/DCS/TR800 * Knowledge in Distributed
Byzantine Environments.
Ruben Michel
June 1990
YALEU/DCS/TR801
[.pdf] The Trade off Between Processor
Speed and Paralellism for Supercomputers
Min-You Wu
June 1990
YALEU/DCS/TR802 [.tex]
[.pdf] On the
Numerical Solution of Two-Point Boundary Value Problems II
V. Rokhlin
P. Starr
June 1990
YALEU/DCS/TR803 [.tex]
[.pdf] PP is
Closed Under Intersection. Suppt. by: NSF CCR-8601920
Richard Beigel
Nick Reingold
Daniel Spielman
June 1990
YALEU/DCS/TR804 [.tex]
[.pdf] Randomized
Algorithms for The List Update Problem.
Nick Reingold
Jeffery Westbrook
June 1990
YALEU/DCS/TR805 [.tex]
[.pdf] Optimal
Off-line Algorithms for List Update Problems.
Nick Reingold
Jeffery Westbrook
June 1990
YALEU/DCS/TR806 * A Scheme for Supporting
Automatic Data Migration on Multicomputers
S. Mirchandaney
J. Saltz
P. Mehrotra
S. Berryman
June 1990
YALEU/DCS/TR807 * Execution Time
Support for Adaptive Scientific Algorithms on Distributive Memory Machines
S. Berryman
J. Saltz
J. Scroggs
June 1990
YALEU/DCS/TR808 * Real-Time Performance,
Parallelism and Program Visualization in Medical Monitoring.
M. Factor
D. Gelernter
C. Kolb
P. Miller
D. Sittig
July 1990
YALEU/DCS/TR809 * Programming with
Ease: Semiotic Definition of the Language
S. Ericsson Zenith
July 1990
YALEU/DCS/TR810 [.pdf]
A Comparison of Three Column-based Distributed Sparse Ractorization Schemes
Cleve Ashcraft
Stanley Eisenstat
Joseph H. Liu
Andrew H. Sherman
July 1990
YALEU/DCS/TR811 [.pdf]
Numerical Techniques for the Solution of the Time- dependent Schrodinger
Equation and their Parallel Implementation
Faisal Saied
July 1990
YALEU/DCS/TR812 [.pdf]
A Linear Time Algorithm for DNA Sequencing
David E. Foulser
July 1990
YALEU/DCS/TR813 [.tex]
[.pdf] The Perceptron
Strikes Back
Richard Beigel
Nick Reingold
Daniel Spielman
July 1990
YALEU/DCS/TR814 [.pdf]
Sparse Representation of Smooth Linear Operators
Bradley Keith Alpert
August 1990
YALEU/DCS/TR815 * Parallel Computation
and FASTA: Confronting the Problems of Parallel Data-base Search for a
Fast-Sequence Comparison Algorithm
Perry Miller
Prakash Nadkarni
Nicholas Carriero
August 1990
YALEU/DCS/TR816 * Systematic Applications
of Loop Transactions
Marina Chen
Lee-Chung Lu
August 1990
YALEU/DCS/TR817 * Domain Morphisms:
A New Construct for Parallel Programming and Formalizing Program Optimization
Marina Chen
Young-il Choo
August 1990
YALEU/DCS/TR818 *
Experience with the Process Trellis Software Architecture
Michael Factor
David Gelernter
August 1990
YALEU/DCS/TR819 [.tex]
[.pdf] Improved
Bounds on Coherence and Checkability
Richard Beigel
Joan Feigenbaum
September 1990
YALEU/DCS/TR820 [.pdf]
Partial Evaluation in Parallel
Charles Consel
Olivier Danvy
September 1990
YALEU/DCS/TR821 * True Bigness
Michael Factor
David Gelernter
September 1990
YALEU/DCS/TR822 * A Model for Incremental
Motion Estimation
Michael Black
P. Anandan
September 1990
YALEU/DCS/TR823 [.tex]
On ACC
Richard Beigel
September 1990
YALEU/DCS/TR824 [.pdf]
Parellel Programming Transformation Using a Metalanguage
J. Allen Yang
Young-il Choo
September 1990
YALEU/DCS/TR825 * Parellel Programming
with Theory Morphisms
J. Allen Yang
Young-il Choo
September 1990
YALEU/DCS/TR826 * The Hypercomputer:
A Network Process Management System
David Kaminsky
September 1990
YALEU/DCS/TR827 [.pdf]
Convergence Rate Estimate for A Domain Decomposition Method
Xiao-Chuan Cai
William D. Gropp
David E. Keyes
October 1990
YALEU/DCS/TR828 [.pdf]
Building Incremental Programs Using Partial Evaluation
Raman Sundaresh
October 1990
YALEU/DCS/TR829 * Automating the
Coordination of Interprocessor Communication
Jinge Li
Marina Chen
October 1990
YALEU/DCS/TR830 * YALE - The Yale
Automated Linda Editor
Shakil Ahmed
October 1990
YALEU/DCS/TR831 * Inside Linda
Paolo Ciancarini Consiglio
October 1990
YALEU/DCS/TR832 * The Process Trellis
Software Architecture for Parallel, Real-Time Monitors
Michael E. Factor
October 1990
YALEU/DCS/TR833 * New Loop Transformation
Techniques for Massive Parallelism
Lee-Chung Lu
Marina Chen
October 1990
YALEU/DCS/TR834 * Global Optimization
of Interprocedural Data Movement
Marina Chen
Jan-Jan Wu
October 1990
YALEU/DCS/TR835 [.pdf]
Robust Dynamic Motion Estimation Over Time
Michael J. Black
P. Anandan
November 1990
YALEU/DCS/TR836 * Compiling Inheritance
using Partial Evaluation
Siau Cheng
R.S. Sundaresh
December 1990
YALEU/DCS/TR837 [.pdf]
Wavelets for the Fast Solution of Second Kind Integral Equations
B. Alpert
C. Beylkin
R. Coifman
V. Rokhlin
December 1990
YALEU/DCS/TR838 [.pdf]
On the Inverse Scattering Problem for the Helmholtz Equation in One Demension
Y. Chen
V. Rokhlin
December 1990
YALEU/DCS/TR839 [.tex]
An Informal Operational Semantics of C-Linda V2.3.5
J. Narem Jr.
December 1990
YALEU/DCS/TR840 * Crystal Reference
Manual, Version 3.0
Michel Jacquemin
J. Allan Yang
January 1991
YALEU/DCS/TR841 [.pdf]
A Fast Algorithm for the Evaluation of Trigonometric Series
Aloke Dutt
January 1991
YALEU/DCS/TR842 A Lograngian Approach
to Fixed Points
Eric Mjolsness
Charles Garrett
Willard L. Mirankar
January 1991
YALEU/DCS/TR843 [.tex]
[.pdf] Polynomial
Interpolation, Threshhold Circuits, and the Polynomial Hierarchy
Richard Beigel
January 1991
YALEU/DCS/TR844 [.tex]
[.pdf] Randomized
Algorithms for Multiprocessor Page Migration
Jeffrey Westbrook
January 1991
YALEU/DCS/TR845 [.pdf]
Genetic Algorithms for Genetic Neural Nets
David H. Sharp
Jon Reinitz
Eric Mjolsness
February 1991
YALEU/DCS/TR846 * Design Implementation,
and Applications of X a Metalanguage for Parallel-Program Transformation
J. Allan Yang
Young-il Choo
February 1991
YALEU/DCS/TR847 [.pdf]
Multiple Trellises and the Intelligent Cardiovascular Monitor
Michael Factor
David Gelernter
Dean Sittig
February 1991
YALEU/DCS/TR848 * Space & Time
Bases for the Sequentialization of Systolic Array Designs
Alain Darte
Jean-Marc Delosme
March 1991
YALEU/DCS/TR849 * Crystal Compiler
Primer: Version 3.0
Michael Hemy
March 1991
YALEU/DCS/TR850 [.pdf]
Monitoring Semantics: A Formal Framework for Specifying, Implementing,
& Reasoning about execution monitors
A. Kishon
P. Hudak
C. Consel
March 1991
YALEU/DCS/TR851 [.tex]
The Design, Implementation, and Performance of a
Database-driven Expert System
S. Fertig
D. Gelernter
March 1991
YALEU/DCS/TR852 [.pdf]
Software Backplanes, Realtime Data Fusion and the Process Trellis
M. Factor
D. Gelernter
March 1991
YALEU/DCS/TR853 [.pdf]
Realiable Communication Over Unreliable Channels
Yehuda Afek
Hagit Attiya
Alan Fakete
Michael Fischer
Nancy Lynch
Yishay Mansour
Da-Wei Wang
Lenore Zuck
March 1991
YALEU/DCS/TR854 [.pdf]
Bayesian Inference on Visual Grammars by Neural Nets that Optimize
Eric Mjolsness
April 1991
YALEU/DCS/TR855 [.pdf]
Multiparty Secret Key Exchange Using a Random Deal of Cards
Michael J. Fischer
Rebecca N. Wright
April 1991
YALEU/DCS/TR856 [.pdf]
Real-Time Sequence Transmission Problem
Da-Wei Wang
Lenore Zuck
May 1991
YALEU/DCS/TR857 [.pdf]
Games I/0 Automata Play
Nicholas Reingold
Da-Wei Wang
Lenore Zuck
May 1991
YALEU/DCS/TR858 * Parallelizing
FORTRAN Programs for Massively Parallel Machines via Crystal
Marina Chen
Dong-Juan Chen
May 1991
YALEU/DCS/TR859 [.pdf]
Parallel Subspace Method for non-Hermitian Eigen Problems on the Connection
Machine (CM2)
Serge Petiton
May 1991
YALEU/DCS/TR860 [.pdf]
Full Utilization of Communication Resources
David Saks Greenberg
June 1991
YALEU/DCS/TR861 [.pdf]
Robot Planning
Drew McDermott
June 1991
YALEU/DCS/TR862 [.pdf]
Logi-Calc: An Enviornment for Interactive Proof
Development
Denys Duchier
July 1991
YALEU/DCS/TR863 UNASSIGNED
YALEU/DCS/TR864 [.tex]
[.pdf] A Reactive
Plan Language
Drew McDermott
July 1991
YALEU/DCS/TR865 [.pdf]
Parameterized Partial Evaluation Extended Version
Charles Consel
Siau Cheng Khoo
July 1991
YALEU/DCS/TR866A [.pdf]
Perturbation Theory for the Solution of Linear Systems of Equations and
Least Squares Problems
Shivkumar Chandrasekaran
Ilse Ipsen
July 1991
YALEU/DCS/TR866B [.pdf]
Experience with Linda
R. Bjornson
N. Carriero
D. Gelernter
T. Mattson
D. Kaminsky
A. Sherman
July 1991
YALEU/DCS/TR867 [.pdf]
Fast Strictness Analysis via Symbolic Fixpoint Iteration
Charles Consel
September 1991
YALEU/DCS/TR868 [.pdf]
Real-Time Vision-Based Robot Localization
Greg Hager
September 1991
YALEU/DCS/TR869 [.pdf]
Dynamic Partitioning of Parallel Lisp Programs
Eric Mohr
September 1991
YALEU/DCS/TR870 [.pdf]
Formal Derivation of an Efficient Parallel Gauss-Seidel Method on a Mesh
of Processors
J. Allan Yang
Young-il Choo
September 1991
YALEU/DCS/TR871 [.pdf]
Short Encodings of Planar Graphs and Maps
Kenneth Keeler
Jeffrey Westbrook
October 1991
YALEU/DCS/TR872 [.pdf]
A New Iterative Pojective Method for Large Symmetric Eigenproblem
Mahid Emad
October 1991
YALEU/DCS/TR873 [.pdf]
Combining Intensity and Motion for Incremental Segmentation and Tracking
over Long Image Sequences
Michael J. Black
October 1991
YALEU/DCS/TR874 [.pdf]
Map Learning with Error Correction for Mobile Robots
Sean P. Engelson
Drew V. McDermott
October 1991
YALEU/DCS/TR875 [.tex]
[.pdf] Decision
Making in th Presence of Noise
Michael J. Fischer
Sophia A. Paleologou
October 1991
YALEU/DCS/TR876 [.pdf]
Compiling Crystal for Distributed-Memory Machines
Jingke Li
October 1991
YALEU/DCS/TR877 [.pdf]
A Higher-Level Environment for Parallel Programming
Shakil Ahmed
David Gelernter
November 1991
YALEU/DCS/TR878 * Massively Parallel
Sparse Matrix Computations for Ineration Methods
Serge Petiton
November 1991
YALEU/DCS/TR879 * On the Parallel
Implementation of Jacobis and Koghetliantz's Algorithm
Jurgen Goetze
November 1991
YALEU/DCS/TR880 [.pdf]
On Rank-Revealing QR Factorisations
Shivkumar Chandrasekaran
Ilse Ipsen
November 1991
YALEU/DCS/TR881 [.pdf]
Prototyping FORTRAN-90 Compilers for Massively Parallel Machines
Marina Chen
Jim Cowie
December 1991
YALEU/DCS/TR882 [.tex]
[.pdf] Optimizing
FORTRAN-90 Programs for Data Motion on Massively Parallel Systems
Marina Chen
Jan Jan Wu
December 1991
YALEU/DCS/TR883 [.pdf]
Supercomputing out of Recycled Garbage : Preliminary Experience with Piranha
David Gelernter
David Kaminsky
December 1991
YALEU/DCS/TR884 * PCGPAK 2 Benchmarks
Andrew Sherman
Mark Yan-Ming Chang
Martin H. Schultz
December 1991
YALEU/DCS/TR885 [.tex]
[.pdf] When
Do Extra Majority Gates Help?
Richard Beigel
December 1991
YALEU/DCS/TR886 [.pdf]
Translation of Pattern Matching and Other Context-free Normalization in
Haskell
Brian Boutel
December 1991
YALEU/DCS/TR887 [.pdf]
Program Builders as Alternatives to High-Level Languages
Shakil Ahmed
David Gelernter
December 1991
YALEU/DCS/TR888 [.pdf]
On the Numerical Solution of One-Dementional Intregal and Differential
Equations
Harold Page Starr,Jr.
December 1991
YALEU/DCS/TR889 [.pdf]
Incremental Computation via Partial Evaluation
Raman Sundaresh
January 1992
YALEU/DCS/TR890 * Fast Ineremental
Planarity Testing
Jeffery Westbrook
February 1992
YALEU/DCS/TR891 [.pdf]
A Robust Gradient Method for Determining Optical Flow
Michael J. Black
October 1991
YALEU/DCS/TR892 * An Interpersonal
Model of Goal-based Decision Making
Stephen Slade
March 1992
YALEU/DCS/TR893 [.pdf]
On the Rapid Evaluation of Trigometric Series
V. Rokhlin
Aloke Dutt
March 1992
YALEU/DCS/TR894 [.pdf]
Diagonal Forms of Translation Operators for the Helmholtz Equation in
3 Dimensions
V. Rokhlin
March 1992
YALEU/DCS/TR895 * Abstractions for
Parallel N-Body Simulations
Sandeep Bhatt
Marina Chen
Cheng-Yee Lin
Pangfeng Liu
March 1992
YALEU/DCS/TR896 [.pdf]
Parameterized Partial Evolutions: Semantic Specifications and Correctness
Proofs
C. Consel
S. Khoo
March 1992
YALEU/DCS/TR897 [.tex]
Pace Migration Algorithms Using Work Functions
Marek Chrobak
Laurence L. Larmore
Nick Reingold
Jeffery Westbrook
March 1992
YALEU/DCS/TR898 [.pdf]
Passive Robot Map Building with Exploration Scripts
Sean P. Engelson
Drew V. McDermott
March 1992
YALEU/DCS/TR899 [.pdf]
A Computational and Evvolutionary Perspective on the Role of Representation
in Vision
Michael J. Tarr
Michael J. Black
October 1991
YALEU/DCS/TR900 [.pdf]
Type Inference for Parametric Type Classes
Kung Chen
Martin Odersky
Paul Hudak
April 1992
YALEU/DCS/TR901 * A Gentle Introduction
to HASKELL
Paul Hudak
Joseph Fasel
April 1992
YALEU/DCS/TR902 [.pdf]
Systems of Negative Boolean Constraints
Martin Odersky
Kim Marriott
April 1992
YALEU/DCS/TR903 [.pdf]
On the Evaluation of Bessel Functions
Gregory Matvienko
April 1992
YALEU/DCS/TR904 [.pdf]
GEMMW: A Portable Level 3 Blas Winograd Variant of Strassen's Matrix-Matrix
Multiply Algorithm
Craig C. Douglas
Michael Heroux
Gordon Slishman
Roger M. Smith
May 1992
YALEU/DCS/TR905 Theory & Art
of Semantics-Directed Program Execution Monitoring
Amir Kishon
May 1992
YALEU/DCS/TR906 [.tex]
[.pdf] Computing
Arbitrary Symmetric Functions
Daniel A. Spielman
May 1992
YALEU/DCS/TR907 [.tex]
Fault Diagnosis in 33 Parallel Testing Rounds
Richard Beigel
Daniel A. Spielman
May 1992
YALEU/DCS/TR908 [.tex]
[.pdf] An Efficient
for Unconditionally Secure Secret Key Exchange
Michael Fischer
Rebecca Wright
May 1992
YALEU/DCS/TR909 [.pdf]
PEPM '92 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based
Program Manipulation
Charles Consel
May 1992
YALEU/DCS/TR910 * A Simple Tree
Data Structure for On-Line Problems
Jeffery Westbrook
May 1992
YALEU/DCS/TR911 [.pdf]
The Performance of Greedy Algorithms for On-Line Steiner Tree and Related
Problems
Jeffery Westbrook
D.C.K. Yan
May 1992
YALEU/DCS/TR912 [.pdf]
On-Line & Off-Line Partial Evaluation: Pemantic Specifications and
Correctness Proofs
Charles Consel
Siau Cheng Khoo
June 1992
YALEU/DCS/TR913 [.pdf]
On the Inverse Scattering Problem for the Helmholtz Equation in One Dimension
Yu Chen
June 1992
YALEU/DCS/TR914 [.pdf]
Mutable Abstract Datatypes
Paul Hudak
July 1992
YALEU/DCS/TR915 Inference Record
5th Workshop on Languages & Compilers for Parallel Programming
David Gelernter
August 1992
YALEU/DCS/TR916 [.pdf]
A Stable and Efficient Algorithm for the Rank-One Modification Eigenproblem
Ming Gu
Stanley Eisenstat
August 1992
YALEU/DCS/TR917 [.pdf]
Analysis of a QR Algorithm for Computing Singular Values
Shivkumar Chandrasekaran
Ilse Ipsen
August 1992
YALEU/DCS/TR918 [.pdf]
Uniform Stability of Markov Chains
Ilse Ipsen
Carl D. Meyer
September 1992
YALEU/DCS/TR919 * Finite Precision
Analysis of Inverse Iteration
Shivkumar Chandrasekaran
Ilse Ipsen
August 1992
YALEU/DCS/TR920 [.pdf]
Automated Fingerprint Identification: An Independent Study
Eric Mjolsness
Carol Crawford
August 1992
YALEU/DCS/TR921 [.pdf]
Task-Directed Computation of Qualitative Decisions from Sensor Data
Gregory D. Hager
August 1992
YALEU/DCS/TR922 * Model for Cooperative
Control of Positional Information in Drosophila by bcd and Maternal hb
John Reinitz
Eric Mjolsness
David H. Sharp
August 1992
YALEU/DCS/TR923 * Robust Incremental
Optical Flow
Michael Julian Black
September 1992
YALEU/DCS/TR924 [.pdf]
On Comparing Statistical and Set-Based Methods in Sensor Data Fusion
Gregory D. Hager
Sean Engelson
September 1992
YALEU/DCS/TR925 [.pdf]
Sensor Planning for Reactive Robotic Systems
Gregory D. Hager
Gerhard Grumwald
October 1992
YALEU/DCS/TR926 [.pdf]
Parareterized Partial Evaluation Principle and Practice
Siau Cheng Khoo
October 1992
YALEU/DCS/TR927 [.pdf]
The Rapid Solution of the Laplace Equation on Regions with Fractal Boundaries
Jin Hong Ma
October 1992
YALEU/DCS/TR928 [.tex]
[.pdf] ARS MAGNA:
The Abstract Robot Simulator Manual
Sean P. Engelson
Niklas Bertani
October 1992
YALEU/DCS/TR929 [.pdf]
Call-by-name, Assignment, and the Lambda-Calculus
Martin Odersky
Dan Rabin
Paul Hudak
October 1992
YALEU/DCS/TR930 [.pdf]
The Unexpurgated Call-by-name, Assignment, and the Lambda-Calculus
Martin Odersky
Dan Rabin
October 1992
YALEU/DCS/TR931 [.pdf]
Linda on Distributed Memory Multiprocessors
Robert Bjornson
November 1992
YALEU/DCS/TR932 [.pdf]
A Divide-and-Conquer Algorithm for the Symetric Tridiagonal Eigenproblem
Ming Gu
Stanley C. Eisenstat
November 1992
YALEU/DCS/TR933 [.pdf]
A Divide-and-Conquer Algorithm for the Bidiagonal SVD
Ming Gu
Stanley C. Eisenstat
November 1992
YALEU/DCS/TR934 [.pdf]
Relative Perturbation Theory for Eigenproblems
Ming Gu
Stanley C. Eisenstat
November 1992
YALEU/DCS/TR935 [.pdf]
Yale Haskell Users Manual Version Y2.0 Beta The
Yale Haskell Group
Paul Hudak
John Peterson
Sandra Loosemore
November 1992
YALEU/DCS/TR936 [.tex]
[.pdf] Inductive
Inference of Total Recursive Functions by Problemistic and Deterministic
Strategies
Martinch Krikis
Rusins Freivalds
November 1992
YALEU/DCS/TR937 [.pdf]
Loop Transformations for Massive Parallelism
Lee-Chung Lu
November 1992
YALEU/DCS/TR938 [.pdf]
Connectionist Grammars for High-Level Vision
Eric Mjolsness
November 1992
YALEU/DCS/TR939 [.pdf]
Downdating the Singular Value Decomposition
Ming Gu
Stanley C. Eisenstat
December 1992
YALEU/DCS/TR940 Analysis of Static
Condenstation for Laplace Equation on a Rectangle
Mark Yan-Ming Chang
Martin Schultz
December 1992
YALEU/DCS/TR941 [.tex]
[.pdf] Transformational
Planning of Reactive Behavior
Drew McDermott
December 1992
YALEU/DCS/TR942 [.pdf]
Relative Pertubation Techniques for Singular Value Problems
Stanley C. Eisenstat
Ilse C. F. Ipsen
December 1002
YALEU/DCS/TR943 [.pdf]
Some Remarks on Completely Vectorizing Point Gauss-Seidel While Using
the Natural Ordering
Craig C. Douglas
December 1992
YALEU/DCS/TR944 [.pdf]
A Fast Direct Algorithm for the Solution of the Laplace Equation on Regions
with Fractal Boundaries
P. Jones
J. Ma
V. Rokhlin
January 1993
YALEU/DCS/TR945 [.pdf]
Greedy Lagrangians for Neural Networks: Three Levels of Optimization in
Relaxation Dynamics
Eric Mjolsness
Willard Miranker
January 1993
YALEU/DCS/TR946 [.pdf]
Place Recognition Using Image Signatures
Sean Engelson
January 1993
YALEU/DCS/TR947 Class Notes on Interactive
Proof Systems
Richard Beigel
et al
January 1993
YALEU/DCS/TR948 [.pdf]
Some Problems in Adaptive Visual Servoing or How to Keep the Left Eye
From Knowing what the Right Eye is Doing
Greg Hager
January 1993
YALEU/DCS/TR949 [.pdf]
Mean Field Point Matching by Vernier Network and by Generalized Hough
Transform: Preliminary Report
Chien-Ping Lu
Eric Mjolsness
January 1993
YALEU/DCS/TR950 [.pdf]
DAMG: An Abstract Multilevel Solver
Craig Douglas
February 1993
YALEU/DCS/TR951 [.pdf]
DPMG: A Multilevel Solver for the Poisson Equation in Two and Three Dimensions
Craig Douglas
February 1993
YALEU/DCS/TR952 * Implementing Abstract
Multigrid or Multilevel Methods
Craig Douglas
February 1993
YALEU/DCS/TR953 [.pdf]
C++ Interval and Constraint Solving Package
Gregory D. Hager
John M. Lu
February 1993
YALEU/DCS/TR954 [.pdf]
Adaptive Parallelism with Piranha
Nicholas Carriero
David Gelernter
David Kaminsky
Jeffery Westbrook
February 1993
YALEU/DCS/TR955 [.pdf]
Numerical Solution of Flame Sheet Problems with and Without Multigrid
Methods
Craig Douglas
Alexandre Ern
February 1993
YALEU/DCS/TR956 [.pdf]
Ordering Times
Vincente Dornic
April 1993
YALEU/DCS/TR957 * Solving Large
Systems of Nonlinear Constraints with Application to Data Modeling
Greg Hager
April 1993
YALEU/DCS/TR958 * Experience with
the Linda Coordination Language and its Environment
N. Carriero
D. Gelernter
T. Mattson
April 1993
YALEU/DCS/TR959 [.pdf]
Partial Evaluation for Dictionary-free Overloading
Mark P. Jones
April 1993
YALEU/DCS/TR960 [.pdf]
Towards Geometric Decision Making in Unstructured Environments
Gregory D. Hager
May 1993
YALEU/DCS/TR961 * A Constraint-Based
View of Selective Perception
Gregory D. Hager
May 1993
YALEU/DCS/TR962 [.pdf]
On Expressing the Mutation of State in a Functional Programming Language
Juan Guzman
May 1993
YALEU/DCS/TR963 [.pdf]
A Type System for a Lambda Calculus with Assignments
Kung Chen
Martin Odersky
May 1993
YALEU/DCS/TR964 [.pdf]
A Syntactic Method Proving Observational Equivalence
Martin Odersky
May 1993
YALEU/DCS/TR965 [.pdf]
A Syntactic Theory of Local Names
Martin Odersky
May 1993
YALEU/DCS/TR966 [.pdf]
A Stable and Fast Algorithm for Updating the Singular Value Decompostion
Ming Gu
Stanley Eisenstat
May 1993
YALEU/DCS/TR967 [.pdf]
An Efficient Algorithm for Computing a Rank-Revealing QR Factorization
Ming Gu
Stanley C. Eisenstat
May 1993
YALEU/DCS/TR968 Workshop on STATE
in Program Languages
Paul Hudak
May 1993
YALEU/DCS/TR969 [.pdf]
Adaptive Parallelism on Multiprocessors: Preliminary Experience with Piranha
on the Ch-5
Nicholas Carriero
Eric Freeman
David Gelernter
May 1993
YALEU/DCS/TR970 [.pdf]
Optimization Dynamics for Partitioned Neural Networks
Dimitris I. Tsioutsias
Eric Mjolsness
May 1993
YALEU/DCS/TR971 * The Haskell-to-CL
Interface Document
John Peterson
Sheng Liang
June 1993
YALEU/DCS/TR972 [.pdf]
The Haskell X Users Manual
John Peterson
Sheng Liang
June 1993
YALEU/DCS/TR973 * On the Inverse
Scattering Problem for the Helmholtz Equation in Two Dimensions
Yu Chen
Vladimir Rokhlin
June 1993
YALEU/DCS/TR974 [.pdf]
Mean Field Point Matching by Vernier Network and by Generalized Hough
Transform
Chien-Ping Lu
Eric Mjolsness
June 1993
YALEU/DCS/TR975 [.pdf]
A Comparison of CPS, Linda, P4, POSYBL, PVM, and TCGMSG: Two Node Communication
Times
Craig C. Douglas
Timothy G. Mattson
Martin H. Schultz
June 1993
YALEU/DCS/TR976 [.pdf]
A Generalized Multigrid theory in the Style of Standard Iterative Methods
Craig C. Douglas
July 1993
YALEU/DCS/TR977 [.pdf]
Fast Algorithms for Polynomial Interpolation Integration and Differentiation
A. Dutt
M. Gu
V. Rokhlin
July 1993
YALEU/DCS/TR978 * Backward Errors
for Eigenvalue and Singular Value Decompositons
S. Chandrasekaran
I.C.F. Ipsen
July 1993
YALEU/DCS/TR979 [.pdf]
Modeling the Connection between Development and Evolution: Preliminary
Report
Eric Mjolsness
Charles D. Garrett
John Reinitz
David H. Sharp
July 1993
YALEU/DCS/TR980 [.pdf]
Fast Fourier Transforms for Nonequispaced Data II
Aloke Dutt
Vladimir Rokhlin
August 1993
YALEU/DCS/TR981 [.pdf]
Fast Fourier Transforms for Nonequispaced
Data
Aloke Dutt
August 1993
YALEU/DCS/TR982 [.pdf]
Implicit and Explicit Parallel Programming in Haskell
Mark P. Jones
Paul Hudak
August 1993
YALEU/DCS/TR983 [.pdf]
Piranha Scheduling: Strategies and Their Implememtations
David Gelernter
Mark R. Jourdenais
David Kaminsky
September 1993
YALEU/DCS/TR984 [.pdf]
Linda and Message Passing: What Have We Learned?
Nicholas Carriero
David Gelernter
September 1993
YALEU/DCS/TR985 [.pdf]
Program Transformation with Piecewise Linear Domain Morphism
Young-il Choo
J. Alan Yang
September 1993
YALEU/DCS/TR986 [.pdf]
Fast Fourier Transforms of Piecewise Constant Functions
Eugene Sorets
September 1993
YALEU/DCS/TR987 * On Iterative Techniques
for a Load Balancing Problem
Bhaskar Ghosh
Eric Mjolsness
Martin Schultz
September 1993
YALEU/DCS/TR988 [.pdf]
A Framework for Real-time Window-based Tracking Using Off-the-shelf Hardware
Greg Hager
Sidd Puri
Kentaro Toyama
September 1993
YALEU/DCS/TR989 [.pdf]
Coherence for Qualified Types
Mark P. Jones
September 1993
YALEU/DCS/TR990 [.pdf]
Generalized Gaussian Quadreture Rules for Systems of Arbitrary Functions
J. Ma
V. Rokhlin
S. Wandzura
September 1993
YALEU/DCS/TR991 * A Vision Based
Grasping System for Unfamiliar Planar Objects
Aage Bendiksen
Greg Hager
October 1993
YALEU/DCS/TR992 [.pdf]
Robot Feedback Control Based on Stereo Vision: Towards Calibration-Free
Hand-Eye Coordination
Greg Hager
Wen-Chung Chang
Steven Morse
October 1993
YALEU/DCS/TR993 [.pdf]
On Line Processes, Outlier Rejection, and Robust Statistics
Michael Black
Anand Rangarajan
October 1993
YALEU/DCS/TR994 [.pdf]
Experiments and Bounds on block Diagonal Preconditioning
Mark Yan-Ming Chang
Martin H. Schultz
November 1993
YALEU/DCS/TR995 [.pdf]
A Parallel 3D Parabolic Wave Equation Solver
Ding Lee
Diana Resasco
Martin H. Schultz
Faisal Saied
November 1993
YALEU/DCS/TR996 [.pdf]
Temporal Domain Parallelism: Does it Work?
Ashish Deshpande
Sachit Malhotra
Craig C. Douglas
Martin H. Schultz
November 1993
YALEU/DCS/TR997 [.pdf]
The Design of an Operating System for Modern Programming Languages
James Philbin
May 1993
YALEU/DCS/TR998 [.pdf]
Real-Time Feature Tracking and Projective Invarience as a Basis for Hand-Eye
Coordination
Greg Hager
November 1993
YALEU/DCS/TR999 [.tex]
[.pdf] On the
Power of Preemption
Jeffery Westbrook
January 1994
YALEU/DCS/TR1000 [.pdf]
Toward an Efficient Reliable Persistent Associative Shared-Object Memory
(Postition Paper)
David Gelernter
Jeff Westbrook
Lenore Zuck
November 1993
YALEU/DCS/TR1001 * Formal Reasoning
about PASO Systems
Lenore Zuck
November 1993
YALEU/DCS/TR1002 [.tex]
[.pdf] The
Power of Local Self-Reductions
Richard Beigel
November 1993
YALEU/DCS/TR1003 [.pdf]
Semantics and Coherence for Parametric Type Classes
Kung Chen
December 1993
YALEU/DCS/TR1004 [.pdf]
Composing Monads
M. Jones
Luc Duponcheel
December 1993
YALEU/DCS/TR1005 A Cache for Associative
Memory
Willard Miranker
December 1993
YALEU/DCS/TR1006 [.pdf]
Clustering with a Domain-Specific Distance Measure
Steven Gold
Eric Mjolsness
Anand Rangarajan
January 1994
YALEU/DCS/TR1007 [.pdf]
Two-Dimensional Object Localization by Coarse-to-Fine Correlation Matching
Chien-Ping Lu
Eric Mjolsness
January 1994
YALEU/DCS/TR1008 [.pdf]
Fluid Dynamicist Workbench
Ken Yip Young
January 1994
YALEU/DCS/TR1009 [.pdf]
Model Simplification by Asymptotic Order of Magnitude Reasoning
Ken Yip
January 1994
YALEU/DCS/TR1010 [.pdf]
Feature-Based Visual Serving and its Application to Telerobotics
Greg Hager
January 1994
YALEU/DCS/TR1011 * Piranha on the
Connection Machine CM-5
Eric Freeman
January 1994
YALEU/DCS/TR1012 [.pdf]
A Fault-Tolerant PASO for LANS
E. Freeman
D. Gelernter
J. Westbrook
L. Zuck
January 1994
YALEU/DCS/TR1013 [.tex]
[.pdf] Adaptive
Algorithms for PASO Memory
J. Westbrook
L. Zuck
January 1994
YALEU/DCS/TR1014 [.tex]
[.pdf] An Algorithm
for Probabilistic, Totally-Ordered Temporal Projection
Drew McDermott
January 1994
YALEU/DCS/TR1015 * On the Inverse
Sudtenny Problem for the Helmholtz Equation in Two Dimensions
Y. Chen
V. Rokhlin
February 1994
YALEU/DCS/TR1016 [.pdf]
Adaptive Parallelism and Piranha
N Carriero
E. Freeman
D. Gelernter
D. Kaminsky
February 1994
YALEU/DCS/TR1017 * A Functional
Approach to Adaptive Computation
Y. Choo
February 1994
YALEU/DCS/TR1018 * Demotational
Sengation of Object with Self Reference
Y. Choo
February 1994
YALEU/DCS/TR1019 [.tex]
[.pdf] Malicious
Membership Queries and Exceptions
Dana Angluin
Martin Krikis
March 1994
YALEU/DCS/TR1020 [.tex]
[.pdf] Exact
Learning of U-DWF Formulas with Malicious Membership Queries
D. Angluin
March 1994
YALEU/DCS/TR1021 [.pdf]
Adaptive Parallelism with Piranha
David Kaminsky
May 1994
YALEU/DCS/TR1022 [.pdf]
Dynamic Typing in Yale Haskell
John Peterson
March 1994
YALEU/DCS/TR1023 [.pdf]
Six DOF Visual Control of Relative Position
Greg Hager
March 1994
YALEU/DCS/TR1024 Static collecion
of Operations over Tuplespaces
Suresh Jagannathan
Pradeep Varma
April 1994
YALEU/DCS/TR1025 Full Resolution
of Partitionings in Tuplespace Analysis
Pradeep Varma
April 1994
YALEU/DCS/TR1026 Highly Concurrent
Kernels for Tuplespaces
Pradeep Varma
April 1994
YALEU/DCS/TR1027 A Dynamic Fully
Resolving Partitioning of Tuplespaces: Multiple Key-based Indexing
Pradeep Varma
April 1994
YALEU/DCS/TR1028 Control Flow Analysis
of Scheme Parallelized by First Class Tuplepaces
Pradeep Varma
April 1994
YALEU/DCS/TR1029 [.pdf]
Random Walks on Graphs: A Survey
Laszlo Lovasz
May 1994
YALEU/DCS/TR1030 [.pdf]
The Implentation of the Gofer Functional Programming System
Mark P. Jones
May 1994
YALEU/DCS/TR1031 [.pdf]
An Experiment Using Haskell to Prototype "Geometric Reion Servers"
for Navy Command and Control
William E. Carlson
Paul Hudak
Mark P. Jones
May 1994
YALEU/DCS/TR1032 [.tex]
Passive Map Learning and Visual Place Recognition
Sean Engelson
May 1994
YALEU/DCS/TR1033 [.pdf]
Solving the Exterior Orientation Problem without Initial Guesses
Chien-Ping Lu
Eric Mjolsness
May 1994
YALEU/DCS/TR1034 Robust and Aggressively
Robust Methods for the Absolute Orientation Problem
Anand Rangarajan
Eric Mjolsness
Steven Gold
May 1994
YALEU/DCS/TR1035 [.pdf]
Fast Algorithms for 2D and 3D Point Matching Pose Estimation and Correspondence
Steven Gold
Chien-Ping Lu
Anand Rangarajan
Suguna Pappu
Eric Mjolsness
May 1994
YALEU/DCS/TR1036 [.pdf]
An Optimizing Network Architecture that Works
Anand Rangarajan
Steven Gold
Eric Mjolsness
May 1994
YALEU/DCS/TR1037 [.pdf]
Learning with Preknowledge: Clustering with Point and Graph Matching Distance
Measures
Steven Gold
Anand Rangarajan
Eric Mjolsness
May 1994
YALEU/DCS/TR1038 * Methods for Realistic
Landscape Imaging
F. Kenton Musgrave
May 1994
YALEU/DCS/TR1039 * Grading Arithmetical
Operations and Functions
Willard Miranker
May 1994
YALEU/DCS/TR1040 [.pdf]
Simplifying and Improving Qualified Types
Mark Jones
June 1994
YALEU/DCS/TR1041 [.pdf]
Optimized Local Trigonometric Bases
Gregory Matviyenko
July 1994
YALEU/DCS/TR1042 [.pdf]
High-Order Connected Quadrature Rules, for Singular Functions
Sharad Kapur
Vladimir Rokhlin
July 1994
YALEU/DCS/TR1043 [.pdf]
A Higher Level Parallel Programming Environment
Shakil Waiz Ahmed
July 1994
YALEU/DCS/TR1044 [.pdf]
Model-Based Edge Selection for 2-D Object Recognition
Hemant D. Tagare
Drew McDermott
July 1994
YALEU/DCS/TR1045 [.pdf]
An Algorithm For the Fast Hankel Transform
Sharad Kapur
Vladimir Rokhlin
July 1995
YALEU/DCS/TR1046 [.pdf]
Online Computation of Exterior Orientation with Application to Hand-Eye
Calibration
Chien Ping Lu
Eric Mjolsness
Greg Hager
September 1994
YALEU/DCS/TR1047 [.pdf]
A Dynamic, Online Library for Historical Documents
Drew McDermott
David Gelernter
Jeffery Westbrook
Lenore Zuck
Don Waters
September 1994
YALEU/DCS/TR1048 [.pdf]
Efficient Retiming Under a General Delay Model
Marios Papaefthymiou
Kumar N. Lalgudi
September 1994
YALEU/DCS/TR1049 [.pdf]
Haskell vs. Ada vs. C++..., An Experiment in Software Prototyping Productivity
Paul Hudak
Mark P. Jones
July 1994
YALEU/DCS/TR1050 The Saturation
of Iterative Computation In Floating Point
Willard Miranker
Edgar Kaucher
October 1994
YALEU/DCS/TR1051 [.tex]
Fault Diagnosis in a Flash
Richard Beigel
Will Hurwood
Nabil Kahale
November 1994
YALEU/DCS/TR1052 [.pdf]
A Langrangian Relaxation Network for Graph Matching
Anand Rangarajan
Eric Mjolsness
November 1994
YALEU/DCS/TR1053 [.tex]
Dynamic Load Balancing with Limited Link Capacities
Bhaskar Ghosh
S. Muthukrishnan
November 1994
YALEU/DCS/TR1054 Unassigned
YALEU/DCS/TR1055 [.pdf]
On the Azimuthal Fourier Components of the Green's Function for the Helmholtz
Equation in Three Dimensions
G. Matviyenko
December 1994
YALEU/DCS/TR1056 [.pdf]
[.tex] Dynamic
Fault Diagnosis
William Hurwood
December 1994
[return to Technical Reports main page]
YALEU/DCS/TR1057 [.pdf]
A Parametric Extension of Haskell's Type Classes
Kung Chen
January 1995
YALEU/DCS/TR1058 [.tex]
Achieving Perfect Secrecy Using Correlated Random
Variables
Rebecca Wright
January 1995
YALEU/DCS/TR1059 [.tex]
Tracking Tools for Vison Based Navigation
Jiantao Huang
Gregory D. Hager
January 1995
YALEU/DCS/TR1060 [.pdf]
Keeping One's Eye on the Ball: Tracking Occluding Contours of Unfamiliar
Objects Without Distraction
Kentao Toyama
Greg Hager
January 1995
YALEU/DCS/TR1061 [.pdf]
A Continuation Method for Pose Estimation and Correspondence
Suguna Pappu
Steven Gold
Anand Rangarajan
January 1995
YALEU/DCS/TR1062 [.tex]
[.pdf] A Graduated
Assignment Algorithm for Graph Matching
Steven Gold
Anand Rangarajan
January 1995
YALEU/DCS/TR1063 [.pdf]
Fixed-phase Retiming for Low-power Design
Marios Papaefthymiou
Kumar N. Lalgudi
January 1995
YALEU/DCS/TR1064 [.tex]
Tight Analysis of Two-load Balancing Algorithms
B. Ghosh
F.T. Leighton
B.M. Maggs
S. Muthukrishnan
G. Plaxton
R. Rajaraman
A. Richa
A.E. Tarjan
D. Zuckerman
February 1995
YALEU/DCS/TR1065 [.tex]
Faster Diffusive Load Balancing Using Over Relaxation
Bhaskar Ghosh
S. Muthukrishnan
Martin Schultz
February 1995
YALEU/DCS/TR1066 Distributed Data
Structures, Fine Grained Coordination, and Effective Implementation
Pradeep Varma
February 1995
YALEU/DCS/TR1067 [.pdf]
A Modular Semantics for Compiler Ganeration
Sheng Liang
February 1995
YALEU/DCS/TR1068 [.pdf]
A Tutorial on Visual Servo Control
Greg Hager
Seth Hutchinson
Peter Corke
February 1995
YALEU/DCS/TR1069 [.tex]
[.pdf] A Type-Based
Compiler for Standard ML
Zhong Shao
Andrew W. Appel
February 1995
YALEU/DCS/TR1070 [.pdf]
The Lifestreams Approach to Reorganize the Information World
N. Carriero Suppt.
S. Fertig
E. Freeman
D. Gelernter
April 1995
YALEU/DCS/TR1071 [.pdf]
A Model for 3D Interaction with Hierarchical Information Spaces
Elisabeth Freeman
Susanne Hupfer
April 1995
YALEU/DCS/TR1072 Cellular Embeddings
and Network Flow
Jeff Westbrook
May 1995
YALEU/DCS/TR1073 [.pdf]
In search of Simple Visual Vocabulary
D. Gelernter
E. Freeman
May 1995
YALEU/DCS/TR1074 [.pdf]
A Modular System for Robust Positioning Using Feedback for Stereo Vision.
Greg Hager
May 1995
YALEU/DCS/RR/1075 Proceedings of
Haskell Workshop.
P. Hudak
May 1995
YALEU/DCS/TR1076 [.pdf]
ON The Jacobi Polynomial Pn(a-b).
G. Matviyenko
June 1995
YALEU/DCS/TR1077 On Line Pose Estimation
and Model Matching.
Chien-Ping Lu
June 1995
YALEU/DCS/TR1078 [.pdf]
X-vision System: A Portable Substrate for Real-Time Vision Applications
Greg Hager
June 1995
YALEU/DCS/TR1079 [.pdf]
Mind and Interference Effects on Computation
William Miranker
June 1995
YALEU/DCS/TR1080 [.tex]
Closure Properties of Gap P and #P.
Richard Beigel
June 1995
YALEU/DCS/TR1081 [.pdf]
On the Riccati for the Scattering Matrices in Two Dimension Neurosciences
(CTAN)
Y. Chen
V. Rokhlin
June 1995
YALEU/DCS/TR1082 [.tex]
[.pdf] *Revised
edition of RR-1036
A novel optimizing network architecture with applications
Anand Rangarajan
Steven Gold
Eric Mjolsness
August 1995
YALEU/DCS/TR1083 [.pdf]
Lifestreams: Organizing Your Electronic Life
Eric Freeman
Scott Fertig
August 1995
YALEU/DCS/TR1084 [.pdf]
Application of High-Order Quadratures to the Evaluation Q Fourier &
Hankel Transforms
Sharad Kapur
September 1995
YALEU/DCS/TR1085 Unassigned
YALEU/DCS/TR1086 [.tex]
[.pdf] Convex
Hulls of f- and ß-Vectors
Dmitry N. Kozlov
September 1995
YALEU/DCS/TR1087 [.tex]
[.pdf] Coins
and Cones
Dmitry N. Kozlov
Van H. Vu
September 1995
YALEU/DCS/TR1088 [.pdf]
Recursive Linearization for Inverse Scattering
Y. Chen
September 1995
YALEU/DCS/TR1089 [.pdf]
An Improved Fast Multiple Algorithm for Potential Fields
T. Hrycak
V. Rokhlin
September 1995
YALEU/DCS/TR1090 [.pdf]
Finding and Reminding Reconsidered
Soctt Fertig
Eric Freeman
David Gerlernter
September 1995
YALEU/DCS/TR1091 [.pdf]
Inverse Scattering via Heisenberg's Uncertainty Principle
Yu Chen
November 1995
YALEU/DCS/TR1092 [.tex]
Random Walks and on 0*(n5) Volume Algotithms for
Convex Bodies
R. Kannan
Laszlo Lovasz
November 1995
YALEU/DCS/TR1093 An Abstract Description
of Lifestreams
Eric Freeman
November 1995
YALEU/DCS/TR1094 [.tex]
Meta Information in Visual Programming
Beth Freeman
David Gelernter
December 1995
YALEU/DCS/TR1095 [.pdf]
Sparse Diagonal Forms for Translation Operators for the Helmholtz Equation
in Two Dimensions
Vladimir Rokhlin
December 1995
[return to Technical Reports main page]
YALEU/DCS/TR1096 [.pdf]
Lifestreams: A Storage Model for Personal Data
Eric Freeman
David Gelernter
January 1996
YALEU/DCS/TR1097 Anticipating and
Forestalling Execution Failures in Structured Reactive Plans
Michael Beetz
February 1996
YALEU/DCS/TR1098 [.pdf]
Lifestreams: Bigger than Elvis
N. Carriero
S. Fertig
E. Freeman
D. Gelernter
March 1996
YALEU/DCS/TR1099 [.tex]
Reversal of Markov Chains and the Forget Time
L. Lovasz
April 1996
YALEU/DCS/TR1100 [.tex]
Mixing Times for Uniformly Ergodic Markov Chains
L. Lovasz
April 1996
YALEU/DCS/TR1101 [.tex]
The Membership Problem in Jump Systems
L. Lovasz
April 1996
YALEU/DCS/TR1102 Optimizing Systems
for Effective Block Processing: The K-Delay Problem
Kumar W. Lalgudi
Marios Papaefthymious
April 1996
YALEU/DCS/TR1103 Robot navigation
Using Image Sequences
Christopher Rasmussen
Gregory D. Hager
April 1996
YALEU/DCS/TR1104 [.pdf]
[.tex] Lectures
on Network Complexity
Michael Fischer
April 1996
YALEU/DCS/TR1105 The Haskell 1.3
Library Version
Paul Hudak
Phillip Wadler
John Peterson
April 1996
YALEU/DCS/TR1106 The Haskell 1.3
Language Version
Paul Hudak
April 1996
YALEU/DCS/TR1107 [.pdf]
Calculi for Functional Programming Languages with Assignment
Daniel Eli Rabin
May 1996
YALEU/DCS/TR1108 A Characterization
of Mapping Unstructured Grids onto Structured Grids and Using Multigrid
as a Preconditioner
S. Malhotra
C.C. Douglas
May 1996
YALEU/DCS/TR1109 [.pdf]
Generalized Caussian Quadratures and Singular Value Decompositions of
Intregal Operators
V. Rokhlin
N. Yarvin
May 1996
YALEU/DCS/TR1110 Inverse Scattering
via Skin Effect
Yu Chen
May 1996
YALEU/DCS/TR1111 [.pdf]
Computational Measures of Similarity for Probabilistic Functions
Michael J. Fischer
Sophia A. Paleologou
June 1996
YALEU/DCS/TR1112 [.pdf]
On-line Pose Estimation and Model Matching
Chien-Ping Lu
June 1996
YALEU/DCS/TR1113 Principal Component
Analysis for Place Recognition
Jonathan Wang
Zachary Dodds
Willard Miranker
June 1996
YALEU/DCS/TR1114 Tracking Objects
by Color Alone
C. Rasmussen
K. Toyama
G. Hager
September 1996
YALEU/DCS/TR1115 [.pdf]
A New Version of the Fast Multipole Method for the Laplace Equation in
three Dimensions
Leslie Greengard
Vladimir Rokhlin
September 1996
YALEU/DCS/TR1116 [.tex]
Molecular Computing, Bounded Nondeterminism, and
Efficient Recursion
Richard Beigel
Bin Fu
October 1996
YALEU/DCS/TR1117 [.tex]
A Comparison of Resource-Bounded Molecular Computation
Models
Bin Fu
Richard Beigel
October 1996
YALEU/DCS/TR1118 [.tex]
One Help Bit Doesn't
Richard Beigel
Tizra Hirst
November 1996
YALEU/DCS/TR1119 [.pdf]
An Improved Fast Multipole Algorithm for Potential Fields in One Dimension
N. Yarvin
V. Rokhlin
September 1996
YALEU/DCS/TR1120 Proof of the Properties
for Constrained Types
Martin Sulzmann
December 1996
[return to Technical Reports main page]
YALEU/DCS/TR1121 Locating Landmarks
Using Color
Zachary Dodds
Greg Hager
February 1997
YALEU/DCS/TR1122 Efficient Region
Tracking with Parametric Models of Geometry and Illumination
Greg Hager
Peter Belhumeur
February 1997
YALEU/DCS/TR1123 Hugs 1.4 Users
Manual
John Petrson
Mark Jones
March 1997
YALEU/DCS/TR1124 Collaboratiave
Applications Experience with the Bauhaus Coordination Language
N. Carriero
D. Gelernter
S. Hupfer
January 1997
YALEU/DCS/TR1125 Flexible Representation
Analysis
Zhong Shao
March 1997
YALEU/DCS/TR1126 Typed Cross-Module
Compilation
Zhong Shao
March 1997
YALEU/DCS/TR1127 [.pdf]
Selections of Term Papers for CS 426/477 for 95, 96
Willard Miranker
authors et al
April 1997
YALEU/DCS/TR1128 Designing Record
Systems
Martin Sulzman
April 1997
YALEU/DCS/TR1129 Type Inference
With Constrained Types
Martin Sulzmann
May 1997
YALEU/DCS/TR1130 Teachers, Learners
and Black Boxes
Dana Angluin
Martin Krikis
May 1997
YALEU/DCS/TR1131 From Malicious
to Random Errors - The Bottle Shooting Game
Dana Angluin
Martin Krikis
May 1997
YALEU/DCS/TR1132 [.tex]
Consciousness is an Information Field Induced by
Hebbian Dynamics
Willard Miranker
May 1997
YALEU/DCS/TR1133 Programming in
Distributed Systems Logic
Kevin Lynch
June 1997
YALEU/DCS/TR1134 The Lifestreams
Software Architecture
Eric Freeman
May 1997
YALEU/DCS/TR1135 [.pdf]
Principled Dynamic Code Improvement
Joh Peterson
Paul Hudak
G.S. Ling
July 1997
YALEU/DCS/TR1136 [.pdf]
Consciousness is an Information State Induced by Hebbian Dynamics (revised
edition of tr1132
Willard Miranker
August 1997
YALEU/DCS/TR1137 Modeling Control
for Mobile Manipulation in Everyday Environments
Hager
Kentar
September 1997
YALEU/DCS/TR1138 [.tex]
What Visual Tasks are Decidable With an Uncalibrated
Stereo System
J.P.Hespanha
Zachary Dodds
G.D. Hager
October 1997
YALEU/DCS/TR1139 Towards Wide-Area
Netowrk Piranha: Implementing Java-Linda
Andrew Smith
November 1997
YALEU/DCS/TR1140 Modular Monadir
Semantics and Compilation
Sheng Liang
December 1997
YALEU/DCS/TR1141 Unassigned
[return to Technical Reports main page]
YALEU/DCS/TR1142 [.pdf]
A Generalized One-Dimensional Fast Multipole Method with Application to
Filtering of Spherical Harmonics
Norman Yarvin
Vladimir Rokhlin
January 1998
YALEU/DCS/TR1143 [.pdf]
Spectral Deferred Correction Method for Ordinary Differential Equations
Alok Dutt
Leslie Greengard
Vladimir Rokhlin
January 1998
YALEU/DCS/TR1144 Interfacing Hugs
and COM
William Javorcik
John Peterson
January 1998
YALEU/DCS/TR1145 Fast and Globally
Convergent Pose Estimation From Video Images
Chien-Ping Lu
Greg Hager
Eric Mjolsness
February 1998
YALEU/DCS/TR1146 [.tex]
Area and Length Minimizing Flows for Shape Segmentation
Kaleem Siddiqi
Yves Berube Lauziere
Allen Tannenbaum
Steven W. Zucker
March 1998
YALEU/DCS/TR1147 [.tex]
Shock Graphs and Shape Matching
Kaleem Siddiqi
Ali Shokoufandeh
March 1998
YALEU/DCS/TR1148 [.tex]
Matching Hierarchical Structures Using Association
Graphs
Marcell Pelillo
Kaleem Siddiqi
Steven Zucker
March 1998
YALEU/DCS/TR1149 [.tex]
Replicator Equations Maximal Cliques and Graph Isomorphism
Marcello Pelillo
March 1998
YALEU/DCS/TR1150 [.tex]
On the Psycholphysics of the Shape Triangle
Kaleem Siddiqi
Benjamin B. Kimia
Allen Tannenbaum
Steven Zucker
February 1998
YALEU/DCS/TR1151 An Improved Operator
Expansion Algorithm for Direct and Inverse Scattering Computations
R. Coifman
M. Goldberg
T. Hrycak
M. Israeli
V. Rokhlin
May 1998
YALEU/DCS/TR1152 Selections of
Fall 97 Term for CS 477/577
Neural Networks and Applications, Fall 1997
Willard Miranker
June 1, 1998
YALEU/DCS/TR1153 [.pdf]
Combining Variational Calculus and Wavelets for Image Enhancement
R. Coifman
A. Sowa
June 1998
YALEU/DCS/TR1154 An Intermediate
Meta-Language For Program Transformation
Mark Tullsen
Paul Hudak
June 1998
YALEU/DCS/TR1155 Polymorphism and
Constraints in Hindley/Milner Style Type System
Martin Sulzmann
July 1998
YALEU/DCS/TR1156 An Alternative
Operator Expansion Formalism for Electromagnetic Scattering From a Perfectly
Conducting Rough Surface
Maxim J. Goldberg
July 1998
YALEU/DCS/TR1157 Using
Type Systems for Architecture Based Analysis
Martin Sulzmann
John Peterson
July 1998
YALEU/DCS/TR1158 [.pdf]
A Fast Adaptive Multipole Algorithm in Three Dimensions
H. Cheng
L. Greengard
V. Rokhlin
August 1998
YALEDCS/TR1159 Optimal Type
Lifting
Zhong Shao
Bratin Saha
July 1998
YALEU/DCS/TR1160 Implementing Typed
Intermediate Languages
Zhong Shao
Christopher League
Stefan Monnier
July 1998
YALEU/DCS/TR1161 Parameterized
Signatures and Higher-Order Modules
Zhong Shao
July 1998
YALEU/DCS/TR1162 Safe and Modular
Language Interoperation
Valery Trifonov
July 1998
YALEU/DCS/TR1163 Analysis of the
Direct Fourier Method for Computer Tomography
Johan Walden
September 1998
YALEU/DCS/TR1164 Prototyping
Real-Time Vision Systems: An Experiment in DSL Design
A. Reid
John Peterson
Greg Hager
Paul Hudak
October 1998
YALEU/DCS/TR1165 The Planning Domain
Definition Language Supported by BBN
Drew McDermott
October 1998
YALEU/DCS/TR1166 Subtransitive
CFA Usin Types YALE University and Bell Laboratories
Bratin Saha
Nevin Heintze
Dino Oliva
October 1998
YALEU/DCS/TR1167 Learning Monotone
DNF With Random Errors in Membership Queries
Dana Angluin
Martin Krikis
November 1998
YALEU/DCS/TR1168 Quadrature
Rules on Triangles in R2
Stephen Wandzura
Hong Xiao
November 1998
YALEU/DCS/TR1169 [.pdf]
Non-linear Optimization, Quadratures, and Interpolation
H. Cheng
V. Rokhlin
N. Yarvin
December 1998
YALEU/DCS/TR1170 Towards a Principled
Common Runtime Environment
Zhong Shao
December 1998
YALEU/DCS/TR1171 Formal Semantics
of the FLINT Intermediate Language
Christopher League
Zhong Shao
December 1998
YALEU/DCS/TR1172 The
FLINT Optimizer
S. Monnier
Z. Shao
December1998
YALEU/DCS/TR1173 Encoding Java
Classes in a Typed Intermediate Language
C. League
Z. Shao
V. Trifonov
December 1998
[return to Technical
Reports main page]
YALEU/DCS/TR1174 Visual Learning
for Collision Avoidance in a Simulated Environment
C. Rasmussan
January 1999
YALEU/DCS/TR1175 Handling Exceptions
in Haskell
Reid
January 1999
YALEU/DCS/TR1176 [.pdf]
Quadruple and Octuple Layer Potentials in Two Dimensions: Analytical Apparatus
P. Kolm
V. Rokhlin
March 1999
YALEU/DCS/TR1177 A Quantum State
Model of Consciousness
Willard Miranker
April 1999
YALEU/DCS/TR1178 [.pdf]
The Pseudopolar TFT and its Application
A. Averbuch
R. Coifman
D. Donoho
M. Israeli
J. Walden
YALEU/DCS/TR1179 On the Evolution
of the Skeleton
Jonas August
Allen Tannenbaum
Steven Zucker
YALEU/DCS/TR1180 Representing Java
Classes in a Typed Intermediate Language
Christopher League
Zhong Shao
Valery Trivonov
May 1999
YALEU/DCS/TR1181 Transparent Modules
with Fully Syntactic Signatures
Zhong Shao
May 1999
YALEU/DCS/TR1182 Scaling Proof-Carrying
Code to Production Compilers and Security Policies
Andrew W. Appel
Edward Felton
Zhong Shao
May 1999
YALEU/DCS/TR1183 Contour Fragment
Grouping and Shared, Simple Occluders
Jonas August
Kaleem Siddiqi
Steven Zucker
May 1999
YALEU/DCS/TR1184 Solving the Compressible
Euler and Navier-Stokes Equations with the Filter Bauk Method
Johan Walden
July 1999
YALEU/DCS/TR1185 [.pdf]
Coulomb Interaction on Planar Structures: Inverting the Square Root of
the Laplacian
Zydrunas Bimbutas
Leslie Greengard
Michale Minion
July 1999
YALEU/DCS/TR1186 On the Method
of Images for Systems of Closely Spaced Conducting Spheres
Hongwei Cheng
September 1999
YALEU/DCS/TR1187 [.pdf]
Progressive Wavelet Package Image Cooling Using Compatible Zerotree Quantization
N. Rajpoot
F. Meyer
R. Coifman
R. Wilson
September 1999
YALEU/DCS/TR1188 [.pdf]
The Robot, the Grid, and the Algorithm
Chinda Wongngamnit
Dana Angluin
December 1999
YALEU/DCS/TR1189 Cross-Functor
Inlining in FLINT
Stefan Monnier
Matthias Blume
Zhong Shao
YALEU/DCS/TR1190 [.pdf]
Numerical Quadratures for Singular and Hypersingular Integrals
V. Rokhlin
P. Kolm
December 1999
YALEU/DCS/TR1191 [.pdf]
The Zip Calculus
Mark Tullsen
YALEU/DCS/TR1192 Image Texture
Flaw: Representation Local Modeling and Implications
Ohad Ben-Shahar
Steven Zucker
YALEU/DCS/TR1193 Inlining
as Staged Computation
Stefan Monnier
Zhong Shao
YALEU/DCS/TR1194 Reflexive Intensional
Type Analysis
Bratin Saha
Valery Trivonov
Zhong Shao
YALEU/DCS/TR1195 Platform-independent
Framework for Verifying Integer Constraints
David Teller
Zhong Shao
YALEU/DCS/TR1196 [.pdf]
A Procedure for the Design of Apparata for the Measurement and Generation
of Band-Limited Signals
V. Rokhlin
March 2000
YALEU/DCS/TR1197 Fully Reflexive
Intensional Type Analysis in a Type Erasure Framework
Bratin Saha
Valery Trifonov
Zhong Shao
YALEU/DCS/TR1198 [.pdf]
Well-Conditioned Boundary Integral Equations Contopanagos for Three Dimensional
Electromagnetic Embart Scattering
Harry Benjamin
Michael Epton
John J. Ottusch
Vladimir Rokhlin
John Visher
Stephen Wandzura
[return to Technical
Reports main page]
YALEU/DCS/TR1199 [.pdf]
Prolate Spheroidal Wave Functions, Quadrature and Interpulation Support:
DARPA
Hong Xiao
Vladimir Rokhlin
Norman Yarvin
June 2000
YALEU/DCS/TR1200 [.pdf]
Neural Net Term Projects CS477/577; 2000
W.L. Miranker
June 2000
YALEU/DCS/TR1201 Quadruple and
Octuple Layer Potentials in Two Dimensions
Petter N. Kolm
May 2000
YALEU/DCS/TR1202 [.pdf]
A Generalized Fast Multipole Method for Non-Oscillatory Kernals
Vladimir Rokhlin
Zydrunas Gimbutas
July 2000
YALEU/DCS/TR1203 [.pdf]
Nonmonotonicity, User Interfaces, and Risk Assessment in Certificate Revocation
(Position Paper)
Ninghui Li
Joan Feigenbaum
October 2000
YALEU/DCS/TR1204 [.ps]
Compiling Haskell to Java Support: Intermetrics Inc. Grant - Hudak Grant
exp. date: 8/2/97
"CAETI Program" Computer Aided Education and Training Initiative
Mark Tullsen
May 1996
YALEU/DCS/TR1205 [.ps]
Principled Scavenging
Stefan Monnier
November 2000
YALEU/DCS/TR1206 [.pdf]
Competition and Cooperation in Neuronal Processing with application to
associative memory
Haim Bar
Alexander Ambash
Willard Miranker
November 2000
YALEU/DCS/TR1207 [.pdf]
[.ps] A Simple Game for the Study
of Trust in Distributed Systems
Zoe Diamadi
Michael J. Fischer
January 2001
YALEU/DCS/TR1208 [.pdf]
Neural Net Term Projects CS 477-577/ Fall
2000
W.L. Miranker
[return to Technical Reports main page]
YALEU/DCS/TR1209 Type-Preserving
Compilation of Featherweight Java
Chrisopher League
Valery Trifonov
Zhong Shao
March 2001
YALEU/DCS/TR1210 [.pdf]
Secure Multiparty Computation of Approximations
Joan Feigenbaum
Yuval Ishay
Tal Malkin
Kobbi Nissim
Martin Strauss
Rebecca Wright
March 2001
YALEU/DCS/TR1211 A Type System
for Certified Binary
Zhong Shao
Bratin Saha
Valery Trifonov
Nikolas Papaspyrou
YALEU/DCS/TR1212 [.pdf]
Approximation and Collusion in Multicast Cost Sharing Sharing
Joan Feigenbaum
Arvind Krishnamurthy
Rahul Sami
Scott Shenker
April 2001
YALEU/DCS/TR1213 [.pdf]
Prolate Spheroidal Wave Functions, Quadrature, Interpolation, and Asymtotic
Formulae
Hong Xiao
May 2001
YALEU/DCS/TR1214 [.pdf]
The Prisoner's Dilemma and Predator-Prey Coevolution
Joel Pomerantz
Willard Miranker
August 2001
YALEU/DCS/TR1215 [.pdf]
The Renormalization of Information
Willard Miranker
August 2001
YALEU/DCS/TR1216 High-Frequency
Asymptotic Expansions for Certain Prolate Spheroidal Wave Functions
Hong Xiao
Vladimir Rokhlin
August 2001
YALEU/DCS/TR1217 Comparing Object
Encodings for Typed Intermediate Languages
Christopher League
Valery Trifonov
September 2001
YALEU/DCS/TR1218
YALEU/DCS/TR1219 [.ps]
Concrete Conjunctive Complexity of Symmetric Functions
Joan Boyar
Rene Peralta
Denis Pochuev
November 2001
YALEU/DCS/TR1220 [.ps]
Fast Mixnets for Small Message Spaces
Rene Peralta
Sheng Zhong
November 2001
YALEU/DCS/TR1221 YALE FRP User's
Manual
Paul Hudak
November 2001
[return to Technical
Reports main page]
YALEU/DCS/TR1222 [.pdf]
[.ps] Counting
Predicates of Conjunctive Complexity One supported in part by NSF grant
CCR-0081823
Michael Fischer
Rene Peralta
December 2001
Revised Feb.2002
YALEU/DCS/TR1223 Precision in Practice:
A Typing-Preserving Compiler for Java Funded
by DARPA
Chris League
Zhong Shao
Valery Trifonov
March 2002
YALEU/DCS/TR1224 A Syntactic Approach
to Foundational Proof-Carrying Code
Nadeem A. Hamid
Zhong Shao
Valery Trifonov
Stefan Monnier
Zhaozhong Ni
March 2002
YALEU/DCS/TR1225 High Assurance
Common Language Runtime Funded by DARPA
Andrew Appel
Zhong Shao
Valery Trifonov
David Walker
March 2002
YALEU/DCS/TR1226 [.pdf]
Path Integrals of Information
Willard L. Miranker
March 2002
YALEU/DCS/TR1227 [.pdf]
Neural Net Reports CS 477/577
Willard L. Miranker
April 2002
YALEU/DCS/TR1228 Type Preserving
Compilation of Featherweight IL Funding: DARPA
Dachuan Yu
Valery Trifonov
Zhong Shao
YALEU/DCS/TR1229 [.pdf]
PATH, a Program Transformation System for Haskell (Dissertation Director:
Paul Hudak)
Mark Anders Tullsen
May 2002
YALEU/DCS/TR1230 [.pdf]
Consciousness and the Scientific Method
Willard Miranker
May 2002
YALEU/DCS/TR1231
Carsten Schurmann
June 2002
YALEU/DCS/tr1232 [.ps]
Hardness Results for Multicast Cost Sharing
Joan FeigenbTRm
Arvind Krishnamurthy
Rahul Sami
Scott Shenker
YALEU/DCS/TR1233 [.pdf]
Second Kind Integral Equations for Scattering by Open Surfaces I: Analytical
Apparatus
Shidong Jiang
V. Rokhlin
August 2002
YALEU/DCS/TR1234 [.pdf]
Quantum Neurons
Willard L. Miranker
August 2002
YALEU/DCS/TR1235 [.ps]
Sprite: A simple, cheat-proof, credit-based system for mobile ad-hoc networks
sponsored in part by NSF grant #ANIR-0207399
Sheng Zhong
Yang Richard Yang
Jiang Chen
July 2002
YALEU/DCS/TR1236 Incorporating
the Torrance and Sparrow Model of Reflectance in Uncalibrated Photometric
Stereo
Athinodoros Georghiades
October 2002
YALEU/DCS/TR1237 A Type System
for Certified Runtime Type Analysis
Bratin Saha
June 2002
YALEU/DCS/TR1238 A Type-Preserving
Compiler Infrastructure
Christopher League
June 2002
YALEU/DCS/TR1239 [.pdf]
[.ps file] Analyzing
DoS-Resistance of Protocols Using a Cost-Based Framework Supported in
part by a 2001 Dept. of Defense NDSEG Fellowship
and ONR Grant N00014-01-1-0447
Vijay Ramachandran
July 2002
YALEU/DCS/TR1240 Intensional Analysis
of Higher-Kinded Recursive Types supported in part by DARPA OASIS NSF
ITR-grant CCR-0081590, and PGSA-242848-2001
Gregory D. Collins
Zhong Shao
YALEU/DCS/TR1241 [.pdf]
Verifiable Distributed Oblivious Transfer
Sheng Zhong
Yang Richard Yang
October 2002
YALEU/DCS/TR1242 Typed Regions
Stefan Monnier
Zhong Shao
YALEU/DCS/TR1243 [.ps]
fixclock: Removing Clock Artifacts from Communication Timestamps
Raphael S. Ryger
December 2002
[return to Technical
Reports main page]
YALEU/DCS/TR1244 [.pdf]
Second-Kind Integral Equations for Scattering by Open Surfaces II
S.Jiang
V. Rokhlin
January 2003
YALEU/DCS/TR1245 [.pdf]
Computing Diameter in the Streaming and Sliding-Window Models
Joan Feigenbaum
Sampath Kannan
Jian Zhang
December 2002
YALEU/DCS/TR1246 Generalized ______
Wave Functions support: DARPA
Ronald Coifman
Stephane Lafon
December 2002
YALEU/DCS/TR1247 [.ps]
[.pdf] Building Certified Libraries
for PCC: Dynamic Storage Allocation support: DARPA
Dachuan Yu
Nadeem A. Hamid
Zhong Shao
December 2002
YALEU/DCS/TR1248 [.pdf]
Neural Net Applications
Willard Miranker
March 2003
YALEU/DCS/TR1249 [.ps]
Annotation and Computational Geometry in the Streaming Model
Joan Feigenbaum
Sampath Kannan
Jian Zhang
May 2003
YALEU/DCS/TR1250 [.pdf]
[.ps]
Design Principles of Policty Languages for Path Vector Protocols
Timothy G. Griffin
Aaron D. Jaggard
Vijay Ramachandran
May 2003
YALE DCS/TR1251 [.pdf]
On the Compression of Low Rank Matrices
H. Cheng
Z. Gimbutas
P.G. Martinsson
V. Rokhlin
July 2003
YALE DCS/TR1252 [.pdf]
Approximating x^2 mod N by a function f: N -> N
Rene Peralta
Jatin Shah
June 2003
YALE DCS/TR1253 Dance: A Language
for Humanoid Robot Motion
Liwen Huang
Paul Hudak
July 2003
YALE DCS/TR1254 [.pdf]
Representing Reductions of NP-Complete Problems in Logical Frameworks
Carsten Schuermann
Jatin Shah
August 2003
YALE DCS/TR1255 [.pdf]
Privacy-Preserving Algorithms for Distributed Mining of Frequent Itemsets
Sheng Zhong
August 2003
YALE DCS/TR1256 .pdf
file [.ps]
Factoring Report
Adam Poswolsky
September 29, 2003
(revised 11/19/03)
YALE DCS/TR1257 [.ps]
Rigidity, Complexity, and Randomization in Network Localization
Tolga Eren
David Goldenberg
Walter Whiteley
Yang Richard Yang
Stephen Morse
Brian D.O. Anderson
Peter Belhumeur
November 2003
YALE DCS/TR1258 [.ps]
Mechanism Design for Policy Routing
Rahul Sami
Scott Shenker
Joan Feigenbaum
November 2003
YALE DCS/TR1259 [.pdf]
An Algebraic Theory of Polymorphic Temporal Media
Paul Hudak
August 2003
YALE DCS/TR1260 [.pdf]
[.ps] The Exact Multiplicative Complexity
of the Hamming Weight Function
Rene Peralta
November 2003
YALE DCS/TR1261 [.pdf]
Jump Relations of the Quadruple Layer Potential on a Regular Surface in
Three Dimensions Support: Dapra Grant #MDA972-00-1-0033, ONR Grant #N0001401-1-0364
S. Jiang
Nov. 2003
YALE DCS/TR1262 [.ps]
On Graph Problems in a Semi-Streaming Model
Joan Feigenbaum
Sampath Kannan
Andrew McGregor
Siddharth Suri
Jian Zhang
December 2003
YALE DCS/TR1263 A Hybrid Approach
to Overlay Networks
Anthony Young
Adam Poswolsky
Arvind Krishnamurthy
Randolph Wang
December 2003
YALE DCS/TR1264 [.pdf]
A Fast direct solver four boundary integral equations in two dimensions
Support ONR N00014-01-1-0364
P.G. Martinsson
V. Rokhlin
December 2003
YALE DCS/TR1265 [.pdf]
Towards Mobility as a Network Control Primitive
David Goldenberg
Jie Lin
A. Stephen Morse
Brad Rosen
Y. Richard Yang
December 2003
YALEU/DCS/TR1266 Mechanics of Materials
With Periodic Truss or Frame Micro-Structures I: Korn's Inequality Army
Research Office DAAD 19-99-1-014
P.G. Martinsson
I. Babuska
December 13, 2003
YALEU/DCS/TR1267 Mechanics of Materials
With Periodic Truss or Frame Micro-Structures II: Homogenization Army
Research Office DAAD 19-99-1-014
P.G. Martinsson
I. Babuska
December 13, 2003
YALEU/DCS/TR1268 not assigned
[return to Technical Reports main page]
YALEU/DCS/TR1269 Fast Monte Carlo
Algorithms for Matrices I: Approximating Matrix Multiplication
P. Drineas
R. Kannan
M.W. Mahoney
February 2004
YALEU/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
YALEU/DCS/TR1271 Fast Monte Carlo
Algorithms for Matrices III: Computing on Efficient Approximation Decomposition
of a Matrix
P. Drineas
R. Kannan
M.W. Mahoney
February 2004
YALEU/DCS/TR1272 [.pdf]
The V-Calculus Functional Programming with Higiher-order Encodings
Carsten Schuermann
Adam Poswolsky
Jeffrey Sarnat
November 2004
YALEU/DCS/TR1273 [.pdf]
Neural Net Applications
Willard Miranker
February 2004
YALEU/DCS/TR1274 [.ps]
Polylogarithmic Inapproximability of the Radio Broadcast Problem
Michael Elkin
Guy Kortsarz
February 2004
YALEU/DCS/TR1275 [.ps]
Efficient Algorithms for Constructing $(1+\epsilon,\beta)$-Spanners in
the Distributed and Streaming Models
Michael Elkin
Jian Zhang
February 2004
YALEU/DCS/TR1276 Load-Balancing
and Locality in Range-Queriable Data Structures
James Aspnes
Jonathan Kirsch
Arvind Krishnamurthy
February 2004
YALEU/DCS/TR1277 [.pdf]
[.ps] Towards
a Theory of Entanglement
James Aspnes
Joan Feigenbaum
Aleksandr Yampolskiy
Sheng Zhong
March 2004
YALEU/DCS/TR1278 [.pdf]
Experience with Two Systems Supporting Proofs
Dana Angluin
Michael Bell
May 2003
YALEU/DCS/TR1279 How close can
\/a + \/b be to an integer?
Dana Angluin
Sarah Eisenstat
February 2004
YALEU/DCS/TR1280 [.pdf]
[.ps] Urn Automata
Dana Angluin
James Aspnes
Zoe Diamadi
Michael J. Fischer
Rene Peralta
November 2003
YALEU/DCS/TR1281 [.pdf]
[.ps]Computation
in Networks of Passively Mobile Finite-State Sensors
Dana Angluin
James Aspnes
Zoe Diamadi
Michael J. Fischer
Rene Peralta
February 2004
YALEU/DCS/TR1282 [.pdf]
[.ps] On the
Computational Complexity of Sensor Network Localization
James Aspnes
David Goldenberg
Yang Richard Yang
April 2004
YALEU/DCS/TR1283 Sampling Sub-problems
of Heterogeneous Max-Cut Problems and Approximation Algorithms
P. Drineas
R. Kannan
M.W. Mahoney
April 2004
YALEU/DCS/TR1284 [.pdf]
Apoptosis/Neurogenesis Favorably Informs Memory Development
Willard Miranker
April 2004
YALEU/DCS/TR1285 [.pdf]
[.ps]Tiny Systematic
Vote Manipulations Can Swing Elections
Anthony DiFranco
Andrew Petro
Emmett Shear
Vladimir Vladimirov
April 2004
YALEU/DCS/TR1286 On Designing Incentive-Compatible
Routing and Forwarding Protocols in Wireless Ad-Hoc Networks -- an Integrated
Approach Using Game Theoretical and Cryptographic Techniques
Sheng Zhong
Li Li
Yangin Liu
Yang Richard Yang
May 2004
YALEU/DCS/TR1287 [.pdf]
Think-A-Dot
Michael J. Fischer
Albert R. Meyer
Michael S. Paterson
May 2004
YALEU/DCS/TR1288 [.ps]
Graph Distances in the Streaming Model: The Value of Space
Joan Feigenbaum
Sampth Kannan
Andrew McGregor
Siddhart Suri
Jian Zhang
May 2004
YALEU/DCS/TR1289 [.pdf]
On Self Adaptive Routing in Dynamic Environments - An Evaluation and Design
Using a Simple, Probabilistic Scheme
Haiyong Xie
May 2004
YALEU/DCS/TR1290 [.pdf]
[.ps] Privacy
from Untrusted Web Servers
Robert Fischer
Margo Seltzer
Michael Fischer
May 2004
YALEU/DCS/TR1291 [.pdf]
[.ps] Typed
Computational Email for Serverless Distributed Applications
Robert Fischer
Hong Jiang
Michael Fischer
May 2004
YALEU/DCS/TR1292 Multiresolution
Analysis Associated to Diffusion Semigroups: Construction and Fast Algorithms
Ronald Coifman
Mauro Maggioni
June 2004
YALEU/DCS/TR1293 Logosphere/Idealized
PVS
Carsten Schuermann
June 2004
YALEU/DCS/TR1294 forthcoming
Zhaozhong Ni
June 2004
YALEU/DCS/TR1295 [.pdf]
[.ps] Innoculation
Strategies for Victims of Viruses and the Sum of-Squares Partition Problem
James Aspnes
Kevin Chang
Aleksandr Yampolskiy
July 2004
YALEU/DCS/TR1296 [.pdf]
[.ps] Robustness
of Class-Based Path-Vector Systems
Aaron D. Jaggard
Vijay Ramachandran
July 2004
YALEU/DCS/TR1297 [.pdf]
Privacy-Preserving Location-based Services for Mobile Users in Wireless
Networks
Sheng Zhong
Li (Erran) Li
Yanbin Grace Liu
Richard Yang
July 2004
YALEU/DCS/TR1298 Diffusion Maps
and Geometric Harmonics
Ronald R. Coifman
Stephane Lafon
May 2004
YALEU/DCS/TR1299 [.pdf]
Optimal ISP Subscription for Internet Multihoming: Algorithm Design and
Implication Analysis
Hao Wang
Haiyong Xie
Lili Qiu
Avi Silberschatz
Richard Yang
July 2004
YALEU/DCS/TR1300 Ontology Translation
by Ontology Merging and Automated Reasoning
Dejing Dou
July 2004
YALEU/DCS/TR1301 [.pdf]
[.ps] Relating
Two Formal Models of Path-Vector Routing
Aaron D. Jaggard
Vijay Ramachandran
July 2004
YALEU/DCS/TR1302 [.ps]
Subject-Cost Policy Routing
Joan Feigenbaum
David Karger
Vahab Mirrokni
Rahul Sami
August 2004
YALEU/DCS/TR1303 Diffusion Wavelets
Ronald Coifman
Mauro Maggioni
September 2004
YALEU/DCS/TR1304 Diffusion Wavelets
Pockets
Ronald Coifman
Mauro Maggioni
September 2004
YALEU/DCS/TR1305 [.ps]
On Sparse Additive Spanners
Bela Bollobas
Don Coppersmith
Michael Elkin
September 2004
YALEU/DCS/TR1306 H Porter: Using
Arrows to Compose Parallel Processes
Liwen Huang
Paul Hudak
John Peterson
September 2004
YALEU/DCS/TR1307 Fast Evaluation
of Electro-Static Interactions in a two-Phase Dielectric Medium
Per-Gunnar Martinsson
September 2004
YALEU/DCS/TR1308 An O(Nbg2N) algorithm
for the inversion of general toeplitz matrices
P.G. Martinsson
V. Rokhlin
M. Tygert
December 2004
YALEU/DCS/TR1309 [.pdf]
[.ps] Fast Algorithms
for Spherical Harmonic Expansions
Vladimir Rokhlin
Mark Tygert
December 2004
YALEU/DCS/TR1310 forthcoming
Zhaozhong Ni
December 2004
YALEU/DCS/TR1311 [.pdf]
Algorithms from Signal and Data Processing Applied to Hyperspectral Analysis:
Discriminating Normal and Malignant Microarray Colon Tissue Sections Using
a Novel Digital Mirror Device System
M. Maggioni
G. Davis
F. Warner
F. Geshwind
A. Coppi
R. Deversi
R. Coifman
December 2004
YALEU/DCS/TR1312 forthcoming
Carsten Schuermann
December 2004
YALEU/DCS/TR1313 [.pdf]
[.ps] Diagonal
Representation of Certain Matrices
Mark Tygert
December 2004
[return to Technical
Reports main page]
YALEU/DCS/TR1314 [.pdf]
[.ps] Robustness
of Path-Vector Protocols without Independent Route Ranking
Aaron D. Jaggard
Vijay Ramachandran
February 2005
YALEU/DCS/TR1315 [.pdf]
Neural Net Applications '04
Willard L. Miranker
February 2005
YALEU/DCS/TR1316 [.pdf]
On Stable Route Selection for Interdomain Traffic Engineering
Hao Wang
Haiyong Xie
Yang Richard Yang
Li Li
Yanbin Liu
Avi Silberschatz
February 2005
YALEU/DCS/TR1317 [.pdf]
[.ps] On Interpolation
and Integration in Finite-Dimensional Spaces of Bounded Functions
Per-Gunnar Martinsson
Vladimir Rokhlin
Mark Tygert
February 2005
YALEU/DCS/TR1318 [.pdf]
Learning-Based Anomaly Detection in BGP Updates
Jian Zhang
Jennifer Rexford
Joan Feigenbaum
April 2005
YALEU/DCS/TR1319 On the Nystrom
Method for Approximating a Gram Matrix for Improved Kernal-Based Learning
P. Drineas
M.W. Mahoney
April 2005
YALEU/DCS/TR1320 Diffusion Maps:
A Unified Framework for Dimension Reduction, Data Partitioning and Graph
Subsampling
Stephane Lafon
Ann B. Lee
March 2005
YALEU/DCS/TR1321 [.pdf]
Global Minimization on a Quantum Computer
Willard Miranker
May 2005
YALEU/DCS/TR1322 [.pdf]
Apoptosis, Neurogenesis, and Information Content in Hebbian Networks
Christopher Crick
Willard Miranker
May 2005
YALEU/DCS/TR1323 Approximate Formulae
for Certain Prolate Wave Functions Valid for Large Values of Both Order
and Band Limit
Vladimir Rokhlin
Hong Xiao
May 2005
YALEU/DCS/TR1324 [.pdf]
Contour-Based Binocular Stereo: Inferring Coherence in Stereo Tangent
Space
Gang Li
Steven Zucker
May 2005
YALEU/DCS/TR1325 [.pdf]
[.ps] Distributed
Block Ciphers: Sharing the Luby-Rackoff Construction
Yevgeniy Dodis
Aleksandr Yampolskiy
May 2005
YALEU/DCS/TR1326 [.pdf]
[.ps] Spreading
Alerts Quietly and the Subgroup Escape Problem
James Aspnes
Zoe Diamadi
Kristian Gjosteen
Rene Peralta
Aleksandr Yampolskiy
June 2005
YALEU/DCS/TR1327 Randomized Algorithms
for a Sensor-Based Generalization of the SVD
Petros Drineas
M.W. Mahoney
June 2005
YALEU/DCS/TR1328 [.pdf]
Posters Presented at the Twenty-Fourth Annual ACM SIGACT-SIGOPS Symposium
on Principles of Distributed Computing
Rida Bazzi
James Aspnes
June 2005
YALEU/DCS/TR1329 [.pdf]
Observing and Transferring Material Histories
A.S. Georghiades
J. Lu
C. Xu
J. Dorsey
H. Rushmeier
June 2005
YALEU/DCS/TR1330 [.pdf]
Stereo for Slanted Surfaces: First Order Disparities and Normal Consistency
Gang Li
Steven Zucker
June 2005
YALEU/DCS/TR1331 Interdomain Routing
as Social Choice: A New Perspective
Ronny R. Dakdouk
Hao Wang
Haiyong Xie
Yang Richard Yang
July 2005
YALEU/DCS/TR1332 [.pdf]
[.ps] Exposing
Computationally-Challenged Byzantine Imposters
James Aspnes
Collin Jackson
Arvind Krishnamurthy
July 2005
YALEU/DCS/TR1333 [.pdf]
Java Implementation of a Single-Database Computationally Symmetric Private
Information Retrieval (CSRIR) Protocol
Felipe Saint-Jean
August 2005
YALEU/DCS/TR1334 Lightweight
Types For Machine Level Objects
Andrew McCreight
August 2005
YALEU/DCS/TR1335 Multiscale Analysis
of Data Sets with Diffusion Wavelets
Ronald R. Coifman
Mauro Maggioni
September 2005
YALEU/DCS/TR1336 Modular Verification
of Assembly Code with Stack-Based Control Abstractions
Xinyu Feng
Zhong Shao
Alexander Vaynberg
Sen Xiang
Zhaozhong Ni
November 2005
YALEU/DCS/TR1337 Pass-Efficient
Algorithms for Facility Location
Kevin L. Chang
November 2005
YALEU/DCS/TR1338 [.pdf]
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
YALEU/DCS/TR1339 [.pdf]
[.ps] Fast Algorithms
for the Solution of Eigenfunction Problems for One-Dimensional Self-Adjoint
Linear Differential Operators
Mark Tygert
November 2005
YALEU/DCS/TR1340 [.pdf]
Special Clustering with Limited Independence
Anirban Dasgupta
John Hopkroft
Ravi Kannan
Pradipta Mitra
November 2005
YALEU/DCS/TR1341 [.pdf]
[.ps] Learning
a Circuit by Injecting Values
Dana Angluin
James Aspnes
Jiang Chen
Yinghua Wu
December 2005
YALEU/DCS/TR1342 [.pdf]
[.ps] Incentive Compatible Inter-Domain
Routing
Joan Feigenbaum
Vijay Rmachandran
Michael Schapira
December 2005
YALEU/DCS/TR1343 [.pdf]
[.ps] Recurrence Relations and Fast Algorithms
Mark Tygert
December 2005
YALEU/DCS/TR1344 [.pdf]
Consciousness, A Darwinian Process
Willard L. Miranker
December 2005
YALEU/DCS/TR1345 [.pdf]
On a Differential Equation Arising in Plant Vascular Biology
Pavel Dimitrov
Steven Zucker
December 2005
[return toTechnical
Reports main page]
YALEU/DCS/TR1346 Multilevel
Compression of Linear Operators
Mark Tygert
March 2006
YALEU/DCS/TR1347 [.pdf]
A Fast Direct Solver for Scattering Problems Involving Elongated Structures
Per Gunnar Martinsson
Vladimir Rokhlin
March 2006
YALEU/DCS/TR1348 Not Available
YALEU/DCS/TR1349 [.pdf]
Lower Bounds on the VC Dimension of Unions of Concept Classes
Lev Reyzin
April 2006
YALEU/DCS/TR1350 not assigned
YALEU/DCS/TR1351 [.pdf]
[.ps] Analogues
for Bessel Functions of the Christoffel-Darboux Identity
Mark Tygert
March 2006
YALEU/DCS/TR1352 [.pdf]
[.ps] A Randomized Algorithm for the
Approximation of Linear Operators
Per-Gunnar Martinsson
Vladimir Rokhlin
Mark Tygert
April 2006
YALEU/DCS/TR1353 [.pdf]
An Accelerated Kernel-Independent Fast Multipole Method in One Dimension
Per-Gunnar Martinsson
Vladimir Rokhlin
April 2006
YALEU/DCS/TR1354 [.pdf]
Spectral Clustering by Recursive Partitioning
Anirban Dasgupta
John Hopcroft
Ravi Kannan
Pradipta Mitra
April 2006
YALEU/DCS/TR1355
[.pdf] A Temporal-Logic Approach
to Programming with Dependent Types and Higher-Order Encodings
Adam Poswolsky
Carsten Schuermann
April 2006
YALEU/DCS/TR1356
[.pdf] Hydra: A Functional Hybrid
Modeling Language
Hai Liu
May 2006
YALEU/DCS/TR1357
[.pdf] Neural Network Applications
Willard L. Miranker
April 2006
YALEU/DCS/TR1358
[.pdf] Fast Computation by Population
Protocols With a Leader
Dana Angluin
James Aspnes
David Eisenstat
May 2006
YALEU/DCS/TR1359 Greedy
Basis Pursuit
Patrick S. Huggins
Steven W. Zucker
June 2006
YALEU/DCS/TR1360
[.pdf] The VC Dimension of k-fold
Union
David Eisenstat
Dana Angluin
June 2006
YALEU/DCS/TR1361 [.pdf]
[.ps] A Randomized Algorithm for
the Approximation of Matrices
Per Gunnar Martinsson
Vladimir Rokhlin
Mark Tygert
June 2006
YALEU/DCS/TR1362
On the Representation of Logical Relations
Carsten Schuermann
Jeffrey Sarnat
July 2006
YALEU/DCS/TR1363
[.pdf] Path-Independent Load Balancing
With Unreliable Machines
James Aspnes
Richard Yang
Yitong Yin
July 2006
YALEU/DCS/TR1364
[.pdf] A Temporal-Logic Approach
to Functional Calculi for Dependent Types and Higher-Order Encodings
Adam Poswolsky
July 2006
YALEU/DCS/TR1365
A General Framework for Adaptive Regularization Based on Diffusion Processes
On Graphs
Arthur Szlam
Mauro Maggioni
Ronald R. Coifman
July 2006
YALEU/DCS/TR1366
Traffic Engineering in MPLS and VPN Networks
Zheng Ma
Hao Wang
Richard Yang
Arvind Krishnamurthy
Avi Silberschatz
July 2006
YALEU/DCS/TR1367
[.pdf] A Fast Algorithm for the Calculation
of the Roots of Special Functions
Andreas Glaser
Xiangotao Liu
Vladimir Rokhlin
August 2006
YALEU/DCS/TR1368 [.pdf]
A Model of Onion Routing With Provable Anonymity
Aaron Johnson
August 2006
YALEU/DCS/TR1369
[.pdf] Modeling Awareness in a Bacterial
Colony
Vladimir Barash
Willard Miranker
September 2006
YALEU/DCS/TR1370
[.pdf] Self-Stabilizing Leader Election
in Networks of Finite-State Anonymous Agents
Michael Fischer
Hong Jiang
October 2006
YALEU/DCS/TR1371
Using Quasi-Randomness to Model Partitioning Problems in Sparse Graphs
and Matrices
Pradipta Mitra
November 2006
YALEU/DCS/TR1372 forthcoming
Yinghua Wu
James Aspnes
November 2006
YALEU/DCS/TR1373 An Open
Framework for Foundational Proof-Carrying Code
Xinyu Feng
Zhaozhong Ni
Zhong Shao
Yu Guo
November 2006
YALEU/DCS/TR1374 [.pdf]
On the Relationship Between Concurrent Separation Logic Assume-Guarantee
Reasoning
Xinyu Feng
Rodrigo Ferreira
Zhong Shao
YALEU/DCS/TR1375 Extended
Report on Delphin: A Functional Programming Language with Higher-Order
Encodings and Dependent Types
Adam Poswolsky
YALEU/DCS/TR1376 [.pdf]
Neural Network Theory and Applications
Willliard L. Miranker
December 2006
YALEU/DCS/TR1377
forthcoming
Haiyong Xie
Arvind Krishnamurthy
Yang Richard Yang
Avi Silberschatz
March 2007
YALEU/DCS/TR1378
A General Framework for Certifying Garbage Collectors and Their Mutators
(extended version)
Andrew McCreight
Zhong Shao
Chunxiao Lin
March 2007
YALEU/DCS/TR1379 Certified
Self-Modifying Code
Hongxu Cai
Zhong Shao
Alexander Vaynberg
March 2007
YALEU/DCS/TR1380 [.pdf]
[.ps] A Preliminary
Report on a Fast Randomized Algorithm for the Approximation of Matrices
Franco Woolfe
Edo Liberty
Vladimir Rokhlin
Mark Tygert
April 2007
YALEU/DCS/TR1381
[.pdf] [.ps]
Fast Algorithms for Spherical Harmonic Expansions, II
Mark Tygert
May 2007
YALEU/DCS/TR1382
[.pdf] [.ps]
A New Class of Highly Accurate Solvers for Ordinary Differential Equations
Andreas Glaser
Vladimir Rokhlin
June 2007
YALEU/DCS/TR1383 [.pdf]
Mathematical Foundations of Consciousness
Willard L. Miranker
Gregg J. Zuckerman
July 2007
YALEU/DCS/TR1384
[.pdf]
[.ps] A New Class of
Analysis-Based Fast Transforms
Michael O'Neil
Vladimir Rokhlin
August 2007
YALEU/DCS/TR1385
[.pdf] Fast Dimension Reduction Using
Rademacher Series on Dual BCH Codes
Nir
Ailon
Edo Liberty
July 2007
YALEU/DCS/TR1386 [.pdf]
[.ps] A Fast
Randomized Algorithm for the Approximation of Matrices
Franco Woolfe
Edo Liberty
Vladimir Rokhlin
Mark Tygert
July 2007
YALEU/DCS/TR1387 Qsearch
Dana Angluin
Sarah Eisenstat
Jiang Chen
November 2007
YALEU/DCS/TR1388 [.pdf]
[.ps] Randomized Algorithms for the
Low-Rank Approximation of Matrices
Edo Liberty
Franco Woolfe
Per-Gunnar Martinsson
Vladimir Rokhlin
Mark Tygert
September 2007
YALEU/DCS/TR1389 [.pdf]
Cryo-EM Structure Determination Through Eigen Vectors of Sparse Matrices
Ronald Coifman
Yoel Shkolnisky
F.J. Sigworth
A. Singer
November 2007
YALEU/DCS/TR1390 [.pdf]
[.ps] Fast Random Projections using
Lean Walsh Transforms
Edo
Liberty
Nir Ailon
Amit Singer
December 2007
YALEU/DCS/TR1391
[.pdf] The Sentinal Algorithm: Distributed
Dynamic Coverage
John Corwin
Ana Cerejo
Diego Montenegro
January 2008
YALEU/DCS/TR1392 Entrywise
Bounds for Eigenvectors of Random Graphs
Pradipta Mitra
January 2008
YALEU/DCS/TR1393 [.pdf]
Memes and their Themata
Willard L. Miranker
February 2008
YALEU/DCS/TR1394 forthcoming
YALEU/DCS/TR1395 [.pdf]
On the Inverse Scattering Problem in the Acoustic Environment
R. Duan
V. Rokhlin
March 2008
YALEU/DCS/TR1396 Certifying
Low-Level Programs With Hardware Interrupts and Preemptive Threads
Xinyu Feng
Zhong Shao
Yuan Dong
Yu Guo
March 2008
YALEU/DCS/TR1397 An Open
Framework for Certified System Software
Xinyu Feng
December 2007
YALEU/DCS/TR1398 Local Reasoning
and Information Hiding in SCAP
Xinyu Feng
Zhong Shao
February 2008
YALEU/DCS/TR1399 [.pdf]
[.ps] An Algorithm for the Rapid Evaluation
of Special Function Transforms
Michael O'Neil
Franco Woolfe
Vladimir Rokhlin
April 2008
YALEU/DCS/TR1400
Richard Yang
YALEU/DCS/TR1401 [.pdf]
High-Order Quadratures for the Solution of Scattering Problem in Two Dimensions
Ran Duan
Vladimir Rokhlin
April 2008
YALEU/DCS/TR1402 [.pdf]
[.ps] The Mailman Algorithm: a Note
on Matrix Vector Multiplication
Edo
Liberty
Steven
Zucker
April 2008
YALEU/DCS/TR1403 [.pdf] [.ps]
A Fast Randomized Algorithm for Overdetermined Linear
Least-Squares Regression
Vladimir Rokhlin
Mark Tygert
April 2008
YALEU/DCS/TR1404 [.pdf]
Neural Network Applications
Willard Miranker
April 2008
YALEU/DCS/TR1405 Look
Ma, No Arrows -- A Functional Reactive Real-Time Sound Synthesis Framework
Paul Hudak
July 2008
YALEU/DCS/TR1406
[.pdf] A
Nonlinear Optimization Procedure for Generalized Gaussian Quadratures
James Bremer
Zydrunas Gimbutas
Vladimir Rokhlin
June 2008
YALEU/DCS/TR1407 [.pdf]
[.ps] Learning
Meaning Before Syntax
Dana Angluin
Leonor Becerra-Bonache
July 2008
YALEU/DCS/TR1408 Yampa Meets
the Worm
Paul Hudak
Paul Liu
Michael Stern
Ashish Agarwal
July 2008
YALEU/DCS/TR1409 [.pdf]
Querying RDF Data Stored in DBMS: SPARQL to SQL Conversion
Kamil Bajda-Pawlikowski
August 2008
YALEU/DCS/TR1410 [.pdf]
Descent Minimization on A Quantum Computer
Willard L. Miranker
July 2008
YALEU/DCS/TR1411 [.pdf]
Memes and their Themata
Willard L. Miranker
October 2008
YALEU/DCS/TR1412 [.pdf]
Correlation Clustering Revisited: The "True" Cost of Error Minimization
Problems
Nir Ailon
Edo
Liberty
YALEU/DCS/TR1413
Causal Commutative Arrows (supported by NSF grant CSR-EHS/CPS 0720682)
Paul Liu
Paul Hudak
February 2009
YALEU/DCS/TR1414 [.pdf]
Dynamics of Mental Activity
Willard L.Miranker
Gregg J. Zuckerman
January 2009
YALEU/DCS/TR1415 [.pdf]
Psychic Waves
Willard L. Miranker
YALEU/DCS/TR1416 [.pdf]
Neural Networks
Willard L. Miranker
YALEU/DCS/TR1417 [.pdf]
A Psychophysical Study of Dominant Texture Detection
Jianye Lu
Alexandra Garr-Schultz
Julie Dorsey
Holly Rushmeier
June 2009
YALEU/DCS/TR1418 [.pdf]
An adaptive fast direct solver for boundary integral
equations in two dimensions
W.Y. Kong
J. Bremer
V. Rokhlin
August 2009
YALEU/DCS/TR1419 [.pdf]
A Renormalization Group Theory for the Mind
Willard Miranker
October 2009
YALEU/DCS/TR1420 [.pdf]
Universal quadratures for boundary integral equations on two-dimensional
domains with corners
J. Bremer
V. Rokhlin
I. Sammis
November 2009
YALEU/DCS/TR1421
[.pdf] Lower Bounds on Learning Random
Structures with Statistical Queries
Dana Angluin
David Eisenstat
Leonid (Aryeh) Kontorovich
Lev Reyzin
December 2009
YALEU/DCS/TR1422
Parametrized Memory Model and Concurrency Separation Logic
Rodrigo Ferreira
Xinyu Feng
Zhong Shao
December 2009
YALEU/DCS/TR1423
[.pdf] Assigning
Tasks for Efficiency in Hadoop
Michael Fischer
Xueyuan Su
Yitong Yin
March 2010 (with corrections)
YALEU/DCS/TR1424 [.pdf]
Usability of Browser-Based Tools for Web-Search Privacy
Felipe Saint-Jean
Joan Feigenbaum
March 2010
YALEU/DCS/TR1425 [.pdf]
A Model of Semantics and Corrections in Language
Learning
Dana Angluin
Leonor Becerra-Bonache
April 2010
YALEU/DCS/TR1426
forthcoming
YALEU/DCS/TR1427 [.pdf]
Mosaic: Policy Homomorphic Network Extention
L. Erran Li
M.F. Nowlan
C. Tian
Y.R. Yang
M. Zhang
February 2010
YALEU/DCS/TR1428
Reasoning about Optimistic Concurrency using a Program Logic for History
Ming Fu
Yong Li
Xin Yu Feng
Zhong Shao
Yu Zhang
May 2010
YALEU/DCS/TR1429
[.pdf]
Privacy-Preserving Discovery of Consensus Signatures
Felipe Saint-Jean
Jian Zhang
Joan Feigenbaum
Phillip Porras
YALEU/DCS/TR1430 VeriML:
Typed Computation of Logical Terms inside a Language with Effects
Antonis Stampoulis
Zhong Shao
YALEU/DCS/TR1431 [.pdf]
Nettle: Functional Reactive Programming for OpenFlow Networks
Andreas Voellmy
Ashish Agarwal
July 1, 2010
YALEU/DCS/TR1432 [.pdf]
Don't Configure the Network, Program It!
Andreas Voellmy
Paul Hudak
Ashish Agarwal
Sam Burnett
Nick Feamster
John Launchbury
July 10, 2010
YALEU/DCS/TR1433
[.pdf] On the Nyström discretization
of integral equations on planar curves with corners
James Bremer
YALEU/DCS/TR1434 [.pdf]
A Randomized Approximate Nearest Neighbors Algorithm
Peter W. Jones
Andrei Osipov
Vladimir Rokhlin
July 30, 2010
YALEU/DCS/TR1435
[.pdf] A Highly Accurate Solver for
Stiff Ordinary Differential Equations
Dan Kushnir
Vladimir Rokhlin
September 2010
YALEU/DCS/TR1436 [.pdf]
Advanced Development of Certified OS Kernels
Zhong Shao
Bryan Ford
July 2010
YALEU/DCS/TR1437
[.pdf] Anisotropic Diffusion on Sub-Manifolds
with Application to Earth Structure Classification
Dan Kushnir
Ali Haddad
Ronald R. Coifman
October 15, 2010
YALEU/DCS/TR1438 [.pdf]
Slightly smaller splitter networks
James Aspnes
November 2010
YALEU/DCS/TR1439
[.pdf] A Randomized Approximate Nearest
Neighbors Algorithm - a short version
Peter W. Jones
Andrei Osipov
Vladimir Rokhlin
January 2011
YALEU/DCS/TR1440 Generating
Music Using Concepts from Schenkerian Analysis and Chord Spaces
Donya Quick
May 2010
YALEU/DCS/TR1441 [.pdf]
Filtering Via a Reference Set
A. Haddad
D. Kushnir
R.R. Coifman
February 2011
YALEU/DCS/TR1442
A Fast Divide-and-Conquer Algorithm for Computing the Spectra of Real
Symmetric Tridiagonal Matrices
Support: AFOSR #FA9550-09-1-02-41 ONR N00014-10-1-0570
E.S. Coakley
V. Rokhlin
February 2011
YALEU/DCS/TR1443
[.pdf] Spectra of Multiplication
Operators as a Numerical Tool
V. Rokhlin
B. Vioreanu
February 2011
YALEU/DCS/TR1444
[.pdf] A new class of highly accurate
differentiation schemes based on the prolate spheroidal wave functions
W.Y. Kong
V. Rokhlin
April 2011
YALEU/DCS/TR1445 [.pdf]
Parametrization of Linear Systems Using Diffusion Kernels
R. Talmon
D. Kushnir
R.R. Coifman
I. Cohen
S. Gannot
April 2011
YALEU/DCS/TR1446
[.pdf] Virtualizing Real-World Objects
in FRP
Daniel Winograd-Cort
Hai Liu
Paul Hudak
YALEU/DCS/TR1447
Richard Yang
YALEU/DCS/TR1448
[.pdf]
Defining "Anonymity" in Networked Communication, version 1
Joan Feigenbaum
YALEU/DCS/TR1449
[.pdf] Non-asymptotic
Analysis of Bandlimited Functions
Andrei Osipov
YALEU/DCS/TR1450
[.pdf] Explicit
upper bounds on the eigenvalues associated with prolate spheroidal wave
functions
Andrei Osipov
YALEU/DCS/TR1451
[.pdf]
Differential Stochastic Sensing: Intrinsic Modeling
of Random Time Series with Applications to Nonlinear Tracking
Ronen Talmon
Ronald R. Coifman
YALEU/DCS/TR1452
[.pdf] Systematizing
"Accountability" in Computer Science (Version of Feb. 17, 2012)
Joan Feigenbaum
Aaron
D. Jaggard
Rebecca N. Wright
Hongda Xiao
YALEU/DCS/TR1453
[.pdf] A Nearest
Neighbors Algorithm for Strings
R. Lederman
April 2012
YALEU/DCS/TR1454
[.pdf] On
the Resilience of Routing Tables
Joan Feigenbaum
Brighten Godfrey
Aurojit Panda
Michael Schapira
Scott Shenker
Ankit Singla
August 2012
YALEU/DCS/TR1455
[.pdf]
Strong Theft-Proof Privacy-Preserving Biometric Authentication
Ewa Syta
Michael J. Fischer
Abraham Silberschatz
Gina Gallegos Garcia
Bryan Ford
May 25, 2012
YALEU/DCS/TR1456
forthcoming
Richard Yang
YALEU/DCS/TR1457
[.pdf] Modeling
zonal electricity prices by anisotropic diffusion embeddings
Neta Rabin
Ronald R. Coifman
June 5, 2012
YALEU/DCS/TR1458
[.pdf]
Detailed analysis of prolate quadratures and interpolation formulas
Andrei Osipov
Vladimir Rokhlin
June 28, 2012
YALEU/DCS/TR1459
forthcoming
YALEU/DCS/TR1460
[.pdf] Evaluation
of small elements of the eigenvectors of certain symmetric tridiagonal
matrices with high relative accuracy
Andrei
Osipov
August 23, 2012
YALEU/DCS/TR1461
Modular Verification of Concurrent Thread Management
Yu Guo
Xinyu Feng
Zhong Shao
Peizhi Shi
YALEU/DCS/TR1462
A Case for Behavior-Preserving Actions in Separation
Logic
David Costanzo
Zhong Shao
YALEU/DCS/TR1463
Compositional Verification of a Baby Virtual Memory
Manager
Alexander Vaynberg
Zhong Shao
YALEU/DCS/TR1464
[.pdf] A one-bit
swap object using test-and-sets and a max register
James Aspnes
YALEU/DCS/TR1465
[.pdf] Homopolymer
Length Filters
Roy Lederman
YALEU/DCS/TR1466
[.pdf] On Backtracking
Resistance in Pseudorandom Bit Generation
Michael J. Fischer
Michael S. Paterson
Ewa Syta
October 24, 2012
YALEU/DCS/TR1467
[.pdf] Empirical
Intrinsic Modeling of Signals and Information Geometry
Ronen Talmon
Ronald R. Coifman
November 9, 2012
YALEU/DCS/TR1468
Scaling Software-Defined Network Controllers on
Multicore Servers
Andreas Voellmy
Bryan Ford
Paul Hudak
Y. Richard Yang
July 2012
YALEU/DCS/TR1469
Efficient and Privacy-Preserving Biometric Authentication
Ewa Syta
David Wolinsky
Michael J. Fischer
Abraham Silberschatz
Bryan Ford
Gina Gallegos-Garcia
YALEU/DCS/TR1470
[.pdf]
Building approximate overlap graphs for DNA assembly using random-permutations-based
search
Roy Lederman
December 18, 2012
[return Technical
Reports main page]
|