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

How to cite

top

Fernandes, 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. 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. 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. 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. 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. 5. M. DAVIO, Kronecker Products and Shuffle Algebra. IEEE Trans. Comput, C-30, No. 2, 1981, pp. 1099-1109. Zbl0455.94050MR605720
  6. 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. 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. 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. 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. 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. 
  11. 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. 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. 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. 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. 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. 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. 17. M. SIEGLE, On Efficient Markov Modelling. In Proc. QMIPS Workshop on Stochastic Petri Nets, pp. 213-225, Sophia-Antipolis, France, November 1992. 
  18. 18. W. J. STEWART, An Introduction to the Numerical Solution of Markov Chains, Princeton University Press, New Jersey, 1994. Zbl0821.65099MR1312831
  19. 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. 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. 21. P. KEMPER, Numerical analysis of superposed GSPNs. IEEE Trans. on Software Engineering, Vol 22(9), Sept. 1996. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.