Period Progress on Parallelization
WS Presentations Main Page
Next: Parallelization Based on
Up: Document: parallelization
Previous: Progress Summary: Previous
- Parallelization based on strict independence
- Correctness of the framework proved
- Graph-based semantics w.r.t. sequential execution
- Simplification phase of the graph w.r.t. sequential graph
- Transformed graph (via ``annotators'') w.r.t. simplified graph
- Assessment of the implemented tools finalized
- Parallelization based on non-strict independence
- Design and implementation of an annotator that exploits
conditional parallelism: CRLP
- Implementation of new run-time tests
- Assessment of the implemented annotator
- Possibilities of improved analyses investigated
- Pisa's analysis of cut
- Soton's Depth-K Sharing analysis
- UPM's Incremental analysis
Thu Jan 18 11:26:45 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>