Projet Meije

                               RA 1996     RA 1998
Suivant : Composition de l'équipe

Projet MEIJE

Parallélisme, Synchronisation et Temps-Réel

Rapport d'activité de 1997

Page de présentation du projet - Rapport d'activité au format   PostScript  ou  PDF

Localisation : Sophia

Mots-clés : MEIJE, parallélisme, concurrence, réactivité, sémantique, parallélisme asynchrone, synchronisation, langage fonctionnel, mobilité, langage synchrone, temps réel, Esterel, circuit matériel, vérification de programme, compositionnalité, optimisation