Accueil > Recherche > Étudiants/Post-docs > Guillaume Sarrazin

Guillaume Sarrazin

Étude d’un algorithme de fermeture causale sur des courbes d’arrivée ayant des parties affines

mercredi 25 mai 2011

Années: 2011 (IRL Ensimag)
Co-encadrant: Karine Altisen
Sujet: Étude d’un algorithme de fermeture causale sur des courbes d’arrivée ayant des parties affines
Résumé:

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.


2016

Theses

ref_biblio
Guillaume Sarrazin. Simulation fonctionnelle native pour des systèmes many-cœurs. Architectures Matérielles [cs.AR]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM015⟩. ⟨tel-01430292⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01430292/file/SARRAZIN_2016_archivage.pdf BibTex

Voir en ligne : Page de résultats sur Ensiwiki

Documents joints

  • Transparents

    25 mai 2011
    info document : PDF
    473.5 ko
  • Rapport

    25 mai 2011
    info document : PDF
    575.9 ko

Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License