A Development Process for Parallel Large-Scale Applications
Project team
Research Objectives
The objective of this project is the development of a practical development process for
parallel large-scale applications. This development process is based on a formal framework
in which the potential (partly machine model specific) high-level parallelism inherent in
large-scale applications can be expressed and requirements on scheduling and implementation
are given. Current research concentrates on automatizing individual process steps and
automatizing the verification of manually applied process steps.
This research is supported by the Netherlands Organisation for Scientific Research (NWO)
and by the British Council under Grant No. R 62-432, and by the EC under `Eurochip'.
Collaborations
The development process is developed in close collaboration with Dr. W.H.F.J. Korver,
University of Surrey, Guildford, UK.
Intended results, deliverables
A development process for parallel large-scale applications, including interactive
software support.
Timetable
Starting date: July 1994
Ending date: ...
Recent publications
- J.P. Geschiere and W.H.F.J. Korver.
A Practical Development Process for Parallel Large-Scale Applications and its
underlying Formal Framework.
Under revision for publication in The Computer Journal.
- J.P. Geschiere and W.H.F.J. Korver.
A Formal Framework for Defining and Developing Parallel Large-Scale
Applications.
To appear in Proceedings of the Fifth International Conference on Parallel
Computing ParCo95, Gent, Belgium, September 1995.
- J.P. Geschiere and W.H.F.J. Korver.
A Practical Development Process for Parallel Large-Scale Applications and its
underlying Formal Framework.
Technical Report CSRG95-05, Department of Electronic and Electrical Engineering,
University of Surrey, UK, April 1995 (This report is under revision for publication in
The Computer Journal cf. above).
Last modified on July 2, 1996 by Lex Wolters.