Actions de recherche

• Environnements de simulation
  • Simulation répliquée
  • Simulation orientée objets en environnement réparti
    • Modèle de simulation Prosit
    • Simulateur séquentiel Prosit
    • Traitement statistique de résultats de simulation
  • Simulation parallèle ou distribuée des Réseaux de Petri
    • Parallélisme spatial
    • Parallélisme temporel
  • Représentation de systèmes uniformes
• Langages à objets parallèles
  • Langages Eiffel// et C++//
  • Réutilisation, transformation, et sémantique
  • Programmation du contrôle des processus
  • Communications pour C++//
• Communication et placement dans les architectures parallèles
  • Ordonnancement de systèmes multiprocesseurs
  • Réseaux d'interconnexion
  • Communications globales
  • Algorithmique parallèle et distribuée