orc:parco:07 (In proceedings)
|
Author(s) | Marco Aldinucci, Marco Danelutto and Peter Kilpatrick |
Title | « A framework for prototyping and reasoning about grid systems » |
In | Parallel Computing: Architectures, Algorithms and Applications |
Series | ADVANCES IN PARALLEL COMPUTING |
Editor(s) | C. Bischof, M. Bücker, P. Gibbon, G. R. Joubert, T. Lippert, B. Mohr and F. J. Peters |
Volume | 15 |
Page(s) | 235-242 |
Year | 2008 |
Publisher | IOS press |
Address | Germany |
ISBN number | 9781586037963 |
URL | http://calvados.di.unipi.it/storage/paper_files/2007_orc_parco.pdf |
Parco 2007
Abstract |
A framework supporting fast prototyping as well as tuning of distributed applications is presented. The approach is based on the adoption of a formal model that is used to describe the orchestration of distributed applications. The formal model (Orc by Misra and Cook) can be used to support semi-formal reasoning about the applications at hand. The paper describes how the framework can be used to derive and evaluate alternative orchestrations of a well know parallel/distributed computation pattern; and shows how the same formal model can be used to support generation of prototypes of distributed applications skeletons directly from the application description. |
@inproceedings{orc:parco:07,
volume = {15},
author = {Marco Aldinucci and Marco Danelutto and Peter Kilpatrick},
series = {ADVANCES IN PARALLEL COMPUTING},
booktitle = {Parallel Computing: Architectures, Algorithms and Applications},
editor = {C. Bischof and M. B{\"u}cker and P. Gibbon and G. R. Joubert and T.
Lippert and B. Mohr and F. J. Peters},
url = {http://calvados.di.unipi.it/storage/paper_files/2007_orc_parco.pdf},
abstract = {A framework supporting fast prototyping as well as tuning of
distributed applications is presented. The approach is based on
the adoption of a formal model that is used to describe the
orchestration of distributed applications. The formal model (Orc
by Misra and Cook) can be used to support semi-formal reasoning
about the applications at hand. The paper describes how the
framework can be used to derive and evaluate alternative
orchestrations of a well know parallel/distributed computation
pattern; and shows how the same formal model can be used to
support generation of prototypes of distributed applications
skeletons directly from the application description.},
title = {A framework for prototyping and reasoning about grid systems},
isbn = {9781586037963},
address = {Germany},
publisher = {IOS press},
year = {2008},
annote = {Parco 2007},
pages = {235-242},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)