Programme
Dimanche 1 juin 2008
- 11h00 Accueil au centre
- 12h00 Repas buffet
- 14h00 Serge Haddad “Model checking” des chaînes de Markov slides
- 15h00 Efficacité de méthodes de détection du régime stationnaire pour l’analyse de la disponibilité ponctuelle des grands modèles,Leonardo Brenner et Brigitte Plateau: pdf slides
- 15h30 Evaluation et comparaison des performances d’algorithmes de routage à déflexion sous contrainte temps réel, David Nott: pdf
- 16h00 Pause
- 16h30 Modélisation et évaluation de performance des systèmes bases composants, Nabila Salmi: pdf slides
- 17h00 Different Monotonicity definitions in stochastic modelling, Imène Kadi: pdf slides
- 17h30 Estimation du débit dans une grille de calcul, Carlos Barrios-Hernandez, Yves Denneulin et Michel Riveill: pdf slides
- 19h30 Repas Savoyard
Lundi 2 juin 2008
- 08h30 Merouane Debbah Randomness in Wireless Networks: how to deal with it? slides
- 09h30 P2P storage systems: towards a more accurate model, Abdulhalim Dandoush: pdf slides
- 10h00 Pause
- 10h30 Bounds on busy period for queues with breakdowns, Nadia Oukid et Amar Aissani: pdf slides
- 11h00 Simulation des instabilites du protocole BGP, Houssame Yahiaoui Sabis: pdf slides
- 11h20 La performance de plateformes java card, Julien Cordry: pdf slides
- 11h40 Bornes stochastiques pour le temps de reponse des services web composites, Samir Youssef: pdf slides
- 12h30 Repas
- 13h30 Sortie en montagne (facile mais prévoir les baskets)
- 17h30 Extrapolation et estimation de performance dans le cadre des réponses aux appels d’offres, Christophe Berthelot, Xavier Vigouroux Bull slides
- 18h00 Pratique de la prémétrologie à Orange Labs à travers l’utilisation de la plate-forme de test en charge CLIF, Bruno Dillenseger, Orange Labs slides
- 18h30 Table ronde
- 20h00 Repas de gala
Mardi 3 juin 2008
- 08h30 Bruno Tuffin Introduction à la simulation d’événements rares slides
- 09h30 Comparison of discrimanatory processor sharing policies, Natalia Osipova: pdf slides
- 10h00 Pause
- 10h30 Sur la structure de graphe d’une borne stochastique, Ana Busic: pdf slides
- 11h00 Evaluation des performances de benchmarks MPI sur des architectures multiprocesseur de type CC-DSM, Meriem Zidouni: pdf slides
- 11h20 Integration des flux inverse, Hichem Zerhouni, Jean-Philippe Gayon et Yannick Frein: pdf slides
- 11h40 Evaluation de bibliothèques parallèles pour architectures multi-coeurs sur grid’5000, Brice Videau: pdf slides
- 12h30 Repas
- 14h00 Urtzi Ayesta Optimal scheduling in a stochastic single server queue. slides
- 15h00
- 15h30 Evaluation et modélisation de communications concurrentes, Jérôme Vienne et Maxime Martinasso: pdf slides
- 16h00 Pause
- 16h30 Eric Thierry Aspects algorithmiques du network calculus slides
- 17h30 Etude comparative d’approches de convergence fixe mobile dans un reseau optique, Nora Izri: pdf slides
- 18h00 Bounding large Markov chains using comparison and censoring techniques, Sana Younes: pdf slides
- 19h30 Repas
Mercredi 4 juin 2008
- 08h30 Jean-Yves Leboudec A Class Of Mean Field Interaction Models for Computer and Communication Systems slides
- 09h30 Percolation of localization in WSNs, Sadaf Tanvir et Benoît Ponsard: pdf slides
- 10h00 Pause
- 10h30 Vérification du lien entre auto-similarite et distributions a queues lourdes sur un dispositif grande echelle, P. Loiseau, P. Goncalves, G. Dewaele, P. Borgnat, P. Abry, P. Primet Vicat-Blanc: pdf slides
- 11h00 Génération de l’espace d’états utilisant les MDD pour modèles avec fonctions, Afonso Sales et Brigitte Plateau: pdf slides
- 11h30 Model checking of CSL steady state operator with perfect simulation, D. El Rabih and Nihal Pekergin pdf slides
- 12h00 Repas
Exposé de jeune chercheur (durée de présentation 25mn max)
Exposé court (durée 15mn)
Exposé de synthèse (durée 1h)