Overview
WS Presentations Main Page
Next: &-Prolog / Ciao-Prolog
Up: Document: parallelization
Previous: Document: parallelization
- Parallelization, based on
- Strict independence
- Non-strict independence
- Other forms of independence
- Sequentialization: keep parallelization overheads under control
- Granularity analysis
- Granularity control
- Enabling technology: program analysis: abstract interpretation
- Dependencies: sharing, groundness, instantiation state
(depth-k), ...
- Granularity: types, costs, non-failure, ...
- (Other) Optimizations based on analysis information
- Program simplification
- Multiple specialization
Thu Jan 18 11:26:45 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>