> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: TLB virtualization in the context of hypervisor verification Weitere Titel: TLB Virtualisierung im Kontext der Hypervisor Verifikation Beteiligte: Kovalev, Mikhail [Verfasser:in]; Paul, Wolfgang J. [Akademische:r Betreuer:in] Erschienen: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: TLB <Informatik> ; Virtualisierung ; Verifikation ; Software-Verifikation ; Hypervisor-Virtualisierung ; semantische Stapel ; Schattenseitentabellen ; x86 ; software verification ; TLB ; hypervisor ; virtualization ; semantic stack ; shadow page tables ; Hochschulschrift Entstehung: Hochschulschrift: Saarbrücken, Universität des Saarlandes, Diss., 2013 Anmerkungen: Zugangsstatus: Freier Zugang