Quelques sujets de stages de Master (recherche)

Infinité de processus : que se passe-t-il si on ne suppose plus que l’ensemble des processus est fini et défini statiquement ?

Réseau de capteurs et calculabilité : avec un modèle très simple de capteurs anonymes que peut-on calculer ?

Wait-free, Obstruction-Free : est-ce que la notion d’implémentation Obstruction-Free (qui assure termine si on est seul à exécuter des pas de calcul) peut aider à réaliser des implémentations Wait-Free (qui terminent toujours même si on est seul)

Consensus et diffusion atomique ultime : que se passe-t-il si on ne s’intéresse plus qu’aux propriétés ultimes de ces problèmes, quel est le lien avec l’auto-stabilisation ?

Si un de ces vous intéresse veuillez prendre contact avec Carole Delporte ou Hugues Fauconnier.