Speculative execution in high-performance computer architectures. (2005)