Technical Reports
1991
Stability of computational methods for constrained dynamics systems
Uri M. Aschre and Linda R. Petzold
On the Role of Computable Error Estimates in the Analysis of Numerical Approximation Algorithms -- In Honor of Steve Smale on His Sixtieth Birthday
Feng Gao
Projected Collocation for Higher-Order Higher-Index Differential-Algebraic Equations
Uri M. Ascher and Linda R. Petzold
A Two-Level Formal Verification Methodology using HOL and COSMOS
Carl-Johan Seger and Jeffrey J. Joyce
Existence and Explict Constructions of q+1 Regular Ramanujan Graphs for Every Prime Power q
Moshe Morgenstern
Photometric Stereo: Lambertian Reflectance and Light Sources with Unknown Direction and Strength
R. J. Woodham, Y. Iwahori and Rob A. Barman
Leaders Election Without a Conflict Resolution Rule - Fast and Efficient Randomized Simulations among CRCW PRAMs
Joseph Gil and Yossi Matias
The Tree Model for Hashing: Lower and Upper Bounds
Joseph Gil, Friedhelm Meyer auf Der Heide and Avi Wigderson
Computational Architectures for Responsive Vision: the Vision Engine
James J. Little, Rod Barman, Stewart Kingdon and Jiping Lu
Performance Prediction Modelling of Multicomputers
H. V. Sreekantaswamy, Samuel T. Chanson and Alan Wagner
The EAN X.500 Directory Service
Barry Brachman, Murray Goldberg, Gerald Neufeld and Duncan Stickings
Implementing a Normative Theory of Communication in a Framework for Default Reasoning
Andrew Csinger