Abstract
| Original language | English |
|---|---|
| Title of host publication | SAC '14 |
| Subtitle of host publication | Proceedings of the 29th Annual ACM Symposium on Applied Computing |
| Place of Publication | New York, NY |
| Publisher | Association for Computing Machinery (ACM) |
| Pages | 1206-1212 |
| Number of pages | 7 |
| ISBN (Print) | 978-1-4503-2469-4 |
| DOIs | |
| Publication status | Published - Mar 2014 |
| Event | 29th Annual ACM Symposium on Applied Computing, SAC 2014 - Gyeongju, Korea, Republic of Duration: 24 Mar 2014 → 28 Mar 2014 Conference number: 29 |
Conference
| Conference | 29th Annual ACM Symposium on Applied Computing, SAC 2014 |
|---|---|
| Abbreviated title | SAC |
| Country | Korea, Republic of |
| City | Gyeongju |
| Period | 24/03/14 → 28/03/14 |
Fingerprint
Keywords
- EWI-23217
- CR-D.2.2
- minimal abstraction
- Energy-aware software
- METIS-303961
- Model Checking
- Modularity
- IR-88452
- CEGAR
- Resource-utilization model
Cite this
}
A tool-supported approach for modular design of energy-aware software. / te Brinke, Steven; Malakuti Khah Olun Abadi, Somayeh; Bockisch, Christoph; Bergmans, Lodewijk; Akşit, Mehmet ; Katz, Shmuel.
SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing. New York, NY : Association for Computing Machinery (ACM), 2014. p. 1206-1212.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - A tool-supported approach for modular design of energy-aware software
AU - te Brinke, Steven
AU - Malakuti Khah Olun Abadi, Somayeh
AU - Bockisch, Christoph
AU - Bergmans, Lodewijk
AU - Akşit, Mehmet
AU - Katz, Shmuel
N1 - eemcs-eprint-23217
PY - 2014/3
Y1 - 2014/3
N2 - The reduction of energy usage by software-controlled systems has many advantages, including prolonged battery life and reduction of greenhouse gas emissions. Thus, being able to implement energy optimization in software is essential. This requires a model of the energy utilization—or more general resource utilization—for each component in the system. Optimizer components, then, analyze resource utilization of other components in terms of such a model and adapt their behavior accordingly. We have devised a notation for Resource-Utilization Models (RUMs) that can be part of a component's application programming interface (API) to facilitate the modular implementation of optimizers. In this paper, we present tools for extracting such RUMs from components with an existing implementation.
AB - The reduction of energy usage by software-controlled systems has many advantages, including prolonged battery life and reduction of greenhouse gas emissions. Thus, being able to implement energy optimization in software is essential. This requires a model of the energy utilization—or more general resource utilization—for each component in the system. Optimizer components, then, analyze resource utilization of other components in terms of such a model and adapt their behavior accordingly. We have devised a notation for Resource-Utilization Models (RUMs) that can be part of a component's application programming interface (API) to facilitate the modular implementation of optimizers. In this paper, we present tools for extracting such RUMs from components with an existing implementation.
KW - EWI-23217
KW - CR-D.2.2
KW - minimal abstraction
KW - Energy-aware software
KW - METIS-303961
KW - Model Checking
KW - Modularity
KW - IR-88452
KW - CEGAR
KW - Resource-utilization model
U2 - 10.1145/2554850.2554964
DO - 10.1145/2554850.2554964
M3 - Conference contribution
SN - 978-1-4503-2469-4
SP - 1206
EP - 1212
BT - SAC '14
PB - Association for Computing Machinery (ACM)
CY - New York, NY
ER -