Research Reports 1992

Copyright

To the best of our knowledge and belief, all documents which we place on this server, or which we make available in hardcopy, we do so with the consent of the copyright owner(s). Furthermore, unless otherwise stated, the copyright of each such document rests with the original authors.

CS-RR-235

M.S. Joy, Ginger - A Simple Functional Language, December 1, 1992

CS-RR-234

C. Clarke and Graham R. Nudd, A Redundant Arithmetic CORDIC System with a Unit Scale Factor, December 1, 1992

CS-RR-233

I.D. Craig, The New Implementation of Cassandra, October 1, 1992

CS-RR-232

I.D. Craig, Replacing Cassandra, October 1, 1992

CS-RR-231

Hugh Scott and R.G. Wilson, A Comparison of Filters For Audio Signal Segmentation in Audio Restoration, October 1, 1992

CS-RR-230

W.M. Ferreira, M.R. Hill and M. Joseph, Automated Timing Analysis of Real-time Programs, December 1, 1992

CS-RR-229

Zhiming Liu, Anders P. Ravn, Erlin V. Sorensen and Chaochen Zhou, Towards a Calculus of Systems Dependability, September 1, 1992

CS-RR-228

S.G. Matthews, The Cycle Contraction Mapping Theorem, August 1, 1992

CS-RR-227

I.D. Craig, Where Do You Want To Go On Holiday, July 1, 1992

CS-RR-226

Tao-I Hsu, A.D. Calway and R.G. Wilson, Analysis of Structured Texture Using the Multiresolution Fourier Transform, June 1, 1992

CS-RR-225

Artur Czumaj, Parallel Algorithm for the Matrix Chain Product Problem, June 1, 1992

CS-RR-224

Artur Czumaj, An Optimal Parallel Algorithm for Computing a Near-Optimal Order of Matrix Multiplications, February 1, 1992

CS-RR-223

Somasundaram Ravindran and A.M. Gibbons, Dense Edge-Disjoint Embedding of Complete Binary Trees in the Hypercube, July 1, 1992

CS-RR-222

S.G. Matthews, The Topology of Partial Metric Spaces, June 1, 1992

CS-RR-221

M.J. Fischer and M.S. Paterson, Fishspear: A Priority Queue Algorithm, June 1, 1992

CS-RR-220

Francoise Baude, PRAM Implementation on Fine-Grained MIMD Multicomputers, May 1, 1992

CS-RR-219

T.H. Axford and M.S. Joy, List Processing in Parallel Languages, May 1, 1992

CS-RR-218

Zhiming Liu, Anders P. Ravn, Erlin V. Sorensen and Chaochen Zhou, A Probabilistic Duration Calculus, May 1, 1992

CS-RR-217

D.J. Walker, Objects in the Pi-calculus, April 1, 1992

CS-RR-216

Per Bro Miltersen, M.S. Paterson and Jun Tarui, The Asymptotic Complexity of Merging Networks, April 1, 1992

CS-RR-215

J.A. Dain, Minimum Distance Error Recovery for LR Parsers, April 1, 1992

CS-RR-214

Y. Zheng, Darren J. Kerbyson and Graham R. Nudd, Efficient Load Balancing Techniques for Image Analysis on an M-SIMD Machine, June 1, 1992

CS-RR-213

T.J. Atherton, Darren J. Kerbyson and Graham R. Nudd, An Heterogeneous M-SIMD Architecture for Kalman Filter Controlled Processing of Image Sequences, December 1, 1992

CS-RR-212

S.G. Matthews, Partial Metric Spaces, March 1, 1992

CS-RR-211

L.A. Novak and A.M. Gibbons, Hybrid Bases in Graphs, March 1, 1992

CS-RR-210

M.S. Joy and T.H. Axford, Parallel Combinator Reduction: Some Performance Bounds, March 1, 1992

CS-RR-209

M.S. Paterson and U. Zwick, Shallow Multiplication Circuits and Wise Financial Investments, February 1, 1992

CS-RR-208

A.M. Gibbons and M.S. Paterson, Dense Edge-Disjoint Embedding of Binary Trees in the Mesh, February 1, 1992

CS-RR-207

W.M. Beynon and S.B. Russ, The Interpretation of States: a New Foundation for Computation?, February 1, 1992

CS-RR-206

Zhiming Liu and M. Joseph, A Transformational Approach to Specifying Recovery in Asynchronous Communicating Systems, February 1, 1992

CS-RR-205

W.M. Beynon, Programming Principles for the Semantics of the Semantics of Programs, January 1, 1992

CS-RR-204

R.G. Wilson, A.D. Calway, E.R.S. Pearson and A.R. Davies, An Introduction to the Multiresolution Fourier Transform and its Applications, June 1, 1992

CS-RR-203

Doron Peled, Sometimes 'Some' is as Good as 'All' (Preliminary Version), March 1, 1992

CS-RR-185

A.M. Gibbons, A Tutorial Introduction to Distributed Memory Models of Parallel Computation, November 1, 1992