Verifying Advanced Microarchitectures that Support Speculation and Exceptions.

Ravi Hosabettu Ganesh Gopalakrishnan Mandayam K. Srivas

Published in: CAV (2000)

Keyphrases

decision support
real world
image processing
artificial intelligence
feature selection
image segmentation
data structure
data streams
evolutionary algorithm
probabilistic model
learning activities