Multicore power management: Ensuring robustness via early-stage formal verification.
Anita LunguPradip BoseDaniel J. SorinSteven GermanGeert JanssenPublished in: MEMOCODE (2009)
Keyphrases
- early stage
- formal verification
- power management
- power consumption
- model checking
- energy saving
- model checker
- energy consumption
- data center
- energy efficiency
- automated verification
- bounded model checking
- symbolic model checking
- energy efficient
- program slicing
- battery life
- description language
- digital libraries
- database systems
- data sets
- real time