Thèmes de recherche

L'équipe PaMDA s'intéresse à l'ensemble de toutes les étapes de conception et de développement d'applications parallèles et/ou distribuées. Elle s'intéresse donc à la modélisation d'applications (ou de systèmes) parallèles et distribués en vue de fournir des outils pour aider à leur conception et leur programmation mais aussi à l'évaluation de leurs performances et à la vérification de leurs propriétés. Les travaux menés au sein de l'équipe portent à la fois sur

les formalismes de modélisation des applications afin d'une part de permettre le développement d'applications parallèles et/ou réparties sûres, de vérifier le comportement de telles applications vis à vis de propriétés attendues que ce soit en termes de sûreté de fonctionnement, de validité des résultats ou de la performance,
les applications concrètes de ces outils dans des domaines tels que le calcul scientifique ou la visualisation scientifique interactive.

Les recherches de l'équipe sont articulées autour des axes suivants:

Sous-menu

« précédent | retour en haut de page | suivant »

Équipe PaMDA

Thèmes de recherche

Sous-menu