Abstract
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.
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/Territory | Korea, Republic of |
City | Gyeongju |
Period | 24/03/14 → 28/03/14 |
Keywords
- EWI-23217
- CR-D.2.2
- minimal abstraction
- Energy-aware software
- METIS-303961
- Model Checking
- Modularity
- IR-88452
- CEGAR
- Resource-utilization model