A Fault-tolerance Mechanism for Future Updates
Deployment of Distributed and Grid Applications
Efficient and Flexible OO SPMD for Numerical Applications
Software Tools for Model-Checking of Regular StructuresLes autres stages proposés à l'INRIA Sophia Antipolis