Efficient verification of out-of-order behaviors with relaxed scoreboards.

Leandro S. Freitas Gabriel A. G. Andrade Luiz C. V. dos Santos

Published in: ICCD (2012)

Keyphrases

preprocessing
model checking
database
databases
neural network
artificial intelligence
decision trees
objective function
optimal solution
wide range
data structure
learning environment