Login / Signup
A Formal Approach to Power Optimization in CPSs With Delay-Workload Dependence Awareness.
Hyung-Chan An
Hoeseok Yang
Soonhoi Ha
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2016)
Keyphrases
</>
optimization algorithm
optimization problems
power consumption
global optimization
response time
formal methods
power transmission
power losses
database
learning algorithm
simulated annealing
optimization method
formal model
optimization methods
optimization process
constrained optimization