Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

pepa_assist:hlpp:05 (In proceedings)
Author(s) Marco Aldinucci and Anne Benoit
Title« Automatic mapping of ASSIST applications using process algebra »
InProc. of HLPP2005: Intl. Workshop on High-Level Parallel Programming
Year2005
OrganizationWarwick University, Coventry, UK
URLhttp://calvados.di.unipi.it/storage/paper_files/2005_pepa_hlpp.pdf
Abstract
One of the most promising technical innovations in present-day computing is the invention of grid technologies which harness the computational power of widely distributed collections of computers. However, the programming and optimisation burden of a low level approach to grid computing is clearly unacceptable for large scale, complex applications. The development of grid applications can be simplified by using high-level programming environments. In the present work, we address the problem of the mapping of a high-level grid application onto the computational resources. In order to optimise the mapping of the application, we propose to automatically generate performance models from the application using the process algebra PEPA. We target applications written with the high-level environment ASSIST, since the use of such a structured environment allows us to automate the study of the application more effectively. Our methodology is presented through an example of a classical Divide&Conquer algorithm, together with results which demonstrate the efficiency of this approach.

BibTeX code

@inproceedings{pepa_assist:hlpp:05,
  month = jul,
  author = {Marco Aldinucci and Anne Benoit},
  booktitle = {Proc. of HLPP2005: Intl. Workshop on High-Level Parallel
               Programming},
  url = {http://calvados.di.unipi.it/storage/paper_files/2005_pepa_hlpp.pdf},
  abstract = {One of the most promising technical innovations in present-day
              computing is the invention of grid technologies which harness the
              computational power of widely distributed collections of
              computers. However, the programming and optimisation burden of a
              low level approach to grid computing is clearly unacceptable for
              large scale, complex applications. The development of grid
              applications can be simplified by using high-level programming
              environments. In the present work, we address the problem of the
              mapping of a high-level grid application onto the computational
              resources. In order to optimise the mapping of the application, we
              propose to automatically generate performance models from the
              application using the process algebra PEPA. We target applications
              written with the high-level environment ASSIST, since the use of
              such a structured environment allows us to automate the study of
              the application more effectively. Our methodology is presented
              through an example of a classical Divide\&Conquer algorithm,
              together with results which demonstrate the efficiency of this
              approach.},
  title = {Automatic mapping of {ASSIST} applications using process algebra},
  organization = {Warwick University, Coventry, UK},
  year = {2005},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!