Institut d'Électronique et de Télécommunications de Rennes
UMR CNRS 6164

| ENT |






Accueil du site > Accueil > Actualités

Soutenance de thèse

Ghislain ROQUIER soutient sa thèse intitulée :

Etude de modèles flux de données pour la synthèse logicielle multiprocesseur

le vendredi 14 novembre 2008 à 9 h 30 en amphi C à l’INSA de Rennes.

Résumé :

Le parallélisme est une caractéristique importante des plates-formes modernes de calcul, et ce, des processeurs multi-cœurs jusqu’aux circuits logiques programmables. Le paradigme de programmation séquentielle jusqu’à présent utilisé dans le cadre logiciel n’est plus adapté à ce contexte d’architectures parallèles et distribuées. Les travaux présentés dans ce mémoire trouvent leurs fondements dans la méthodologie AAA qui permet la construction automatique et optimisée de programmes parallèles statistiques à partir de représentations à haut niveau d’abstraction de l’application et de l’architecture. La description d’une application s’effectue à l’aide d’un graphe appelé flux de données qui permet une bonne expression de parallélisme potentiel. Ce parallélisme est exploité pour porter l’application en utilisant au maximum le parallélisme disponible sur l’architecture cible.

Pour en savoir plus.






Départements et équipes de recherche
>
Top