SDD et parallélisation

Avec le Dr. Alexandre Hamez, de l'Institut Supérieur de l'Aéronautique et de l'Espace, Toulouse

Résumé:

Il n'y a aujourd'hui plus de doutes sur le fait que l'accroissement de la puissance de calcul passe en grande partie par le passage aux architectures multi-cœurs, que l'on retrouve aujourd'hui de manière omniprésente. Dans ce contexte, il est naturel de s'interroger sur l'utilisation de telles architectures pour accélérer la manipulation des diagrammes de décision.

Les SDD, diagrammes de décision hiérarchiques et ensemblistes, sont une évolution majeure des BDD, permettant une grande souplesse autant dans la représentation des données que dans leur manipulation. Ils permettent aussi des gains en temps et en mémoire d'ordre exponentiel grâce à un mécanisme de "saturation automatique".

Dans ce contexte, nous montrerons en quoi les SDD sont de bons candidats à une manipulation sur architectures multi-cœurs. Nous verrons ainsi quels sont les écueils à éviter et quels sont les caractéristiques à prendre en compte pour favoriser le parallélisme.

Bio:

Le Dr. Alexandre Hamez est actuellement ingénieur-chercheur à l'ISAE (Institut Supérieur de l'Aéronautique et de l'Espace, Toulouse). Il a fait sa thèse au LIP6 (Laboratoire d'Informatique de Paris 6), puis deux années de post-doctorat au LAAS-CNRS (Laboratoire d'Analyse et d'Architecture des Systèmes, Toulouse). Ses thèmes de recherche portent sur les diagrammes de décision, le model checking et la parallélisation.

Le model checking est une technique permettant de prouver des propriétés sur des modèles de logiciels. Les diagrammes de décision permettent une représentation condensée de l'information et sont aux centre de nombreuses méthodes de model checking.

Date: Mardi 12 juin 2012, 9h00

Lieu: Battelle bât A, salle 214 (1er étage)

29 mai 2012

À la Une