Accueil > Recherche > Étudiants/Post-docs > Guillaume Sarrazin
Étude d’un algorithme de fermeture causale sur des courbes d’arrivée ayant des parties affines
mercredi 25 mai 2011
ac2lus est un outil utilisant une paire de courbes définissant le flux minimal et maximal d’événements qui peuvent arriver durant un intervalle de temps. Ces courbes sont appelées courbes d’arrivée. Sans aucun traitement, ces courbes peuvent amener l’outil dans une situation de dead-lock à cause de contraintes implicites exprimées par la courbe. Un algorithme de causalification permet d’expliciter les contraintes implicites. La normalisation est une part de cet algorithme. Durant ce TER, j’ai implémenté cet algorithme de normalisation dans le cas de courbes d’arrivée contenant des morceaux affines.
J’ai de plus créé des exemples traités par ac2lus pour lesquels les courbes d’arrivée n’étaient pas causales. Ces exemples ont montré que les courbes de sortie n’étaient pas forcemment plus précises quand on appliquait l’algorithme de causalification sur les courbes d’arrivée en entrée du système.
2021
Conference papers
2019
Conference papers
2016
Theses
Voir en ligne : Page de résultats sur Ensiwiki