Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Les Actions de Recherche du LIFO > Action de Recherche : GDR GPL : groupe de travail LaMHA

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



GDR GPL : groupe de travail LaMHA : Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications

Les principaux thèmes abordés dans le groupe LaMHa sont:

  • Sémantiques et implantations de langages déclaratifs pour la programmation parallèle, distribuée et de grilles de calcul
  • Patrons algorithmiques et méthodes constructives
  • Certification formelle des programmes et compilateurs
  • Modèles de coûts de haut-niveau des programmes parallèles et sur grilles de calcul (BSP, LogP, CGM, et dérivés)
  • Applications utilisant des approches de haut-niveau
  • ...

Participants

Mohamad AL HAJJ HASSAN

Mostafa BAMHA

Radia BENHEDDI

Matthieu EXBRAYAT

Gaétan HAINS

Frédéric LOULERGUE (Responsable)

Page web de l'action

http://frederic.loulergue.eu/research/lamha.html