Vie du GDR GPL
|
Langages et Modèles de Haut niveau pour la programmation parallèle,
distribuée, de grilles de calcul et Applications
14 décembre 2010, Orléans
Le thème principal de cette journée est: La programmation parallèle par squelettes algorithmiques"
Programme préliminaire
Programme :
10h
|
Accueil
|
|
10h30
|
Frédéric Gava
|
A BSP algorithm for the generation of the state space of cryptographic protocols.
|
11h15
|
Ahmed Turki
|
Composition d'applications de visualisation scientifique hautement interactives
|
11h45
|
Chong Li
|
A new bridging model for high-performance programming
|
12h15-14h
|
Repas
|
|
14h
|
Murray Cole
|
Skeletons and the Parallel Programming Challenge
|
15h
|
Ludovic Henrio
|
Typing and Exceptions for Algorithmic Skeletons
|
15h45-16h15
|
Pause
|
|
16h15
|
Joel Falcou
Khaled Hammidouche
Daniel Etiemble
|
Hybrid bulk synchronous parallelism library for clustered SMP architectures
|
17h
|
Constantinos Makassikis
|
A Skeletal-based Approach for the Development of Fault-Tolerant SPMD Applications
|
|