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 

orc:parco:07 (In proceedings)
Author(s) Marco Aldinucci, Marco Danelutto and Peter Kilpatrick
Title« A framework for prototyping and reasoning about grid systems »
InParallel Computing: Architectures, Algorithms and Applications
SeriesADVANCES IN PARALLEL COMPUTING
Editor(s) C. Bischof, M. Bücker, P. Gibbon, G. R. Joubert, T. Lippert, B. Mohr and F. J. Peters
Volume15
Page(s)235-242
Year2008
PublisherIOS press
AddressGermany
ISBN number9781586037963
URLhttp://calvados.di.unipi.it/storage/paper_files/2007_orc_parco.pdf

Annotation

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.

BibTeX code

@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},
}


 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!