Formal Methods for Dynamic Power Management.
Rajesh K. GuptaSandy IraniSandeep K. ShuklaPublished in: ICCAD (2003)
Keyphrases
- formal methods
- dynamic power management
- power management
- power consumption
- energy efficiency
- data center
- model checking
- energy saving
- energy consumption
- knowledge based systems
- formal analysis
- formal specification
- model checker
- safety critical
- process algebra
- software engineering
- artificial intelligence
- wireless sensor networks
- energy efficient
- knowledge acquisition
- object oriented
- test cases
- development lifecycle
- case study