Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2006

Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b

Résumé

Nous présentons une méthode de preuve qui permet de montrer la terminaison en temps moyen fini d'un algorithme probabiliste et distribué utilisé par le protocole WI-FI 802.11b.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
csmacatermination.pdf (192.72 Ko) Télécharger le fichier

Florent Garnier  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00104120

Soumis le : jeudi 5 octobre 2006-17:18:40

Dernière modification le : vendredi 24 mars 2023-14:52:48

Archivage à long terme le : mardi 6 avril 2010-18:36:02

Télécharger pour visualiser

Dates et versions

inria-00104120 , version 1 (05-10-2006)

Identifiants

  • HAL Id : inria-00104120 , version 1

Citer

Olivier Bournez, Garnier Florent, Claude Kirchner. Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b. [Research Report] AVERROES/Lot 4.2/Fourniture 4.2, 2006, pp.13. ⟨inria-00104120⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LARA
115 Consultations
574 Téléchargements

Partager

Gmail Facebook X LinkedIn More