Title of article
Formal Verification of Compiler Transformations for Speculative Real-Time Execution
Author/Authors
Mohamed F. Younis، نويسنده , , Grace Tsai، نويسنده , , Thomas J. Marlowe، نويسنده , , Alexander D. Stoyen، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
14
From page
939
To page
952
Keywords
Speculative execution , optimization , temporal logic. , real-time systems , Compiler transformation , programming languages , Computer control , distributed control , formal verification , Compilers
Journal title
Automatica
Serial Year
1998
Journal title
Automatica
Record number
368631
Link To Document