Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 9 van 17 gevonden artikelen
 
 
  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.
 
 
Titel: 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.
Auteur: Younis, Mohamed F.
Tsai, Grace
Marlowe, Thomas J.
Stoyen, Alexander D.
Verschenen in: Automatica
Paginering: Jaargang 34 (1998) nr. 8 pagina's 14 p.
Jaar: 1998
Inhoud:
Uitgever: Elsevier Science Ltd
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 9 van 17 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland