A Comparison of Two Verification Methods for Speculative Instruction Execution.

Tamarah Arons Amir Pnueli

Published in: TACAS (2000)

Keyphrases

computational cost
significant improvement
preprocessing
benchmark datasets
high dimensional
empirical studies