Bilan gds regal (lip6 / inria)

Logiciels et mobilité

• GFD

• Pastis

• Visite de F. Picconi à Rice (1 semaine 2005), Rutgers (2 mois - 2006)

La suite ...

• ACI Gédéon

• Application à la génomique
• Verrouillage hiérarchique / Modèle de cohérence dans un système de fichiers

• Mutex

• Généralisation du Mutex : Allocation de ressources (Thèse M. Bouillaguet)
• Composition de protocoles Mutex (J. Sopena)

• Tolérance aux fautes

• Autres types d’environnements (Capteurs)