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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: Authors/Creators | Item Type | No Grouping
Jump to: B | D | G | N | P | T | W
Number of items: 13.

B

Butler, M.J. (1993) Feature Interaction Analysis Using Z.

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

Butler, Michael and Airchinnigh, Micheal Mac an (1993) Service Specification Using Z.

Butler, Michael and McDonnell, Eoin (1993) Experiment D: Application of Z to IN-Services Test Case.

D

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

G

Garratt, P. W. and Karami, D. (1993) Software Design through Artificial Expertise. Proc. 1st Int. Conf. on Software Quality Management Comput. Mech. Inst. Quality Assurance. Southampton, UK, 918-834.

N

Nicole, D A (1993) High Peformance Architecture Issues in IFIP Transactions A-39, Decentralized and Distributed Systems, Elsevier Science

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.

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

P

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

T

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

W

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

This list was generated on Wed Aug 27 09:06:43 2014 BST.