Three architectural models for compiler-controlled speculative execution | IEEE Journals & Magazine | IEEE Xplore