Search

Your search keyword '"Younis, Mohamed"' showing total 16 results

Search Constraints

Start Over You searched for: Author "Younis, Mohamed" Remove constraint Author: "Younis, Mohamed" Publisher elsevier ltd Remove constraint Publisher: elsevier ltd
16 results on '"Younis, Mohamed"'

Search Results

16. Formal Verification of Compiler Transformations for Speculative Real-Time Execution>>>A short version of t>his paper was presented at the 20th IFAC/IFIP Workshop on Real Time Programming (WRTP’95), which was held in Gt. Lauderdale, Florida, U.S.A., during November 1995. The Published Proceedings of this IFAC Meeting may be ordered from: Elsevier Science Limited, The Boulevard, Langford Lane, Kidlington, Oxford OX5 1GB, United Kingdom. This paper was recommended for publication in revised form by Associated Editor Peter Fleming under the direction of Editor Y. Arkun.

Catalog

Books, media, physical & digital resources