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 

assist:pepa:ppl:08 (Article)
Author(s) Marco Aldinucci and Anne Benoit
Title« Automatic mapping of ASSIST applications using process algebra »
JournalParallel Processing Letters
Volume18
Number1
Page(s)175-188
Year2008
ISSN number0129-6264
URLhttp://calvados.di.unipi.it/storage/paper_files/2008_pepa_ppl.pdf

Annotation

ISSN: 0129-6264

Abstract
Grid technologies aim to harness the computational capabilities of widely distributed collections of computers. Due to the heterogeneous and dynamic nature of the set of grid resources, 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.

BibTeX code

@article{assist:pepa:ppl:08,
  volume = {18},
  number = {1},
  month = mar,
  issn = {0129-6264},
  author = {Marco Aldinucci and Anne Benoit},
  url = {http://calvados.di.unipi.it/storage/paper_files/2008_pepa_ppl.pdf},
  title = {Automatic mapping of {ASSIST} applications using process algebra},
  abstract = {Grid technologies aim to harness the computational capabilities of
              widely distributed collections of computers. Due to the
              heterogeneous and dynamic nature of the set of grid resources, 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.},
  year = {2008},
  annote = {ISSN: 0129-6264},
  journal = {Parallel Processing Letters},
  pages = {175-188},
}


 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!