Zum Inhalt springen

  3. Williams, David E. [VerfasserIn] ; Crosby, Simon [Sonstige Person, Familie und Körperschaft]; Garcia, Juan R. [Sonstige Person, Familie und Körperschaft]

    Virtualization with Xen : including XenEnterprise, XenServer, and XenExpress ; [the book that demystifies Xen ; complete coverage of the Xen product line, including version 3.2 ; your detailed tutorial on how to use and implement the platform ; bonus CD contains the Powerful XenExpress hypervisor: ready to install for production virtualization of Linux and Windows guests]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Burlington, MA: Syngress Publ., 2007

  4. Maus, Stefan [VerfasserIn] ; Podelski, Andreas [AkademischeR BetreuerIn]

    Verification of hypervisor subroutines written in Assembler = Verifikation von Hypervisorunterrutinen, geschrieben in Assembler

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Freiburg: Universität, 2011

  5. Hugo, Andra-Ecaterina [VerfasserIn] ; Bordeaux [MitwirkendeR]; Namyst, Raymond [MitwirkendeR]; Wacrenier, Pierre-André [MitwirkendeR]; Guermouche, Abdou [MitwirkendeR]

    Composability of parallel codes on heterogeneous architectures ; La composition des codes parallèles sur plates-formes hétérogènes

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-12-12

  7. Shadrin, Andrey [VerfasserIn] ; Paul, Wolfgang J. [AkademischeR BetreuerIn]

    Mixed low- and high level programming language semantics and automated verification of a small hypervisor

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012

  8. Costa, Diogo [VerfasserIn]; Cuomo, Luca [VerfasserIn]; Oliveira, Daniel [VerfasserIn]; Savino, Ida Maria [VerfasserIn]; Morelli, Bruno [VerfasserIn]; Martins, José [VerfasserIn]; Tronci, Fabrizio [VerfasserIn]; Biasci, Alessandro [VerfasserIn]; Pinto, Sandro [VerfasserIn] ; Diogo Costa and Luca Cuomo and Daniel Oliveira and Ida Maria Savino and Bruno Morelli and José Martins and Fabrizio Tronci and Alessandro Biasci and Sandro Pinto [MitwirkendeR]

    IRQ Coloring: Mitigating Interrupt-Generated Interference on ARM Multicore Platforms

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  9. Mvondo Djob, Barbe Thystere [VerfasserIn] ; Université Grenoble Alpes [MitwirkendeR]; Palma, Noël de [MitwirkendeR]; Tchana, Alain Bouzaïde [MitwirkendeR]

    Résilience et dimensionnement dans des environnements virtualisés ; Resilience and sizing in virtualized environments

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-12-18

  10. Kovalev, Mikhail [VerfasserIn] ; Paul, Wolfgang J. [MitwirkendeR]

    TLB virtualization in the context of hypervisor verification ; TLB Virtualisierung im Kontext der Hypervisor Verifikation

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Scientific publications of the Saarland University (UdS), 2013

  11. Bitchebe, Stella [VerfasserIn] ; Université Côte d'Azur [MitwirkendeR]; Tchana, Alain Bouzaïde [MitwirkendeR]

    Au delà de l'hyperviseur (OoH) : quand la virtualisation imbriquée devient pratique ; Out of hypervisor (OoH) : when nested virtualization becomes practical

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-02-03

  12. Fautrel, Tristan [VerfasserIn] ; Université Gustave Eiffel [MitwirkendeR]; George, Laurent [MitwirkendeR]

    Analyse et ordonnancement d’un système hiérarchique virtualisé composé d’applications temps réel strictes ; Analysis and scheduling of hierarchical virtualized systems composed of hard real-time applications

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-05-06

  13. Martins, José [VerfasserIn]; Tavares, Adriano [VerfasserIn]; Solieri, Marco [VerfasserIn]; Bertogna, Marko [VerfasserIn]; Pinto, Sandro [VerfasserIn] ; José Martins and Adriano Tavares and Marco Solieri and Marko Bertogna and Sandro Pinto [MitwirkendeR]

    Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  14. Bolignano, Pauline [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Prove & Run [MitwirkendeR]; Jensen, Thomas [MitwirkendeR]; Siles, Vincent [MitwirkendeR]

    Formal models and verification of memory management in a hypervisor ; Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-05-24

  15. Pinto, Sandro [VerfasserIn]; Pereira, Jorge [VerfasserIn]; Gomes, Tiago [VerfasserIn]; Tavares, Adriano [VerfasserIn]; Cabral, Jorge [VerfasserIn] ; Sandro Pinto and Jorge Pereira and Tiago Gomes and Adriano Tavares and Jorge Cabral [MitwirkendeR]

    LTZVisor: TrustZone is the Key

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  16. Morgan, Benoît [VerfasserIn] ; Toulouse, INSA [MitwirkendeR]; Nicomette, Vincent [MitwirkendeR]; Alata, Eric [MitwirkendeR]

    Protection des systèmes informatiques vis-à-vis des malveillances : un hyperviseur de sécurité assisté par le matériel ; Protection of the computer systems face to face hostilities : a hypersight of sight (security) assisted by the material ( equipment)

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2016-12-06

  17. Reinhardt, Dominik [VerfasserIn] ; Kühnhauser, Winfried [MitwirkendeR]; Baumgarten, Uwe [MitwirkendeR]; Kucera, Markus [MitwirkendeR]

    Virtualisierung eingebetteter Echtzeitsysteme im Mehrkernbetrieb zur Partitionierung sicherheitsrelevanter Fahrzeugsoftware

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Universitätsverlag Ilmenau, 2016

  18. Wailly, Aurélien [VerfasserIn] ; Evry, Institut national des télécommunications [MitwirkendeR]; Debar, Hervé [MitwirkendeR]

    End-to-end security architecture for cloud computing environments ; Architecture de sécurité de bout en bout et mécanismes d'autoprotection pour les environnements Cloud

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-09-30

  19. Mayap Kamga, Christine [VerfasserIn] ; Toulouse, INPT [MitwirkendeR]; Hagimont, Daniel [MitwirkendeR]

    Gestion de ressources de façon "éco-énergétique" dans un système virtualisé : application à l'ordonnanceur de marchines virtuelles ; Design and implementation of an energy-effcient resources manager in a virtualized system : case of virtuals machines scheduler

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-06-26

  20. Thierry, Philippe [VerfasserIn] ; Paris Est [MitwirkendeR]; George, Laurent [MitwirkendeR]

    Systèmes véhiculaires à domaines de sécurité et de criticité multiples : une passerelle systronique temps réel ; Vehicular systems with multiple security and criticality domains : a real-time sytronic gateway

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-07-02