Items from Old ECS Groups > Dependable Systems and Software Engineering Research Group in 1986
(Grouped by Creator/Authors Name)

A

Askew, C. R., Carpenter, D. B., Chalker, J. T., Hey, A. J. G., Nicole, D. A. and Pritchard, D. J. (1986) Simulation of Statistical Mechanical Systems on Transputer Arrays.

Askew, C. R., Carpenter, D. B., Chalker, J. T., Hey, A. J. G., Nicole, D. A. and Pritchard, D. J. (1986) Simulation of Statistical Mechanical Systems on Transputer Arrays. In: UNSPECIFIED.

C

Currie, A. J. and Allerton, D. J. (1986) A Low-cost Colour Graphics Workstation for IC Design. In: Proc. Conf. on Integrated Circuit Technology. pp. 277-282.

Currie, A. J. and Allerton, D. J. (1986) A Microprocessor-based IC Layout Editor. In: IEE Coll. on IC Design: Software Tools. 10/1-10/4.

G

Garratt, P. W. (1986) Technology Transfer in Europe. Gateway .

Garratt, P. W. (1986) Technology Transfer in Strasbourg. Technical Report , UNSPECIFIED, Southampton University Computer Studies Department.

Glaser, H. and Hayes, S. (1986) Another implementation technique for applicative languages. In: Proc. 1st European Symp. on programming (ESOP), LNCS 213. pp. 70-81.

H

Hankin, C. L., Till, D. R. and Glaser, H. (1986) Linking Data Flow and Functional Languages. Byte, 11 (5). pp. 123-134.

Hartel, P. H. and Vree, W. G. (1986) A load distribution network for a multi processor reduction machine. Technical Report , UNSPECIFIED, Dept. of Comp. Sys, Univ. of Amsterdam.

Henderson, P. (1986) Functional programming, formal specification, and rapid prototyping. IEEE Transactions on software engineering, SE-12 (2). pp. 241-250. ISSN ISSN 0098-5589

Henderson, P. and Minkowitz, C. J. (1986) The me too Method of Software Design. ICL Journal, 5 (1).

Hey, A. J. G. (1986) Parallel Decomposition of Large Scale Simulations in Science and Engineering. In: Invited Paper at Unicom Seminar on "Major Developments in Parallel Processing".

Hey, A. J. G., Coddington, P. D., Middleton, A. A. and Townsend, J. S. (1986) "The Deconfirming Transition for Finite-Temperature U(1) Lattice Gauge Theory in (2+1) Dimensions", Physics Letters 175B. In: UNSPECIFIED.

Hey, A. J. G., Jesshope, C. R. and Nicole, D. A. (1986) High Performance Simulation of Lattice Physics on Transputer Arrays. North Holland. ISBN 0-444-87973-0

Hey, A. J. G. and Walters, P. J. (1986) The Quantum Universe. Cambridge University Press.