ID, Equipe évaluation de performance

Références

A. Benoit and B. Plateau and W. Stewart, Memory-efficient Kronecker algorithms with applications to the modellong of parallel systems, Proceedings of the International Parallel and Distributed Processing Symposium, Nice, 2003.
W. Stewart and B. Plateau, Stochastic Automata Network for dependability Modelling, IEEE Aerospace Conference, USA, 2000. \\
P. Fernandes and B. Plateau and W.J. Stewart, it Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks, JACM, V45, N3, pp381-414, 1998.
B. Plateau and W.J. Stewart, Advances in Computational Probability, Chapter Stochastic Automata Networks, Ed. W. Grassmann, International Series in Operations Research and Management Science, Vol. 24, Kluwer Academic Publishers, 1999.
K. Atif and W. Stewart and B. Plateau, The numerical solution of Stochastic Automata Network, European Journal of Operation Research, V86, N3, 1995.
Logiciel PEPS (RAS et résolution umérique), disponible à l'URL http://www-id.imag.fr/Logiciels/peps
Logiciel PSI (Simulation Parfaite par couplage dans le passé) http://www-id.imag.fr/Logiciels/psi
O. Abu Amsha and J-M Vincent, An algorithm to bound functionals of Markov chains with large state space. INFORMS'98, Boca Raton, Etats-Unis.
. Plateau and J-M. Vincent, Computing Bounds on Markov Chains Metrics In Proc. of the Third Workshop on Process Algebra and Performance Modelling , Edimburgh, June 1995.
C. Marchand and J-M Vincent, Simulation de grands modèles markoviens et couplage, 7eme Atelier d'\'evaluation de Performances mai 2001, ENS Paris.
C. Marchand and Jean-Marc Vincent, On the exact simulation of functionals of stationary Markov chains, Rapport de recherche INRIA, 2003.

Ihab Sbeity 2003-09-22