@phdthesis{benoit:tel-00004361, TITLE = {{M{\'e}thodes et algorithmes pour l'{\'e}valuation des performances des syst{\`e}mes}}, AUTHOR = {Benoit, Anne}, URL = {https://theses.hal.science/tel-00004361}, HAL_LOCAL_REFERENCE = {theses/2003/Benoit.Anne}, SCHOOL = {{Institut National Polytechnique de Grenoble - INPG}}, YEAR = {2003}, MONTH = Jun, KEYWORDS = {Performance evaluation ; Large state space ; Stochastic Automata Networks ; Tensor algebra ; Continuous and Discrete time ; Automata replication ; Exact aggregation ; Vector-descriptor product ; Shuffle algorithm ; {\'E}valuation des performances ; Grand espace d'{\'e}tats ; R{\'e}seaux d'automates stochastiques ; Alg{\`e}bre tensorielle ; Temps continu et temps discret ; R{\'e}plication d'automates ; Agr{\'e}gation exacte ; Multiplication vecteur-descripteur ; Algorithme du Shuffle}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-00004361/file/tel-00004361.pdf}, HAL_ID = {tel-00004361}, HAL_VERSION = {v1}, }