Verification of an Advanced mips-Type Out-of-Order Execution Algorithm.
Tamarah AronsPublished in: CAV (2004)
Keyphrases
- learning algorithm
- dynamic programming
- preprocessing
- experimental evaluation
- k means
- particle swarm optimization
- simulated annealing
- detection algorithm
- np hard
- computational complexity
- matching algorithm
- recognition algorithm
- genetic algorithm
- experimental study
- times faster
- optimization algorithm
- improved algorithm
- computationally efficient
- high accuracy
- computational cost
- similarity measure
- neural network
- probabilistic model
- optimal solution
- objective function
- memory requirements
- single pass
- verification method