Dynamic Power Optimization Based on Formal Property Checking of Operations.
Shrinidhi UdupiJoakim UrdahlDominik StoffelWolfgang KunzPublished in: VLSI Design (2017)
Keyphrases
- global optimization
- optimization methods
- power consumption
- dynamic environments
- neural network
- optimal design
- optimization algorithm
- optimization problems
- databases
- particle swarm optimization
- evolutionary algorithm
- objective function
- case study
- optimization method
- artificial intelligence
- information retrieval
- optimization process
- dynamically changing
- power losses