Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1992

B

Barrett, G, Barton, E, Carden, T, Duval, D and Nicole, D (1992) General Purpose Parallel Computers: A Standard Architecture with a Standard Programming Interface. , 129.

Butler, M.J. (1992) A CSP Approach to Action Systems. Oxford University, Computing Laboratory, Doctoral Thesis .

G

Gravell, A. M. (1992) 1-2 trees and $\sigma$-trees: balanced structures for random sequential data.

Gravell, A. M. (1992) Constructive Refinement of First Order Specifications. Proc. Proceedings of the 5th BCS FACS Refinement Workshop Springer-Verlag, Berlin, 181-210.

N

Nicole, D A (1992) Standard Software on Scalable Computers in Transputer Applications Progress and Prospects, IOS Press

Nicole, D A and Bisiani, R (1992) State of the Art Report for High Performance Computing in the Report of the High Performance Computing and Networking Advisory Committee, Commission of the European Communities (1992).

Nicole, D A and Duval, D (1992) GPMIMD: A Standard Industrial Architecture for Scalavle Parallel Computing, presented at Supercomputing Europe 1992, Paris, France, February 1992.

Nicole, D A and Pritchard, D J (1992) Load Balance Deadlock Free Routing of Arbitrary Networks, Submitted to IEEE Transactions on Parallel and Distributed Systems.

T

Thomas, K S (1992) Ada and Virtual Channel Routing. Department of Electronics and Computer Science Research Journal J A Pickering.

Thomas, K S (1992) Letter on Many Cycle Effects in Irreversible Oscillating Universe Models.