Mardi 23 Septembre


Retour à la vue des calendrier
Mardi 23 Septembre
Heure: 12:00 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Vérification distribuée par exploration d'un espace de paramètres
Description: Camille Coti Dans cet exposé, je présenterai un travail effectué avec Étienne André et Sami Evangelista portant sur la parallélisation d'un algorithme de vérification par exploration d'un espace de paramètres dans le but d'établir un ensemble de contraintes.

Ces contraintes forment un pavage de cet espace de paramètres par des polyèdres irréguliers. La parallélisation de cette exploration ne peut alors pas s'effectuer en utilisant une décomposition de domaine classique, du fait du caractère irrégulier des polyèdres obtenus. Nous avons implémenté et évalué deux heuristiques de décomposition du calcul entre les processus parallèles et examiné leurs performances.

Ce travail a été présenté à la conférence EuroMPI/Asia 2014.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: soutenance de thèse
Description: Nguyen Nghia Hoang