NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 1 of 1 (0.1 seconds)

Spelling suggestions: "subject:"algorithme probabiliste"" "subject:"algorithme probabilistic""

1

Algorithmes distribués sur des anneaux paramétrés - Preuves de convergence probabiliste et déterministe

Duflot, Marie 15 September 2003 (has links) (PDF)
Cette thèse se situe dans le cadre de la vérification de systèmes distribués. Plus précisément, nous nous intéressons aux méthodes de preuve de convergence d'algorithmes distribués s'exécutant sur des réseaux en anneau de taille paramétrée. Cette étude distingue de plus le cas des algorithmes probabilistes de celui des algorithmes déterministes.
[INFO:INFO_OH] Computer Science/Other
systèmes distribués
systèmes paramétrés
convergence
algorithmes probabilistes

Page generated in 0.1035 seconds