Home > Research > Students/Post-docs > Guillaume Sarrazin

Guillaume Sarrazin

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

Wednesday 25 May 2011

Years: 2011 (IRL Ensimag)
Co-supervisor: Karine Altisen
Subject: Étude d’un algorithme de fermeture causale sur des courbes d’arrivée ayant des parties affines
Abstract:

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.


Publications HAL de Guillaume,Sarrazin

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

View online : Page de résultats sur Ensiwiki

Attached documents

  • Slides

    25 May 2011
    info document : PDF
    473.5 kb
  • Report

    25 May 2011
    info document : PDF
    575.9 kb

Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License