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 

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 »
InFormal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures
SeriesLNCS
Editor(s) Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer and Marcello M. Bonsangue
Volume7542
Page(s)199-217
Year2013
PublisherSpringer
ISBN number978-3-642-35886-9
URLhttp://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},
}


 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!