Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1993
|Up a level|
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, Judy M (1993) Experience with Mult-Transputer Ada.
Wykes, S M, Jnr, O Trindade and Nicole, D A (1993) A DS-Link Interface for T9000 System Development.
Nicole, D A, Cosnard, M and Puigjaner, R (eds.) (1993) High Peformance Architecture Issues in IFIP Transactions A-39, Decentralized and Distributed Systems, Elsevier Science
Conference or Workshop Item
Butler, M.J. (1993) Refinement and Decomposition of Value-Passing Action Systemss in the Refinement Calculus. CONCUR'93 Springer-Verlag.
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.
Nicole, D A, Barnaby, C and May, M D (1993) General Purpose Parallel Computers in Networks, Routers and Transputers. UNSPECIFIED IOS Press.
Butler, M.J. (1993) Feature Interaction Analysis Using Z.
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.
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.