Reminder of Project Objectives
WS Presentations Main Page
Next: Parallelization [UPM]
Up: Document: achievements
Previous: Document: achievements
- Provide and evaluate formal tools for development of parallel
programs and their efficient execution.
- Apply emerging techniques for formal program analysis and
manipulation to problems in parallel execution
- dependency analysis
- granularity analysis / control
- partitioning
- memory management
- program development and understanding, etc.
- Build tools for formal development of parallel logic programs.
- Integrate tools with practical parallel execution platforms.
- Assess effectiveness of the tools in such platforms.
Thu Jan 18 11:30:54 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>