Précédent :
Projet PARA
Remonter :
Projet PARA
Suivant :
Composition de l'équipe
Table des matières
Table des matières
Composition de l'équipe
Présentation du projet
Actions de recherche
Programmation distribuée d'ordre supérieur
Un nouveau modèle de la concurrence
Récupération concurrente de mémoire et preuves mécaniques
Langages de programmation fonctionnels
Substitutions explicites
Systèmes de réductions abstraites
Maintenance des systèmes d'exploitation
Actions internationales
Projet Esprit CONFER
ACSC 95
Actions nationales
Diffusion des résultats
Diffusion de produits
Actions d'enseignement
Enseignement universitaire
Autres actions d'enseignement
Jurys de thèse
Participation aux manifestations
Activités extérieures
Références
Abstract