> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Store buffer reduction theorem and application Beteiligte: Chen, Geng [Verfasser:in]; Paul, Wolfgang J. [Akademische:r Betreuer:in] Erschienen: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2016 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Speichermodell ; Verifikation ; ISA ; Simulation ; Concurrent C ; weak memory model ; sequential consistency ; TSO ; MMU ; formal verification ; programming disciplilne ; Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Saarbrücken, Universität des Saarlandes, 2016 Anmerkungen: Zugangsstatus: Freier Zugang