Static analysis of energy consumption for LLVM IR programs.
Neville GrechKyriakos GeorgiouJames PallisterSteve KerrisonJeremy MorseKerstin EderPublished in: SCOPES (2015)
Keyphrases
- energy consumption
- static analysis
- symbolic execution
- wireless sensor networks
- energy saving
- energy efficiency
- dynamic analysis
- abstract interpretation
- energy efficient
- information retrieval
- source code
- sensor networks
- energy conservation
- base station
- save energy
- routing protocol
- data transmission
- test suite
- regular expressions
- routing algorithm
- data center
- power management
- energy aware
- power consumption
- sensor nodes
- data streams
- environmental impact
- electricity consumption
- residual energy
- resource limitations
- total energy
- multi hop
- greenhouse gas emissions