LaMHA - Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications
Avec l'émergence des grappes de PC, les architectures parallèles se sont répandues. Néanmoins, le logiciel parallèle n'a pas encore atteint le même niveau de souplesse, de fonctionnalité et de rapport qualité/prix que le logiciel séquentiel. Cette situation a des causes techniques profondes qui ont été étudiées par les chercheurs en informatique depuis plus de deux décennies. La programmation classique, dite séquentielle, utilise depuis longtemps des techniques et outils de programmation de haut niveau. Ce sont eux qui ont permis la création de l'immense variété de logiciels dont nous disposons aujourd'hui, et ce sont eux qui ont rendu ces logiciels viables économiquement. L'apparation des grilles de calcul amène de nouveaux défis. Le groupe LaMHa a pour objectif l'élaboration de langages et modèles de haut-niveau pour la programmation parallèle, distribuées et de grille de calcul et leur utilisation pour le développement d'applications.
Les principaux thèmes abordés dans le groupe LaMHa sont:
Nom de l'équipe | Laboratoire | Membres |
---|---|---|
Parallélisme Réalité virtuelle et Vérification de systèmes (PRV) | LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Université d'Orléans (EA 4022) |
F. Loulergue (PR), G. Hains (PR), M. Bamha (MC), M. Exbrayat (MC), Radia Benheddi (Doc.), Mohamad Al Hajj Hassan (Doc.) |
Systèmes communicants | LACL - Laboratoire d'Algorithmique Complexité et Logique
Université Paris XII, CNRS (FRE) |
F. Pommereau (MC), F. Gava (ATER), P. Courtois (Doc.), L. Gesbert (Doc.), P.-N. Huynh (Doc.) |
Gestion de résumés et d'information multimédia (ATLAS-GRIM) | LINA - Laboratoire
d'Informatique de Nantes Atlantique Université de Nantes, Ecole des Mines de Nantes, CNRS (FRE) | Julien Cohen (MC) |
Simulation moléculaire - méthodologie et calcul intensif | CBM - Centre de Biologie Moléculaire CNRS (UPR), Orléans |
Gerald Kneller (PR), Konrad Hinsen (CR), Paolo Calligari (Doc.) |
Thème Programmation | PPS - Preuves Programmes et Systèmes Université Denis Diderot, CNRS (UMR) |
Emmanuel Chailloux (MC), Grégoire Henry (Doc.), Roberto Di Cosmo (PR), Li Zheng (Doc.) |
Systèmes de Perception (thème : architectures et méthodes) |
LASMEA -
Laboratoire des Sciences et Matériaux
pour l'Electronique et d'Automatique Université Clermont 2, CNRS (UMR 6602) |
J. Sérot (PR), J. Falcou (Doc.) |
Algorithmique et ordonnancement pour plates-formes hétérogènes distribuées (GRAAL) |
LIP - Laboratoire d'Informatique du Parallélisme École Normale Supérieure de Lyon, CNRS (UMR 5668) |
A. Benoit (MC) |
Estime | INRIA Rocquencourt | F. Clément (CR), P. Weis (DR) |
Des rencontres de deux (ou une) journée(s), en moyenne une fois par an. Elles se compléteront par des visites ``inter-équipes'' de chercheurs et de thésards, chaque fois que cela semble souhaitable sur le plan scientifique.