Context-Bounded Analysis for POWER.

Parosh Aziz Abdulla Mohamed Faouzi Atig Ahmed Bouajjani Tuan Phong Ngo

Published in: TACAS (2) (2017)

Keyphrases

genetic algorithm
data sets
real time
power consumption
statistical analysis
multiresolution
context sensitive
contextual information
context aware
special case
data analysis
wide range
optimal solution
multi agent
artificial intelligence
information retrieval
machine learning
real world
databases