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
Reports (Research Report) Year : 2006

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

Abstract

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00104120 , version 1

Cite

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⟩
124 View
587 Download

Share

More