|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| adaptivity:fmco:11 (In a collection) | |
| Author(s) | Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero and Laura Semini |
| Title | « Managing Adaptivity in Parallel Systems » |
| In | Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures |
| Series | LNCS |
| Editor(s) | Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer and Marcello M. Bonsangue |
| Volume | 7542 |
| Page(s) | 199-217 |
| Year | 2013 |
| Publisher | Springer |
| ISBN number | 978-3-642-35886-9 |
| URL | http://calvados.di.unipi.it/storage/paper_files/2013_fmco11_adaptivity.pdf |
| Abstract & Keywords | |
| The management of non-functional features (performance, security, power management, etc.) is traditionally a difficult, error prone task for programmers of parallel applications. To take care of these non-functional features, autonomic managers running policies represented as rules using sensors and actuators to monitor and transform a running parallel application may be used. We discuss an approach aimed at providing formal tool support to the integration of independently developed autonomic managers taking care of different non-functional concerns within the same parallel application. Our approach builds on the Behavioural Skeleton experience (autonomic management of non-functional features in structured parallel applications) and on previous results on conflict detection and resolution in rule-based systems. Keywords: multicore, distributed, paraphrase | |
| BibTeX code |
@incollection{adaptivity:fmco:11,
volume = {7542},
author = {Marco Aldinucci and Marco Danelutto and Peter Kilpatrick and Carlo
Montangero and Laura Semini},
series = {LNCS},
keywords = {multicore, distributed, paraphrase},
booktitle = {Formal Methods for Components and Objects: Intl. Symposium, FMCO
2011, Torino, Italy, October 3-5, 2011, Revised Invited
Lectures},
editor = {Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and
Marcello M. Bonsangue},
url = {http://calvados.di.unipi.it/storage/paper_files/2013_fmco11_adaptivity.pdf},
title = {Managing Adaptivity in Parallel Systems},
abstract = {The management of non-functional features (performance, security,
power management, etc.) is traditionally a difficult, error prone
task for programmers of parallel applications. To take care of
these non-functional features, autonomic managers running policies
represented as rules using sensors and actuators to monitor and
transform a running parallel application may be used. We discuss
an approach aimed at providing formal tool support to the
integration of independently developed autonomic managers taking
care of different non-functional concerns within the same parallel
application. Our approach builds on the Behavioural Skeleton
experience (autonomic management of non-functional features in
structured parallel applications) and on previous results on
conflict detection and resolution in rule-based systems.},
isbn = {978-3-642-35886-9},
publisher = {Springer},
year = {2013},
pages = {199-217},
}
|
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)