Article accepté à PDMC 2010

Je suis très content d’annoncer l’acceptation de mon neuvième article de l’année :

Three High Performance Architectures in the Parallel Approximate Probabilistic Model Checking Boat. Khaled Hamidouche, Alexandre Borghi, Pierre Esterie, Joel Falcou and Sylvain Peyronnet. PDMC 2010.

PDMC 2010 est un workshop pas très connu dont le domaine d’étude est le model checking distribué et/ou parallèle, inutile de vous dire que cela reste un domaine relativement confidentiel (malheureusement 🙁 ).

Ceci étant, si vous êtes intéressé par l’utilisation de framework de parallélisation automatique, vous serez sans doute curieux sur l’usage que l’on fait de BSP++ pour adapter le moteur du model checker APMC. Nos expériences sur plusieurs plateformes (Clusters, SMP, Hybrid SMP-clusters , Cell) montre que l’utilisation d’une méthode de parallélisation hybride mêlant MPI et OpenMP est particulièrement efficace !

A lire donc si vous êtes intéressés par ces problématiques.