Étude analytique de la complexité en temps de protocoles de collectes de données existants, en particulier ceux de ZebraNet et Prophet.
Context
Dans le projet ZebraNet, des capteurs sont attachés à une population de zèbres, en Afrique Centrale, et fournissent des données aux biologistes qui étudient leurs structures migratoires et comportementales. Nous avons montré qu'un protocole voisin de celui utilisé ne se termine pas, ce qui entraîne que le protocole originel ne se termine pas non plus.
Objectives
Le premier but de la thèse est de proposer des modifications qui fourniraient la terminaison. Le second but est de prouver la correction de ce protocole modifié et d'analyser sa complexité en temps au pire et en moyenne, dans le modèle des protocoles de population avec temps de couverture. Une ouverture sur l'étude de protocole de collecte de données voisins de ZebraNet comme PROPHET, dans le modèle des protocoles de population est attendue.
Work program
Extra information
Prerequisite
une bonne connaissance de l'algorithmique répartie asynchrone avec pannes est indispensable. De même qu'une compétence mathématique poussée.
Détails
Expected funding
Research Contract
Status of funding
Expected
Candidates
Peva Blanchard étudiant M2R NSI Université Paris Sud
Utilisateur
sylvie.delaet
Créé
Mercredi 16 mars 2011 15:17:37 CET
dernière modif.
Jeudi 17 mars 2011 09:54:49 CET
Fichiers joints
filename
créé
hits
filesize
Aucun fichier joint à cette fiche
Connexion
Ecole Doctorale Informatique Paris-Sud
Directrice
Nicole Bidoit Assistante
Stéphanie Druetta Conseiller aux thèses
Dominique Gouyou-Beauchamps
ED 427 - Université Paris-Sud
UFR Sciences Orsay
Bat 650 - aile nord - 417
Tel : 01 69 15 63 19
Fax : 01 69 15 63 87
courriel: ed-info à lri.fr