Project Aims
WS Presentations Main Page
Up: Document: intro
Previous: Performance: Prolog vs.
- 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:20:31 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>