Dynamic Power Optimization based on Formal Property Checking of Operations.

Shrinidhi Udupi Joakim Urdahl Dominik Stoffel Wolfgang Kunz

Published in: MBMV (2017)

Keyphrases

dynamic environments
optimization algorithm
global optimization
optimization problems
data mining
optimization method
formal methods
real time
real world
learning algorithm
information systems
search algorithm
multi objective
optimization methods
mathematical theory