- Abstract:
- Nous proposons dans cet article une nouvelle technique pour analyser quantitativement des programmes structures a l'aide de squelettes algorithmiques. Nous donnons un apercu de la programmation parallele structuree de haut niveau et nouse motivons son utilite et sa pertinence pour les programmes paralleles applicatifs. Nous introduisons ensuite quelque concepts d'evaluation de performance, et notamment les algebres de processus pour l'evaluation des performances PEPA (Performance Evaluation Process Algebra). Ces presentations nous permettent d'introduire les modeles en PEPA de deux squelettes classique, les squelettes Pipeline et Donne. Enfin, nous decrivons un simulateur, ecrit en Objective Caml, permettant de deboguer des modeles PEPA pas a pas, et nous illustrons l'utilisation du simulateur sur nos modeles de squelettes.
- Links To Paper
- 1st Link
- 2nd Link
- Bibtex format
- @InProceedings{EDI-INF-RR-1083,
- author = {
Anne Benoit
and Murray Cole
and Stephen Gilmore
and Jane Hillston
},
- title = {Analyse quantitative de programmes applicatif base de squelettes algorithmiques},
- book title = {Journees Francophones des Langages Applicatifs (JFLA05)},
- year = 2005,
- month = {Mar},
- url = {http://homepages.inf.ed.ac.uk/mic/Pubs/jfla2005.pdf},
- }
|