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)  235242 
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 semiformal 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 semiformal 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 = {235242},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)