Précédent : Enseignement Remonter : Formation Suivant : Stages

Thèses

- L'habilitation à diriger des recherches suivante a été soutenue en 1996:

D. Caromel/ : Langages à objets parallèles : programmations et sémantiques

- Les thèses suivantes ont été soutenues en 1996:

É. Darrot/ : Communications par commutation de messages dans les réseaux d'interconnexion.

O. Delmas/ : Communications par commutation de circuits dans les réseaux d'interconnexion.

S. Pérennes/ : Communications globales dans les réseaux d'interconnexion.

Y. Roudier/ : Abstractions pour la programmation du contrôle des applications parallèles et réactives.

X- Les thèses suivantes sont en cours dans le projet:

B. Beauquier/ : Communications dans les réseaux tout optique.

O. Dalle/ : Répartition dynamique de charge dans les architectures parallèles et distribuées.

N. Furmento/ : Environnements d'exécutions parallèles.

R. Guider/ : Représentation data-flow de programmes à objets pour une parallélisation semi-automatique, en collaboration avec Isabelle Attali (Projet CROAP).

N. Marlin/ : Communications dans les réseaux distribués.

D. Sagnol/ : Correction et optimisation de programmes à objets parallèles.

G. Siegel/ : Conception d'un environnement de programmation orienté objet pour la simulation à événements discrets parallèle et distribuée.