Evaluation de performances

Participants : François Baccelli, Sophie Barbaroux, Alain Jean-Marie, Zhen Liu, Jean Mairesse

• Modèle de Qmips
• Automates (max,+).
• Performance de systèmes parallèles.