Speculative Execution and Compiler-Assisted Multiple Instruction Recovery

1994 ◽  
pp. 135-157
Author(s):  
W. Kent Fuchs ◽  
Neal J. Alewine ◽  
Wen-mei Hwu
Keyword(s):  
Speculative Execution

Formal Verification of Transformation Rules for Speculative Execution in Real-Time Systems

1996 ◽  
Vol 29 (6) ◽  
pp. 9-17
Author(s):  
Mohamed Younis ◽  
Grace Tsai ◽  
Thomas Marlowe ◽  
Alexander Stoyenko
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Speculative Execution ◽  
Real Time Systems ◽  
Transformation Rules ◽  
Time Systems

Speculative Privacy Tracking (SPT): Leaking Information From Speculative Execution Without Compromising Privacy

2021 ◽  
Author(s):  
Rutvik Choudhary ◽  
Jiyong Yu ◽  
Christopher Fletcher ◽  
Adam Morrison
Keyword(s):  
Speculative Execution

scholarly journals Harmonizing Speculative and Non-Speculative Execution in Architectures for Ordered Parallelism

2018 ◽  
Author(s):  
Mark C. Jeffrey ◽  
Victor A. Ying ◽  
Suvinay Subramanian ◽  
Hyun Ryong Lee ◽  
Joel Emer ◽  
...  
Keyword(s):  
Speculative Execution
Sign in / Sign up

Export Citation Format

Share Document