next up previous
Next: Approach and Methods Up: Project Overview and Rationale Previous: Project Overview and Rationale

Objectives

The aim of ParForCE is to provide and evaluate formal tools for the development of parallel programs and their efficient execution. The first objective is to apply the emerging techniques for formal program analysis and manipulation to solve important problems relating to parallel execution such as dependency and granularity analysis, partitioning, or memory management. This is done by building tools for the formal development of parallel logic programs. The second objective is to integrate such tools with practical parallel execution platforms. The third objective is to provide an assessment of the effectiveness of the tools in such platforms.



<webmaster@clip.dia.fi.upm.es> Last Modified: Fri May 9 18:15:08 MET DST 1997