Items from Current ECS Groups > Electronic and Software Systems in 1993
(Grouped by Item Type)

Article

Debbage, M., Hill, M. B., Nicole, D. A. and Sturgess, A. (1993) The Virtual Channel Router.

Pritchard, D. J. and Nicole, D. A. (1993) Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network.

Thomas, K. S. and Bishop, J. M. (1993) Experience with Mult-Transputer Ada.

Wykes, S. M., Jnr, O. T. and Nicole, D. A. (1993) A DS-Link Interface for T9000 System Development.

Conference or Workshop Item

Butler, M. J. (1993) Refinement and Decomposition of Value-Passing Action Systemss in the Refinement Calculus. In: CONCUR'93.

Garratt, P. W. and Karami, D. (1993) Software Design through Artificial Expertise. In: Proc. 1st Int. Conf. on Software Quality Management. pp. 918-834.

Nicole, D. A., Barnaby, C. and May, M. D. (1993) General Purpose Parallel Computers in Networks, Routers and Transputers. In: UNSPECIFIED.

Book

Nicole, D. A. (1993) High Peformance Architecture Issues in IFIP Transactions A-39, Decentralized and Distributed Systems. Elsevier Science. ISBN 0-444-81791-3

Technical Report

Butler, M. J. (1993) Feature Interaction Analysis Using Z. Technical Report , Research, Broadcom Eireann Research, Dublin. (Unpublished)

Butler, M. and Airchinnigh, M. M. a. (1993) Service Specification Using Z. Technical Report A222BR02, SCORE Project (EU RACE Project R2017), Broadcom Eireann Research Dublin.

Butler, M. and McDonnell, E. (1993) Experiment D: Application of Z to IN-Services Test Case. Technical Report , UNSPECIFIED, SCORE Project (EU RACE Project R2017).

Other

Nicole, D. A. (1993) High Performance Architectures, Invited Lecture at the BCS Parallel Processing Specialist Group Workshop on General Purpose Parallel Computing, London, December 1993.

Nicole, D. A. (1993) Invited Lectures on Parallel Computing Architectures: The Evolving Consensus, at the Community of Mediterranean Universities Distance Learning Computer Science School, University of Leece, Italy, June 1993.