Aldinucci, Marco and Danelutto, Marco and Kilpatrick, Peter (2007) Management in distributed systems: a semi-formal approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
PDF (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (200Kb) |
Official URL: http://compass2.di.unipi.it/TR/Files/TR-07-05.pdf....
Abstract
Formal tools can be used in a ''semi-formal'' way to support distributed program analysis and tuning. We show how ORC has been used to reverse engineer a skeleton based programming environment and to remove one of the skeleton system's recognized weak points. The semi-formal approach adopted allowed these steps to be performed in a programmer-friendly way.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | Distributed systems, orchestration, algorithmic skeletons |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 09 Dec 2014 13:12 |
Last Modified: | 09 Dec 2014 13:12 |
URI: | http://eprints.adm.unipi.it/id/eprint/2178 |
Repository staff only actions
View Item |