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 > W > Waldburger Nicolas
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

Parameterized verification of distributed shared-memory systems
  • Consulter la notice
  • Date de publication : 
    • 11-12-2024  | 
  • Auteur(s) : 
    • Waldburger Nicolas  | 
  • Editeur(s) : 
    • Université de Rennes  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • Les systèmes distribués sont constitués de plusieurs composantes informatisés (que nous appelons processus) qui interagissent pour accomplir une tâche commune. Un exemple de tâche est le consensus, où tous les processus doivent se mettre d’accord sur une valeur commune. Dans cette thèse, nous nous intéressons aux systèmes à mémoire partagée, où les processus interagissent en lisant et en écrivant ...


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