Formal Verification of Compiler Transformations for Speculative Real-Time Execution

Mohamed F. Younis، نويسنده , , Grace Tsai، نويسنده , , Thomas J. Marlowe، نويسنده , , Alexander D. Stoyen، نويسنده ,

روزنامه با شماره پیاپی سال 1998

14

939

952

Speculative execution , optimization , temporal logic. , real-time systems , Compiler transformation , programming languages , Computer control , distributed control , formal verification , Compilers

Automatica

1998

Automatica

368631