Analyses et preuves formelles d'algorithmes distribués probabilistes
L’intérêt porté aux algorithmes probabilistes est, entre autres,dû à leur simplicité. Cependant, leur analyse peut devenir très complexeet ce particulièrement dans le domaine du distribué. Nous mettons en évidencedes algorithmes, optimaux en terme de complexité en bits résolvantles problèmes du MIS...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2014BORD0091/document |