Technical Reports

Computer Science

The links below are to technical/research reports, listed by tr number in chronological order. The number of reports for each month/year varies.

Reports with electronic versions have a link to the paper in .tex, .pdf and/or .ps format listed next to the report number in brackets.

Jump to Section

2025-2020

2019-2010

YALEU/DCS/TR1503 [.pdf] On decoding of digital data sent over a noisy MIMO channel
Andrei Osipov
January 6, 2015

YALEU/DCS/TR1504 [.pdf] Towards Automatic Generation of Multi-table Datapath from Datapath-Oblivious Algorithmic SDN Policies
Andreas Voellmy
Richard Yang
Xiao Shi
January 30, 2015

YALEU/DCS/TR1505 Compositional Certified Resource Bounds
Quentin Carbonneaux
Jan Hoffmann
Zhong Shao
April 2015

YALEU/DCS/TR1506 [.pdf] Common Variable Discovery and Invariant Representation Learning using Artificial Neural Networks
Uri Shaham
Roy R. Lederman

YALEU/DCS/TR1507 [.pdf] On the Analytical Numerical Properties of the Truncated Laplace Transform II
Roy R. Lederman
Vladimir Rokhlin
May 29, 2015

YALEU/DCS/TR1508 [.pdf] A hidden signal in the Ulam sequence
Stefan Steinerberger
May 4, 2015

YALEU/DCS/TR1509 [.pdf] On the Discrepancy of Jittered Sampling
Florian Pausinger
Stefan Steinerberger
May 19, 2015

YALEU/DCS/TR1510 [.pdf] Private Eyes: Secure Remote Biometric Authentication
Ewa Syta
Michael J. Fischer
David Wolinsky
Abraham Silberschatz
Gina Gallegos-Garcia
Bryan Ford
March 2015

YALEU/DCS/TR1511 [.pdf] Learning a Random DFA from Uniform Strings and State Information
Dana Angluin
Dongqu Chen

YALEU/DCS/TR1512 [.pdf] Spectral Deferred Corrections for Parabolic Partial Differential Equations
Daniel Beylkin
June 8, 2015

YALEU/DCS/TR1513 [.pdf] Provable approximation properties for deep neural networks
Uri Shaham
Alexander Cloninger
Ronald R. Coifman

YALEU/DCS/TR1514 [.pdf] On the solution of elliptic partial differential equations on regions with corners
Kirill Serkh
Vladimir Rokhlin

YALEU/DCS/TR1515 Routing State Abstraction Based on Declarative Equivalence
Kai Gao
X. Tony Wang
Jun Bi
G. Robert Chen
Andreas Voellmy
Y. Richard Yang

YALEU/DCS/TR1516 [.pdf] Nonlinear Phase Unwinding of Functions
Ronald R. Coifman
Stefan Steinerberger
August 5, 2015

YALEU/DCS/TR1517 [.pdf] Similarity Detection via Random Subsets for Cyber War Protection in Big-Data using Hadoop Framework
Dafna Ackerman
Amir Averbuch
Avi Silberschatz
Moshe Salhov
July 10, 2015

YALEU/DCS/TR1518 [.pdf] Learning Random Regular Graphs
Dongqu Chen
September 2015

YALEU/DCS/TR1519 [.pdf] On generalized prolate spheroidal functions
Kirill Serkh
December 14, 2015

YALEU/DCS/TR1486 [.pdf] Deniable Anonymous Group Authentication
Ewa Syta
Benjamin Peterson
David Isaac Wolinsky
Michael Fischer
Bryan Ford
February 2014

YALEU/DCS/TR1487 End-to-End Verification of Stack-Space Bounds for C Programs
Quentin Carbonneaux
Jan Hoffmann
Tahina Ramananandro
Zhong Shao
March 2014

YALEU/DCS/TR1488 [.pdf] Scheduling Heuristics for Lazy Database Systems
Daniel Tahara
May 2014

YALEU/DCS/TR1489 Athena: Automatic Text Height Extraction For the Analysis of Text Lines in Old Handwritten Manuscripts
Ruggero Pintus
Ying Yang
Holly Rushmeier
May 2014

YALEU/DCS/TR1490 [.pdf] On the Analytical and Numerical Properties of the Truncated Laplace Transform
Roy R. Lederman
May 2014

YALEU/DCS/TR1491 [.pdf] Manifold Learning for Latent Variable Inference in Dynamical Systems
Ronen Talmon
Stéphane Mallat
Hitten Zaveri
Ronald R. Coifman
June 10, 2014

YALEU/DCS/TR1492 [.pdf] On the asymptotics of Bessel functions in the Fresnel regime
Z. Heitman
J. Bremer
V. Rokhlin
B. Vioreanu
July 10, 2014

YALEU/DCS/TR1493 [.pdf] On the existence of non-oscillatory phase functions for second order ordinary differential equations in the high-frequency regime
Z. Heitman
J. Bremer
V. Rokhlin
August 4, 2014

YALEU/DCS/TR1494 A Compositional Semantics for Verified Separate Compilation and Linking
Tahina Ramananandro
Zhong Shao
Shuchun Weng
Jeremie Koenig

YALEU/DCS/TR1495 [.pdf] Small coordinates of eigenvectors of certain symmetric tridiagonal matrices: numerical evaluation and error analysis
Andrei Osipov
August 25, 2014

YALEU/DCS/TR1496 [.pdf] On the Analytical and Numerical Properties of the Truncated Laplace Transform I
Roy R. Lederman
Vladimir Rokhlin
September 5, 2014

YALEU/DCS/TR1497 [.pdf] Common Manifold Learning Using Alternating-Diffusion
Roy R. Lederman
Ronen Talmon
September 15, 2014

YALEU/DCS/TR1498 [.pdf] Analysis of Optimizations of Angluin’s $L^*$ Learning Algorithm
David Beam

YALEU/DCS/TR1499 [.pdf] Lipschitz norms, mixed Lipschitz norms and their duals on spaces with semigroups, with applications to Earth Mover’s Distance
William Leeb
Ronald Coifman
September 30, 2014

YALEU/DCS/TR1500 Deep Specifications and Certified Abstraction Layers
Ronghui Gu
Jérémie Koenig
Tahina Ramananandro
Zhong Shao
Xiongnan (Newman) Wu
Shu-Chun Weng
Haozhong Zhang
Yu Guo
October 2014

YALEU/DCS/TR1501 [.pdf] A note on approximating snowflake metrics by trees
William Leeb
November 20, 2014

YALEU/DCS/TR1502 [.pdf] The mixed Lipschitz space and its dual for tree metrics
William Leeb
November 21, 2014

YALEU/DCS/TR1471 [.pdf] On the evaluation of prolate spheroidal wave functions and associated quadrature rules
Andrei Osipov
Vladimir Rokhlin
January 8, 2013

YALEU/DCS/TR1472 [.pdf] Security Analysis of Accountable Anonymity in Dissent
Ewa Syta
Aaron Johnson
Henry Corrigan-Gibbs
Shu-Chun Weng
David Wolinsky
Bryan Ford
January 31, 2013
Revised June 5, 2014

YALEU/DCS/TR1473 [.pdf] A Note about the Resolution-Length Characteristics of DNA
Roy Lederman
April 2, 2013

YALEU/DCS/TR1474 [.pdf] A permutations-based algorithm for fast alignment of long paired-end reads
Roy Lederman
April 10, 2013

YALEU/DCS/TR1475 [.pdf] Oblivious periodic traversal of anonymous, undirected graphs with advice and adversarial port numbers
John Maheswaran
April 2013

YALEU/DCS/TR1476 Quantitative Reasoning for Proving Lock-Freedom
Jan Hoffmann
Michael Marmar
Zhong Shao

YALEU/DCS/TR1477 [.pdf] Using the Long Range “Independence” in DNA: Coupled-Seeds and Pre-Alignment Filters
Roy Lederman
August 7, 2013

YALEU/DCS/TR1478 [.pdf] Proactively Accountable Anonymous Messaging in Verdict
Henry Corrigan-Gibbs
David Isssac Wolinsky
Bryan Ford
June 2013

YALEU/DCS/TR1479 [.pdf] Auditing the structural reliability of the clouds
Ennan Zhai
David Isaac Wonlinsky
Hongda Xiao
Hongqiang Liu
Xueyuan Su
Bryan Ford
July 2013

YALEU/DCS/TR1480 [.pdf] Fitting a Bandlimited Curve to Points in a Plane
Daniel Beylkin
Vladimir Rokhlin

YALEU/DCS/TR1481 [.pdf] Earth Mover’s Distance and Equivalent Metrics for Spaces with Semigroups
R.R. Coifman
W.E. Leeb
July 22, 2013

YALEU/DCS/TR1482 [.pdf] Earth Mover’s Distance and Equivalent Metrics for Spaces with Hierarchical Partition Trees
R.R. Coifman
W.E. Leeb
July 22, 2013

YALEU/DCS/TR1483 Creating Texture Exemplars from Unconstrained Images
Yitzchak David Lockerman
Su Xue
Julie Dorsey
Holly Rushmeier
October 2013

YALEU/DCS/TR1484 Crypto-Book in Action: Bootstrapping Privacy Preserving Online Identities from Social Networks
John Maheswaran
David Isaac Wolinsky
Bryan Ford

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

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 [.pdf] Scaling Software-Defined Network Controllers on Multicore Servers
Andreas Voellmy
Bryan Ford
Paul Hudak
Y. Richard Yang
July 2012

YALEU/DCS/TR1469 [.pdf] 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

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

YALEU/DCS/TR1427 [.pdf] Mosaic: Policy Homomorphic Network Extension
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

2009-2000

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

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/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] 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
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/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] 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

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] 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
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
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
Carsten Schuermann
December 2004

YALEU/DCS/TR1313 [.pdf] [.ps] Diagonal Representation of Certain Matrices
Mark Tygert
December 2004

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 [.pdf] [.ps] 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 [.pdf] Annotation and Computational Geometry in the Streaming Model
Joan Feigenbaum
Sampath Kannan
Jian Zhang
May 2003

YALEU/DCS/TR1250 [.pdf] [.ps] Design Principles of Policy 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] 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

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 Feigenbaum
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] 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 fixclock: Removing Clock Artifacts from Communication Timestamps
Raphael S. Ryger
December 2002

1999-1990

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

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 [.pdf] 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
December 1998

YALEU/DCS/TR1173 Encoding Java Classes in a Typed Intermediate Language
C. League
Z. Shao
V. Trifonov
December 1998

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 Peterson
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 [.pdf] 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
John 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 [.pdf] Modular Monadic Semantics and Compilation
Sheng Liang
December 1997

YALEU/DCS/TR1141 Unassigned

YALE/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 YALEU
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 [.pdf] The Haskell 1.3 Library Version
Paul Hudak
Phillip Wadler
John Peterson
April 1996

YALEU/DCS/TR1106 A Non-Strict, Purely Functional Language
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 [.pdf] 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 [.ps] 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

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

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

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 (Position 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/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 Evolutionary 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 [.pdf] 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] Parameterized 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 Symmetric 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/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] Reliable 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 Environment 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/TR756 * Projecting Plans for Uncertain Worlds
Steve Hanks
January 1990

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1989-1980

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 [.pdf] 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 Integrated 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/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 [.pdf] 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/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
February 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 * 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 Integration
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/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 efficient 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 [.pdf] 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/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 Algebra 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 * 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/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/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/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/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/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

1979-1971

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 [.pdf] Tentative Compilation: A Design for an APL Compiler
Terrence Clark 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/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/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 [.pdf] 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 [.pdf] 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 [.pdf] A Lower Bound of 1/2n2 on Linear Search Programs for the Knapsack Problem
David Dobkin
Richard J. Lipton
1976

YALEU/DCS/TR071 [.pdf] Excursions into Geometry
Dobkin
Lipton
Reiss
1976

YALEU/DCS/TR072 [.pdf] 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/TR039 * The Role of Memory in Language Processing
Roger Schank
1975

YALEU/DCS/TR040 [.pdf] 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 [.pdf] 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 [.pdf] 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 [.pdf] A Constructive Generalization of the Borel-Cantelli Lemma with Application to
DeMillo the Complexity of Infinite Strings
Lipton
1975

YALEU/DCS/TR060 [.pdf] 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