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