EPSRC logo

Details of Grant 

EPSRC Reference: GR/K40710/01
Title: OCCAM FOR ALL
Principal Investigator: Welch, Professor P
Other Investigators:
Cook, Dr B
Researcher Co-Investigators:
Project Partners:
BAE Systems Formal Systems (Europe) Ltd GEC
Pre Nexus Migration
Department: Sch of Computing
Organisation: University of Kent
Scheme: Standard Research (Pre-FEC)
Starts: 30 January 1995 Ends: 29 May 1997 Value (£): 141,652
EPSRC Research Topic Classifications:
Parallel Computing
EPSRC Industrial Sector Classifications:
Aerospace, Defence and Marine Electronics
Information Technologies
Related Grants:
Panel History:  
Summary on Grant Application Form
This is a proposal to build a set of architecturally neutral tools, based on occam, that support the design, implementation, optimisation and maintenance of high-performance applications. Systems constructed with these tools will be portable across all current and currently foreseen (MIMD) parallel computing platforms, where they will operate with high levels of efficiency.This programme is partly motivated by fears shared by all partners in the consortium - particularly the industrial partners - that the engineering and commercial benefits previously enjoyed through the use of occam on transputer-based platforms will be denied to them in the future unless the language is opened to the wider parallel computing community. The positive motivation arises from occam being the only parallel-processing language in widespread industrial and academic use whose semantics is sufficient will-defined, simple and powerful to play this unifying role.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.kent.ac.uk