Università di Pisa
Sistema bibliotecario di ateneo

Management in distributed systems: a semi-formal approach

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.

[img] PDF (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (200Kb)


    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