Automatic Refinement Checking of Pipelines with Out-of-Order Execution.

Sudarshan K. Srinivasan

Published in: IEEE Trans. Computers (2010)

Keyphrases

semi automatic
fully automatic
image sequences
data driven
image processing
neural network
data mining
video sequences
search algorithm
relational databases
plan execution