Optimizing tensor product computations in stochastic automata networks
RAIRO - Operations Research - Recherche Opérationnelle, Performance Evaluation/Evaluation de performances, Tome 32 (1998) no. 3, pp. 325-351. 
@article{RO_1998__32_3_325_0,
     author = {Fernandes, Paulo and Plateau, Brigitte and Stewart, William J.},
     title = {Optimizing tensor product computations in stochastic automata networks},
     journal = {RAIRO - Operations Research - Recherche Op\'erationnelle},
     pages = {325--351},
     publisher = {EDP-Sciences},
     volume = {32},
     number = {3},
     year = {1998},
     mrnumber = {1640477},
     language = {en},
     url = {http://www.numdam.org/item/RO_1998__32_3_325_0/}
}
TY  - JOUR
AU  - Fernandes, Paulo
AU  - Plateau, Brigitte
AU  - Stewart, William J.
TI  - Optimizing tensor product computations in stochastic automata networks
JO  - RAIRO - Operations Research - Recherche Opérationnelle
PY  - 1998
SP  - 325
EP  - 351
VL  - 32
IS  - 3
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/RO_1998__32_3_325_0/
LA  - en
ID  - RO_1998__32_3_325_0
ER  - 
%0 Journal Article
%A Fernandes, Paulo
%A Plateau, Brigitte
%A Stewart, William J.
%T Optimizing tensor product computations in stochastic automata networks
%J RAIRO - Operations Research - Recherche Opérationnelle
%D 1998
%P 325-351
%V 32
%N 3
%I EDP-Sciences
%U http://www.numdam.org/item/RO_1998__32_3_325_0/
%G en
%F RO_1998__32_3_325_0
Fernandes, Paulo; Plateau, Brigitte; Stewart, William J. Optimizing tensor product computations in stochastic automata networks. RAIRO - Operations Research - Recherche Opérationnelle, Performance Evaluation/Evaluation de performances, Tome 32 (1998) no. 3, pp. 325-351. http://www.numdam.org/item/RO_1998__32_3_325_0/

1. K. Atif, Modélisation du Parallélisme et de la Synchronisation. Thèse de Docteur de l'Institut National Polytechnique de Grenoble, 24 September 1992, Grenoble, France.

2. Pf. Baccelli, A. Jean-Marie and I. Mitrani, Eds., Quantitative Methods in Parallel Systems, Part I: Stochastic Process Algebras; Basic Research Series, Springer, 1995. | Zbl

3. P. Buchholz, Equivalence Relations for Stochastic Automata Networks. Computations with Markov Chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains, WJ. Stewart, Ed., Kluwer International Publishers, Boston, 1995. | Zbl

4. P. Buchholz, Hierarchical Markovian Models - Symmetries and Aggregation; Modelling Techniques and Tools for Computer Performance Evaluation, Ed. R. Pooley, J.Hillston, Edinburgh, Scotland, 1992, pp. 234-246.

5. M. Davio, Kronecker Products and Shuffle Algebra. IEEE Trans. Comput, C-30, No. 2, 1981, pp. 1099-1109. | MR | Zbl

6. S. Donatelli, Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space. Performance Evaluation, 18, 1993, pp. 21-36. | MR | Zbl

7. P. Fernandes, B. Plateau and W. J. Stewart, Numerical Issues for Stochastic Automata Networks. Proceeding of the Fourth Process Algebras and Performance Modelling Workshop. Edited by Marina Ribaudo, Published by CLUT, Torino, July 1996.

8. P. Fernandes, B. Plateau and W. J. Stewart, Efficient Vector-Descriptor Multiplications in Stochastic Automata Networks. INRIA Report # 2935. Anonymous ftp ftp ftp.inria.fr/INRIA/Publication/RR.

9. J.-M. Fourneau and F. Quessette, Graphs and Stochastic Automata Networks. Computations with Markov Chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains, WJ. Stewart, Ed., Kluwer Int. Publishers, Boston, 1995. | Zbl

10. H. Hermanns and M. Rettelbach, Syntax, Semantics, Equivalences, and Axioms for MTIPP. Proc. of the 2nd Workshop on Process Algebras and Performance Modelling, U. Herzog, M. Rettelbach, Ed., Arbeitsberichte, Band 27, No.4, Erlangen, 1994.

10. J. Hillston, Computational Markovian Modelling using a Process Algebra. Computations with Markov Chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains, W.J. Stewart, Ed., Kluwer Int. Publishers, Boston, 1995. | Zbl

12. P. Kemper, Closing the Gap between Classical and Tensor Based Itération Techniques. Computations with Markov Chains; Proc. of the 2nd International Meeting on the Numerical Solution of Markov Chains, W.J. Stewart, Ed., Kluwer Int. Publishers, Boston, 1995.

13. B. Plateau, On the Stochastic Structure of Parallelism and Synchronization Models for Distributed Algorithms. Proc. ACM Sigmetrics Conference on Measurement and Modelling of Computer Systems, Austin, Texas, August 1985.

14. B. Plateau and K. Atif, Stochastic Automata Network for Modelling Parallel Systems. IEEE Trans. on Software Engineering, 17, No. 10, 1991, pp. 1093-1108. | MR

15. B. Plateau and J. M. Fourneau, A Methodology for Solving Markov Models of Parallel Systems. Journal of Parallel and Distributed Computing. 12, 1991, pp. 370-387.

16. B. Plateau, J. M. Fourneau and K. H. Lee, PEPS: A Package for Solving Complex Markov Models of Parallel Systems. In R. Puigjaner, D. Potier, Eds., Modelling Techniques and Toolsfor Computer Performance Evaluation, Spain, September 1988.

17. M. Siegle, On Efficient Markov Modelling. In Proc. QMIPS Workshop on Stochastic Petri Nets, pp. 213-225, Sophia-Antipolis, France, November 1992.

18. W. J. Stewart, An Introduction to the Numerical Solution of Markov Chains, Princeton University Press, New Jersey, 1994. | MR | Zbl

19. W. J. Stewart, Marca: Markov Chain Analyzer. IEEE Computer Repository No. R76 232, 1976. Also IRISA Publication Interne No. 45, Université de Rennes, France.

20. W. J. Stewart, K. Atif and B. Plateau, The Numerical Solution of Stochastic Automata Networks. European Journal of Operations Research, 86, No. 3, 1995, pp. 503-525. | Zbl

21. P. Kemper, Numerical analysis of superposed GSPNs. IEEE Trans. on Software Engineering, Vol 22(9), Sept. 1996.