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

Granularity Analysis and Control
\

M. Hermenegildo, P. López (UPM)
S.K. Debray (U. of Arizona)
Presented by Pedro López

Madrid, January 15-16, 1996

• Introduction
• Example
• Progress in Past Periods
• Progress in this Period
• Lower Bound Cost Analysis
• Non-failure Analysis
• Non-failure Analysis (contd.)
• Non-failure Analysis: Assessment
• Non-failure Analysis: Experimental Results
• Lower Bound Cost Estimation
• Cost Estimation for Divide-and-Conquer Programs
• Example: Divide-and-Conquer Programs
• Experimental Results on CIAO-Prolog
• Experimental Results on MUSE
• Experimental Results on ECLPS
• Conclusions
• Future Work