Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption.
Pedro López-GarcíaLuthfi DarmawanMaximiliano KlemenUmer LiqatFrancisco BuenoManuel V. HermenegildoPublished in: CoRR (2018)
Keyphrases
- energy consumption
- horn clauses
- resource usage
- resource utilization
- wireless sensor networks
- resource management
- energy saving
- first order logic
- inference rules
- energy efficiency
- resource allocation
- sensor networks
- logic programs
- resource consumption
- data center
- data transmission
- inductive logic programming
- base station
- model checking
- database queries
- routing algorithm
- total energy
- sensor nodes
- routing protocol
- resource sharing
- data sets
- response time
- databases
- database