Optimizing tensor product computations in stochastic automata networks
Paulo Fernandes; Brigitte Plateau; William J. Stewart
RAIRO - Operations Research - Recherche Opérationnelle (1998)
- Volume: 32, Issue: 3, page 325-351
- ISSN: 0399-0559
Access Full Article
topHow to cite
topFernandes, Paulo, Plateau, Brigitte, and Stewart, William J.. "Optimizing tensor product computations in stochastic automata networks." RAIRO - Operations Research - Recherche Opérationnelle 32.3 (1998): 325-351. <http://eudml.org/doc/105174>.
@article{Fernandes1998,
author = {Fernandes, Paulo, Plateau, Brigitte, Stewart, William J.},
journal = {RAIRO - Operations Research - Recherche Opérationnelle},
language = {eng},
number = {3},
pages = {325-351},
publisher = {EDP-Sciences},
title = {Optimizing tensor product computations in stochastic automata networks},
url = {http://eudml.org/doc/105174},
volume = {32},
year = {1998},
}
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
PB - EDP-Sciences
VL - 32
IS - 3
SP - 325
EP - 351
LA - eng
UR - http://eudml.org/doc/105174
ER -
References
top- 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. Zbl0824.00021
- 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. Zbl0861.68004
- 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. Zbl0455.94050MR605720
- 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. Zbl0795.68141MR1231901
- 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. Zbl1065.68578
- 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. Zbl0862.60058
- 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. Zbl0861.90121
- 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. MR1133053
- 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. Zbl0821.65099MR1312831
- 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. Zbl0735.68097
- 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. Zbl0914.90112
- 21. P. KEMPER, Numerical analysis of superposed GSPNs. IEEE Trans. on Software Engineering, Vol 22(9), Sept. 1996.
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.