RA 1995     RA 1997
Suivant : Composition de l'équipe

Projet PARA

Parallélisme

Rapport d'activité 1996

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

Localisation : Rocquencourt

Mots-clés : parallélisme, parallélisme asynchrone, preuves de programmes, programmation fonctionnelle, architecture multiprocesseur, concurrence, -calcul, ramasse-miettes, -calcul, programmation distribuée, résistance aux pannes, agents mobiles

• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Un modèle du calcul distribué d'ordre supérieur
  • Concurrence et typage
  • Concurrence et sécurité
  • Un prototype pour le join-calcul
  • Preuves mécaniques
  • Langages de programmation fonctionnels
  • Substitutions explicites
  • Maintenance des systèmes d'exploitation
• Actions industrielles
  • Aérospatiale et Ariane 502
  • Ramasse miettes pour Java
• Actions nationales et internationales
  • Projet Esprit CONFER
  • Actions nationales
• Diffusion des résultats
  • Diffusion de produits
  • Dépot de brevet
  • Actions d'enseignement
    • Enseignement universitaire
    • Autres actions d'enseignement
    • Jurys de thèse
  • Participation aux manifestations
  • Activités extérieures
• References
• Abstract