Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Classification automatique de graphes dynamique
du groupe Algorithmique Distribuée

Date 2015-11-09  14:00-15:00
Titre Classification automatique de graphes dynamique 
RésuméÉtant donné un graphe dynamique, donné sous la forme d’une séquence de graphes statiques ou bien comme une succession d’évènements topologiques (apparitions/disparitions de liens de communication), on s’intéresse à tester automatiquement certaines propriétés temporelles sur le graphe. Les propriétés qui nous intéressent correspondent à des conditions nécessaires et/ou suffisantes pour la réalisation de tâches distribuées classiques (élection, diffusion, comptage, etc.) Nous avons répertorié à ce jour une vingtaine de propriétés. Par exemple, le réseau est-il temporellement connexe ? (existence d’un trajet, i.e. d’une succession d’arêtes dont les dates d’existence sont temporellement croissantes, depuis chaque sommet vers chaque autre sommet) ; certaines arêtes réapparaissent-elles dans un temps borné ou de manière périodique ? Leur ensemble vérifie-t-il certaines propriétés ? Être capable de vérifier ce type de propriété automatiquement nous permettrait de déterminer dans un contexte de mobilité donné (p. ex. drones, robots, voitures, dont on peut obtenir ou générer des traces de connexité), les tâches réalisables par l’ensemble des entités 
Lieu75 
Orateur Yessin Neggaz 



Aucun document lié à cet événement.

Retour
Retour à l'index