Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur en fr
  • Nouveautés
  • Recherche avancée
  • Par auteur
  • Par date
  • Par laboratoire
  • Recherche thématique
Thèses -> Auteurs
Auteurs > B > Bolignano Pauline
Niveau supérieur
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

Formal models and verification of memory management in a hypervisor
  • Consulter la notice
  • Date de publication : 
    • 24-05-2017  | 
  • Auteur(s) : 
    • Bolignano Pauline  | 
  • Editeur(s) : 
    • Universite de Rennes 1, Prove & Run  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • Un hyperviseur est un logiciel qui virtualise les ressources d'une machine physique pour permettre à plusieurs systèmes d'exploitation invités de s'exécuter simultanément dessus. L'hyperviseur étant le gestionnaire des ressources, un bug peut être critique pour les systèmes invités. Dans cette thèse nous nous intéressons aux propriétés d'isolation de la mémoire d'un hyperviseur de type 1, qui virt...


  • Référencé le  : 
    • 18-11-2017
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI