Remy Delanaux (avec Gwen Salaun) : Stabilité des systèmes communicants : Différence entre versions

De Ensiwiki
Aller à : navigation, rechercher
m
m
Ligne 14 : Ligne 14 :
  
 
= Réflexions théoriques et formelles =
 
= Réflexions théoriques et formelles =
 +
 +
== Sur quoi influer ? ==
 +
 +
== Heuristiques ==
 +
 +
== Dépendances de cycles ==
  
  
 
= Implémentation et résultats =
 
= Implémentation et résultats =
 +
 +
== Algorithmes utilisés ==
 +
 +
== Observations ==
 +
 +
  
 
= Futurs travaux ? =
 
= Futurs travaux ? =

Version du 23 avril 2015 à 20:05

Cornues.png
Titre du projet Stabilité des systèmes communicants
Cadre IRL

Labo INRIA, LIG
Équipe CONVECS
Encadrants Gwen SALAÜN et Lakhdar AKROUN


Introduction

Présentation du sujet

Contexte de recherche

Réflexions théoriques et formelles

Sur quoi influer ?

Heuristiques

Dépendances de cycles

Implémentation et résultats

Algorithmes utilisés

Observations

Futurs travaux ?