Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability.
Shin NakajimaSi-Mohamed LamraouiPublished in: CyPhy (2015)
Keyphrases
- energy consumption
- fault localization
- wireless sensor networks
- energy saving
- energy efficient
- sensor networks
- energy efficiency
- maximum satisfiability
- routing protocol
- model based diagnosis
- energy conservation
- data center
- routing algorithm
- software testing
- fault detection
- data abstraction
- boolean satisfiability
- genetic algorithm
- neural network
- total energy
- max sat
- np complete
- evolutionary algorithm