1991 Technical Reports

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 [.pdf] 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 Enviornment for Interactive Proof Development
Denys Duchier
July 1991

YALEU/DCS/TR863 UNASSIGNED

YALEU/DCS/TR864 [.tex] [.pdf] A Reactive Plan Language
Drew McDermott
July 1991

YALEU/DCS/TR865 [.pdf] Parameterized Partial Evaluation Extended Version
Charles Consel
Siau Cheng Khoo
July 1991

YALEU/DCS/TR866A [.pdf] Perturbation Theory for the Solution of Linear Systems of Equations and Least Squares Problems
Shivkumar Chandrasekaran
Ilse Ipsen
July 1991

YALEU/DCS/TR866B [.pdf] Experience with Linda
R. Bjornson
N. Carriero
D. Gelernter
T. Mattson
D. Kaminsky
A. Sherman
July 1991

YALEU/DCS/TR867 [.pdf] Fast Strictness Analysis via Symbolic Fixpoint Iteration
Charles Consel
September 1991

YALEU/DCS/TR868 [.pdf] Real-Time Vision-Based Robot Localization
Greg Hager
September 1991

YALEU/DCS/TR869 [.pdf] Dynamic Partitioning of Parallel Lisp Programs
Eric Mohr
September 1991

YALEU/DCS/TR870 [.pdf] Formal Derivation of an Efficient Parallel Gauss-Seidel Method on a Mesh of Processors
J. Allan Yang
Young-il Choo
September 1991

YALEU/DCS/TR871 [.pdf] Short Encodings of Planar Graphs and Maps
Kenneth Keeler
Jeffrey Westbrook
October 1991

YALEU/DCS/TR872 [.pdf] A New Iterative Pojective Method for Large Symmetric Eigenproblem
Mahid Emad
October 1991

YALEU/DCS/TR873 [.pdf] Combining Intensity and Motion for Incremental Segmentation and Tracking over Long Image Sequences
Michael J. Black
October 1991

YALEU/DCS/TR874 [.pdf] Map Learning with Error Correction for Mobile Robots
Sean P. Engelson
Drew V. McDermott
October 1991

YALEU/DCS/TR875 [.tex] [.pdf] Decision Making in th Presence of Noise
Michael J. Fischer
Sophia A. Paleologou
October 1991

YALEU/DCS/TR876 [.pdf] Compiling Crystal for Distributed-Memory Machines
Jingke Li
October 1991

YALEU/DCS/TR877 [.pdf] A Higher-Level Environment for Parallel Programming
Shakil Ahmed
David Gelernter
November 1991

YALEU/DCS/TR878 * Massively Parallel Sparse Matrix Computations for Ineration Methods
Serge Petiton
November 1991

YALEU/DCS/TR879 * On the Parallel Implementation of Jacobis and Koghetliantz’s Algorithm
Jurgen Goetze
November 1991

YALEU/DCS/TR880 [.pdf] On Rank-Revealing QR Factorisations
Shivkumar Chandrasekaran
Ilse Ipsen
November 1991

YALEU/DCS/TR881 [.pdf] Prototyping FORTRAN-90 Compilers for Massively Parallel Machines
Marina Chen
Jim Cowie
December 1991

YALEU/DCS/TR882 [.tex] [.pdf] Optimizing FORTRAN-90 Programs for Data Motion on Massively Parallel Systems
Marina Chen
Jan Jan Wu
December 1991

YALEU/DCS/TR883 [.pdf] Supercomputing out of Recycled Garbage : Preliminary Experience with Piranha
David Gelernter
David Kaminsky
December 1991

YALEU/DCS/TR884 * PCGPAK 2 Benchmarks
Andrew Sherman
Mark Yan-Ming Chang
Martin H. Schultz
December 1991

YALEU/DCS/TR885 [.tex] [.pdf] When Do Extra Majority Gates Help?
Richard Beigel
December 1991

YALEU/DCS/TR886 [.pdf] Translation of Pattern Matching and Other Context-free Normalization in Haskell
Brian Boutel
December 1991

YALEU/DCS/TR887 [.pdf] Program Builders as Alternatives to High-Level Languages
Shakil Ahmed
David Gelernter
December 1991

YALEU/DCS/TR888 [.pdf] On the Numerical Solution of One-Dementional Intregal and Differential Equations
Harold Page Starr,Jr.
December 1991