Control-flow speculation through value prediction for superscalar processors | Publicación