Name
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. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1145/2554850.2554964 | SAC |
Keywords | Field | DocType |
modules and interfaces,model checking,resource-utilization model,modularity,cegar,minimal abstraction,energy-aware software | Notation,Model checking,Computer science,Software,Application programming interface,Modular design,Battery (electricity),Operating system,Modularity,Energy minimization,Distributed computing | Conference |
Citations | PageRank | References |
3 | 0.46 | 18 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Steven te Brinke | 1 | 13 | 2.79 |
| Somayeh Malakuti | 2 | 74 | 12.04 |
| Christoph Bockisch | 3 | 313 | 28.25 |
| Lodewijk Bergmans | 4 | 1243 | 120.12 |
| Mehmet Aksit | 5 | 1116 | 133.23 |
| Shmuel Katz | 6 | 1357 | 292.62 |