Neal J. Alewine;W. Kent Fuchs;Wen-Mei Hwu
-;-;-
Statically Safe Speculative Execution for Real-Time Systems
IEEE Transactions on Software Engineering