Exposés - Réunion de 3 octobre 2003, Laboratoire ID-IMAG, Grenoble.
- On the exact simulation of functionals of stationary Markov chains, J.M. Vincent, C. Marchand, Laboratoire ID-IMAG
- Methods and algorithms for the performance analysis of large systems, Brigitte Plateau, Eiad Sulaiman, Ihab Sbeity, Laboratoire ID-IMAG
- Projet ARMOR, thèmes en relation avec l'ACI, Bruno Tuffin, IRISA
- Algorithms for an irreducible and Lumpable Strong Stochastic Bound, J.M Fourneau, M. LeCoz and F.Quessette, PRiSM
Exposé - Réunion de 28 novembre 2003, Laboratoire IRISA, Rennes.
Exposés - Réunion de 12 février 2004, IHP, Paris.
Exposés - Réunion de 14 octobre 2004, IHP, Paris.
- Pattern-based bounding algorithm, Anna Busic, PRiSM
- Bornes stochastiques sur les distributions transitoires de la chaine de Markov,
Mouad Ben Mamoun, PRiSM
- Model Checking et encadrement stochastique,
Sana Younes, PRiSM
- Perfect Simulation of Finite Capacity queueing networks ,
Jean-Marc Vincent (and B. Tanzi), ID-IMAG
- Path-based conditionning for transient simulation of highly dependable systems,
Gerardo Rubino, IRISA
Exposés - Réunion de 19 octobre 2005, Université Paris Dauphine.
- Stochastic Automata Networks And Phase-Type distribution, Ihab Sbeity, ID-IMAG
- Bounds for Point and Steady-State Availability: an Algorithmic approach Based on Lumpability and Stochastic Ordering,
Ana Busic, PRiSM
- Problème de Muntz, Goyal et Carrasco: présentation et modélisation par des RAS,
Jean-Michel Fourneau, PRiSM
- Index based routing plicies - monotonicity and perfect simulation,
Jean-Marc Viencent, ID-IMAG
- PEPS 2006,
Leonardo Brenner, ID-IMAG
- Robutesse des techniques de Monte Carlo dans l'analyse d'événements rares,
Bruno Tuffin, IRISA
Exposé - Journées ACI paristic de 21-23 novembre 2005, Bordeaux.
|
. Transparents
