Informatics Report Series


Report   

EDI-INF-RR-0425


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Title:Quantitative analysis of skeleton-structured applicative programs
Authors: Anne Benoit ; Murray Cole ; Stephen Gilmore ; Jane Hillston
Date:Mar 2005
Publication Title:Procs of Journes Francophones des Langages Applicatifs (JFLA'05)
Publication Type:Conference Paper
Abstract:
We propose in this paper a new technique to analyse quantitatively skeleton-structured programs. We give an overview of high-level structured parallel programming and motivate its usefulness and its relevance to applicative parallel programming. Then we introduce some basics of performance evaluation and focus on the Performance Evaluation Process Algebra PEPA. The presentation of these two concepts leads to PEPA models of two classical skeletons, Pipeline and Deal. Finally we describe a simulator, written in Objective Caml, performing single-step debugging on PEPA models, and we illustrate the use of the simulator on our models of skeletons.
Links To Paper
1st Link
Bibtex format
@InProceedings{EDI-INF-RR-0425,
author = { Anne Benoit and Murray Cole and Stephen Gilmore and Jane Hillston },
title = {Quantitative analysis of skeleton-structured applicative programs},
book title = {Procs of Journes Francophones des Langages Applicatifs (JFLA'05)},
year = 2005,
month = {Mar},
url = {http://homepages.inf.ed.ac.uk/mic/Pubs/jfla2005eng.pdf},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh