ESPRIT Basic Research Project 6707 ParForCE
``Parallel Formal Computing Environment''
Technology Transfer Workshop and Final Review

Platform Improvements
\

The CLIP group at UPM
Presented by Manuel Carro

Madrid, January 15-16, 1996

• Platform Improvement
• Backtracking Families
  • Backtracking Families
  • The Marker Scheme for IAP
  • An Example:
  • Taking Advantage of Determinism
  • Backtracking Families
  • Backtracking Schemes
  • Gain
  • Other Optimizations
• Data-Parallelism and (And-) Parallelism
  • Data-Parallelism
  • The Naive Approach
  • The Naive Approach (Cont'd.)
  • Keeping the Recursion Local
  • The ``Data Parallel'' Approach
  • The ``Data Parallel'' approach (Cont'd.)
  • A More Dynamic Unfolding
  • A More Dynamic Unfolding (Cont'd.)
  • Dynamic Unfolding in Parallel
  • Dynamic Unfolding in Parallel (Contd.)
  • Summarizing Results
  • Conclusions