B

Beynon, W.M., Slade, M.D. and Yung, Y.P. (1990) Protocol specification in concurrent systems software development. Technical Report. Department of Computer Science, Coventry, UK.

Bhalerao, A.H. and Wilson, R.G. (1990) Multiresolution Image Segmentation Combining Region and Boundary Information. Technical Report. Department of Computer Science, Coventry, UK.

C

Campbell-Kelly, M. (1990) The Airy Tape: an early chapter in the history of debugging. Technical Report. Department of Computer Science, Coventry, UK.

Chown, P. (1990) GROVER: a graph plotting program for Sun workstations. Technical Report. Department of Computer Science, Coventry, UK.

Chown, P. (1990) Notes on the design of a barrel shifter for the Warwick pipelined CORDIC processor. Technical Report. Department of Computer Science, Coventry, UK.

Chown, P., Walton, D.W. and Nudd, G.R. (1990) VLSI design of a pipelined CORDIC processor. Technical Report. Department of Computer Science, Coventry, UK.

D

Davies, A.R. and Wilson, R.G. (1990) Linear feature extraction using the multiresolution Fourier Transform. Technical Report. Department of Computer Science, Coventry, UK.

G

Gent, I.P. (1990) A sequent system for Lewis's counterfactual logic VC. Technical Report. Department of Computer Science, Coventry, UK.

Gibbons, A.M. and Ziani, R. (1990) The balanced binary tree technique on mesh connected computers. Technical Report. Department of Computer Science, Coventry, UK.

J

Joy, M.S. and Axford, T.H. (1990) GCODE: a revised standard for a graph representation for functional programs. Technical Report. Department of Computer Science, Coventry, UK.

L

Liu, Z. and Joseph, M. (1990) Transformation of programs for fault-tolerance. Technical Report. Department of Computer Science, Coventry, UK.

M

Matthews, S.G. (1990) Notes on separability in metric sets. Technical Report. Department of Computer Science, Coventry, UK.

P

Paterson, M.S., Pippenger, N. and Zwick, U. (1990) Optimal carry save networks. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Yao, F.F. (1990) Optimal binary space partitions for orthogonal objects. Technical Report. Department of Computer Science, Coventry, UK.

Paterson, M.S. and Zwick, U. (1990) Improved circuits and formulae for multiple addition, multiplication and symmetric Boolean functions. Technical Report. Department of Computer Science, Coventry, UK.

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

Peyton-Jones, S.L. and Joy, M.S. (1990) FLIC - a functional language intermediate code. Technical Report. Department of Computer Science, Coventry, UK.

W

Wilson, R.G. and Spann, M. (1990) A New Approach to Clustering. Pattern Recognition, 23 (12). pp. 1413-1425.

Wong, J. and Wilson, R.G. (1990) Eigenvector decomposition of a multiresolution operator. Technical Report. Department of Computer Science, Coventry, UK.