Run-Time Validation of Speculative Optimizations using CVC.

Clark W. Barrett Benjamin Goldberg Lenore D. Zuck

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

model validation
neural network
database systems
cooperative
special case
data sets
real world
clustering algorithm
high level
high quality
reinforcement learning
pattern recognition
multi objective evolutionary