Managing Adaptivity in Parallel Systems
| العنوان: | Managing Adaptivity in Parallel Systems |
|---|---|
| المؤلفون: | Marco Aldinucci, Carlo Montangero, Peter Kilpatrick, Laura Semini, Marco Danelutto |
| المصدر: | Formal Methods for Components and Objects ISBN: 9783642358869 FMCO |
| سنة النشر: | 2013 |
| مصطلحات موضوعية: | Power management, Model checking, Sensors and actuators, Power managements, Computer science, Autonomic management, Distributed computing, Autonomic managers, Resolution (logic), Parallel application, Task (project management), Autonomic management, Autonomic managers, Conflict detection and resolution, Non-functional concerns, Non-functional features, Parallel application, Power managements, Sensors and actuators, Conflict detection and resolution, Non-functional features, Non-functional concerns |
| الوصف: | 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. |
| اللغة: | English |
| ردمك: | 978-3-642-35886-9 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b1c91de6f01c3a7561a36b862865d35c http://hdl.handle.net/11568/153131 |
| Rights: | OPEN |
| رقم الانضمام: | edsair.doi.dedup.....b1c91de6f01c3a7561a36b862865d35c |
| قاعدة البيانات: | OpenAIRE |
| ردمك: | 9783642358869 |
|---|