SEEP: exploiting symbolic execution for energy-aware programming.
Timo HönigChristopher EibelRüdiger KapitzaWolfgang Schröder-PreikschatPublished in: HotPower@SOSP (2011)
Keyphrases
- energy aware
- symbolic execution
- wireless sensor networks
- test data generation
- specification language
- high performance computing
- test generation
- routing protocol
- programming language
- energy consumption
- static analysis
- data center
- source code
- sensor networks
- data flow
- energy efficiency
- smart home
- routing algorithm
- power consumption
- artificial intelligence
- genetic algorithm
- ad hoc networks
- database
- activity recognition
- formal specification
- test cases
- cloud computing
- general purpose
- evolutionary algorithm
- high level