DCS Project List
Below is a nearly full list of the projects funded under the DCS Programme. Some small projects
have been omitted and ones that include two funding awards have only been included once.
-
S Abramsky:
An Applicative Programming Methodology for Concurrent and Distributed Systems.
-
Prof D Aspinall:
The Use of Microprocessors in Information Systems.
-
Dr J M Bacon:
An Investigation of Software Structures to Facilitate Distribution.
-
Dr J Bell, Mr N Willis and Dr J Kerridge:
An Evaluation of Alternative Implementations of Multi-processor Communications Mechanisms.
-
Dr K H Bennett:
A Feasibility Study of Loosely Linked Computers.
-
Dr K H Bennett:
A Distributed Filestore.
-
Dr K H Bennett:
A Reliable Network-Transparent Filestore for a Collection of Personal Workstations.
-
R Bornat:
Pascal-M, A Language for the Design of Loosely-Coupled Computer Systems.
-
Mrs H Brown, S E Binns and J D Caul:
Typesetting and Text Processing Server for the Cambridge Ring.
-
Prof P J Brown and Dr P H Welch:
Compiling Servers for the Cambridge Ring.
-
Dr F W Burton and Dr M R Sleep:
Distributed Evaluation of Applicative Programs on a Highly Interconnected Network.
-
Dr D W Bustard and Dr J Elder:
The Design. Implementation and Application of Languages for Distributed Computing.
-
Dr D W Bustard:
Portable Pascal plus Compiler.
-
Prof G D Cain and R C S Morling:
Local Area Data Network for Instrumentation Applications.
-
D Coleman, J W Hughes:
Developing a Program Methodology for Multiprograms.
-
Prof G F Coulouris:
Distributed System Requirements for Effective Man-Machine Interaction.
-
R J Cunningham and Dr J Kramer:
Computer Assisted Methods for Developing Verified Software.
-
Dr J Darlington:
Development of a General Purpose Applicative Language Machine and Applicative Language Environment.
-
Dr L C W Dixon:
The Advantages of a Parallel Computation Facility for Global Optimisation.
-
Dr R D Dowsing, Dr P W Grant:
The Specification and Implementation of Programs on a Multi-microprocessor.
-
Prof D J Evans. Dr I A Newman:
An Investigation of the Relationship between Algorithm Structure and Parallel Architectures.
-
Prof D J Evans, Dr I A Newman, Dr M C Woodward:
A Research Vehicle for Investigating the Use of Closely Coupled Distributed Systems.
-
Prof J P Fitch and Dr P J Willis:
A Feasibility Study of a Tree Structured Arrangement of Processors.
-
Dr J A Gordon:
Secure High Speed Data Transmission.
-
Prof R L Grimsdale, Dr F Halsall:
The Design and Implementation of a Multi-microprocessor System.
-
Prof R L Grimsdale, Dr F Halsall:
The Design and Implementation of a Broadband Local Area Network.
-
Prof R L Grimsdale and Dr F Halsall:
Decentralised Resource Management in a Tightly-Coupled Multicomputer System.
-
Prof R L Grimsdale and Dr D J Woollons:
Advanced Techniques for the Computer Generation of Images.
-
Dr J R Gurd and Dr I Watson:
A Multilayered Dataflow Computer System.
-
F K Hanna:
Distributed Computing Systems for Interactive Knowledge Bases.
-
Dr P Henderson:
Purely Functional Operating System.
-
S E Hersom:
Development of Optimisation Algorithms for Parallel Computation.
-
P L Higginson:
A Study of Protocol Requirements for Multi-Media Messages and Intercommunicating Office Machines.
-
Prof C A R Hoare, J E Stoy:
Software Engineering.
-
Prof C A R Hoare, J E Stoy and M K Harper:
Distributed Computing Software.
-
J W Hughes, M S Powell:
Multi-processor Software Engineering.
-
Dr J R W Hunter, Dr K Baker and Dr A Sloman:
Interactive Software Tools for Distributed Computing Systems with an Application to Picture Interpretation.
-
D Hutchison, W D Shepherd:
A Feasibility Study into the Complexity of Gateways for Connecting Ethernet to Ring Networks.
-
D Hutchison and W D Shepherd:
Direct Comparison of Ring and Ethernet Type Systems.
-
Dr R N Ibbett, Dr D A Edwards and Dr C J Theaker:
A High Performance Optical Fibre Based Local Area Computer Network.
-
Prof J K Iliffe:
Design Studies for Active Memory Arrays.
-
Dr C C Kirkham, Dr J R Gurd:
Development Software for a Prototype Data Flow Computer.
-
Prof P T Kirstein:
Communication Protocols in the Context of X25 Computer Networks.
-
Dr P E Lauer:
Design and Analysis of Highly Parallel Distributed Systems.
-
Dr P E Lauer:
A Computer Based Environment for the Design and Analysis of Highly Parallel and Distributed Computing Systems.
-
N Martin:
Message Services and Directory Development.
-
R M McKeag:
Collaborative Research into Parallelism.
-
A J R G Milner:
Applications of Flow Algebras to Problems in Concurrent Computation.
-
Dr I Mitrani:
Modelling and Performance Evaluation for Distributed Computing Systems.
-
Dr I Mitrani:
Modelling and Performance Evaluation for Distributed Computing Systems.
-
Prof R M Needham:
Distributed Computing using Wide Band Communications.
-
P E Osmon:
Implementation of a High-level Dataflow Language.
-
I Page:
DISARRAY - An Evaluation of an Array Processor for Bitmap Displays.
-
Prof Y Paker:
Computer Aided Multi-microprocessor Systems Modelling, Simulation and Evaluation.
-
Dr G D Plotkin and A J R G Milner:
Semantics of Non-Deterministic and Concurrent Computation.
-
Prof B Randell:
A Project to Investigate the Design of Highly Concurrent General-Purpose Computing Systems.
-
Prof B Randell:
Reliability and Integrity of Distributed Computing Systems.
-
Dr J D Roberts:
Transformation of Programs for Tightly Coupled Distributed Systems.
-
J A Sharp:
A Dataflow Program Design Environment - Its Implementation and Use as a Research Vehicle.
-
N H Shellness:
An Architecture for a Multiple Computer System.
-
Dr M R Sleep:
Instruction Sets for Data Flow Architectures: A Comparative Study.
-
Dr M R Sleep:
The Potential of Pure Combinatory Code for Distributed Computing.
-
Dr M R Sleep:
Programming an Extensible Array of Transputers using a Naturally Extended Functional Notation.
-
Dr M S Sloman:
Communications for Distributed Process Control.
-
Dr M S Sloman and Dr J Kramer:
Specification and On-Line Management for Distributed Real-Time Systems.
-
Dr D G Smith:
Overload Control in Processor-Based Systems.
-
Prof D A Turner:
A Denotational Language for Dataflow Machines.
-
Prof D A Turner:
An Applicative Language Machine and Operating System.
-
W W Wadge:
LUCID as a Data Flow Language.
-
Dr I C Wand:
MODULA Distribution and Promulgation.
-
Dr I C Wand:
Distributed Operating System for Time-Sharing.
-
Dr I C Wand:
Operating System for a Network of Personal Computers.
-
Dr I C Wand:
Unix X25 Interface.
-
Dr C Whitby-Strevens and D May:
A Building Block System for Distributed Computing.