A

Alexander-Craig, I.D. (1992) Replacing Cassandra. Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1992) Where do you want to go on holiday? Technical Report. Department of Computer Science, Coventry, UK.

Alexander-Craig, I.D. (1992) The new implementation of Cassandra. Technical Report. Department of Computer Science, Coventry, UK.

Atherton, T.J., Kerbyson, D.J. and Nudd, G.R. (1992) An heterogeneous M-SIMD architecture for Kalman Filter controlled processing of image sequences. Technical Report. Department of Computer Science, Coventry, UK.

Axford, T.H. and Joy, M.S. (1992) List processing in parallel languages. Technical Report. Department of Computer Science, Coventry, UK.

B

Baude, F. (1992) PRAM implementation on fine-grained MIMD multicomputers. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. (1992) Programming principles for the semantics of the semantics of programs. Technical Report. Department of Computer Science, Coventry, UK.

Beynon, W.M. and Russ, S.B. (1992) The interpretation of states: a new foundation for computation? Technical Report. Department of Computer Science, Coventry, UK.

C

Clarke, C.T. and Nudd, G.R. (1992) A redundant arithmetic CORDIC system with a unit scale factor. Technical Report. Department of Computer Science, Coventry, UK.

Czumaj, A. (1992) Parallel algorithm for the matrix chain product problem. Technical Report. Department of Computer Science, Coventry, UK.

Czumaj, A. (1992) An optimal parallel algorithm for computing a near-optimal order of matrix multiplications. Technical Report. Department of Computer Science, Coventry, UK.

D

Dain, J.A. (1992) Minimum Distance Error Recovery for LR Parsers. Technical Report. Department of Computer Science, Coventry, UK.

F

Ferreira, W.M., Hill, M.R. and Joseph, M. (1992) Automated timing analysis of real-time programs. Technical Report. Department of Computer Science, Coventry, UK.

Fischer, M.J. and Paterson, M.S. (1992) Fishspear: a priority queue algorithm. Technical Report. Department of Computer Science, Coventry, UK.

G

Gibbons, A.M. (1992) A tutorial introduction to distributed memory models of parallel computation. Technical Report. Department of Computer Science, Coventry, UK.

Gibbons, A.M. and Paterson, M.S. (1992) Dense edge-disjoint embedding of binary trees in the mesh. Technical Report. Department of Computer Science, Coventry, UK.

H

Hsu, T.I., Calway, A.D. and Wilson, R.G. (1992) Analysis of structured texture using the multiresolution Fourier transform. Technical Report. Department of Computer Science, Coventry, UK.

J

Joy, M.S. (1992) Ginger - a simple functional language. Technical Report. Department of Computer Science, Coventry, UK.

Joy, M.S. and Axford, T.H. (1992) Parallel combinator reduction: some performance bounds. Technical Report. Department of Computer Science, Coventry, UK.

L

Liu, Z. and Joseph, M. (1992) A transformational approach to specifying recovery in asynchronous communicating systems. Technical Report. Department of Computer Science, Coventry, UK.

Liu, Z., Ravn, A.P., Sorensen, E.V. and Zhou, C. (1992) Towards a calculus of systems dependability. Technical Report. Department of Computer Science, Coventry, UK.

Liu, Z., Ravn, A.P., Sorensen, E.V. and Zhou, C. (1992) A probabilistic duration calculus. Technical Report. Department of Computer Science, Coventry, UK.

M

Matthews, S.G. (1992) Partial metric spaces. Technical Report. Department of Computer Science, Coventry, UK.

Matthews, S.G. (1992) The cycle contraction mapping theorem. Technical Report. Department of Computer Science, Coventry, UK.

Matthews, S.G. (1992) The topology of partial metric spaces. Technical Report. Department of Computer Science, Coventry, UK.

Miltersen, P.B., Paterson, M.S. and Tarui, J. (1992) The asymptotic complexity of merging networks. Technical Report. Department of Computer Science, Coventry, UK.

N

Novak, L.A. and Gibbons, A.M. (1992) Hybrid bases in graphs. Technical Report. Department of Computer Science, Coventry, UK.

P

Paterson, M.S. and Zwick, U. (1992) Shallow multiplication circuits and wise financial investments. Technical Report. Department of Computer Science, Coventry, UK.

Peled, D.A. (1992) Sometimes 'Some' is as good as 'All' (preliminary version). Technical Report. Department of Computer Science, Coventry, UK.

R

Ravindran, S. and Gibbons, A.M. (1992) Dense edge-disjoint embedding of complete binary trees in the hypercube. Technical Report. Department of Computer Science, Coventry, UK.

S

Scott, H. and Wilson, R.G. (1992) A comparison of filters for audio signal segmentation in audio restoration. Technical Report. Department of Computer Science, Coventry, UK.

W

Walker, D.J. (1992) Objects in the Pi-calculus. Technical Report. Department of Computer Science, Coventry, UK.

Wilson, R.G. and Bhalerao, A.H. (1992) Kernel Designs for Efficient Multiresolution Edge Detection and Orientation Estimation. IEEE Transactions on Pattern Analysis and Machine Intelligence, 14 (3). pp. 384-390. ISSN 0162-8828

Wilson, R.G., Calway, A.D., Pearson, E.R.S. and Davies, A.R. (1992) An introduction to the multiresolution Fourier transform and its applications. Technical Report. Department of Computer Science, Coventry, UK.

Z

Zheng, Y., Kerbyson, D.J. and Nudd, G.R. (1992) Efficient load balancing techniques for image analysis on an M-SIMD machine. Technical Report. Department of Computer Science, Coventry, UK.