Serial disk-based analysis of large stochastic models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2925, Issue , 2004, Pages 230-255

  Mehmood, Rashid ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ITERATIVE METHODS; MARKOV CHAINS; STOCHASTIC SYSTEMS;

BENCHMARK MODELS; MEMORY REQUIREMENTS; OUT-OF-CORE ALGORITHMS; OUT-OF-CORE-METHODS; SPARSE MATRICES; STEADY STATE SOLUTION; STORAGE SCHEMES; SYSTEMS OF LINEAR EQUATIONS;

STOCHASTIC MODELS;

EID: 33749678799     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24611-4_7     Document Type: Article

References (40)

1. I. Bahar, E. Frohm, C. Gaona, G. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Algebraic Decision Diagrams and their Applications. In Proc. ICCAD'93, pages 188-191, Santa Clara, 1993.
2. R. Barrett, M. Berry, T. F. Chan, J. Demmel, J. M. Donato, J. Dongarra, V. Eijkhout, R. Pozo, C. Romine, and H. van der Vorst. Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods. Philadalphia: Society for Industrial and Applied Mathematics, 1994.
3. F. Baskett, K. M. Chandy, R. R. Muntz, and F. G. Palacios. Open, Closed, and Mixed Networks of Queues with Different Classes of Customers. Journal of ACM, 22(2), 1975.
4. F. Bause. Queueing Petri Nets: A Formalism for the Combined Qualitative and Quantitative Analysis of Systems. In Proc. PNPM'93. IEEE Computer Society Press, October 1993.
5. A. Bell. Verteilte Bewertung Stochastischer Petrinetze, Diploma thesis, RWTH, Aachen, Department of Computer Science, March 1999.
6. A. Bell and B. R. Haverkort. Serial and Parallel Out-of-Core Solution of Linear Systems arising from Generalised Stochastic Petri Nets. In Proc. High Performance Computing 2001, Seattle, USA, April 2001.
7. M. Bernardo and R. Gorrieri. Extended Markovian Process Algebra. In Proc. CONCUR 1996, LNCS Volume 1119, Italy, 1996. Springer-Verlag.
8. P. Buchholz and P. Kemper. Kronecker based Matrix Representations for Large Markov Models. In this Proceedings, 2003.
9. G. Ciardo and A. Miner. A Data Structure for the Efficient Kronecker Solution of GSPNs. In Proc. PNPM'99, Zaragoza, 1999.
10. G. Ciardo and M. Tilgner. On the use of Kronecker Operators for the Solution of Generalized Stochastic Petri Nets. ICASE Report 96-35, Institute for Computer Applications in Science and Engineering, 1996.
11. G. Ciardo and K. S. Trivedi. A Decomposition Approach for Stochastic Reward Net Models. Performance Evaluation, 18(1):37-59, 1993.
12. E. Clarke, M. Fujita, P. McGeer, J. Yang, and X. Zhao. Multi-Terminal Binary Decision Diagrams: An Effificient Data Structure for Matrix Representation. In Proc. International Workshop on Logic Synthesis (IWLS'93), May 1993.
13. A. E. Conway and N. D. Georganas. Queueing Networks - Exact Computational Algorithms: A Unified Theory based on Decomposition and Aggregation. MIT Press, 1989.
14. D. D. Deavours and W. H. Sanders. An Efficient Disk-based Tool for Solving Very Large Markov Models. In Proc. TOOLS'97, volume 1245 of LNCS, pages 58-71. Springer-Verlag, 1997.
15. D. D. Deavours and W. H. Sanders. An Efficient Disk-based Tool for Solving Large Markov Models. Performance Evaluation, 33(1):67-84, 1998.
16. D. D. Deavours and W. H. Sanders. "On-the-fly" Solution Techniques for Stochastic Petri Nets and Extensions. IEEE Transactions on Software Engineering, 24(10):889-902, 1998.
17. H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In Proc. NSMC'99, Zaragoza, 1999.
18. H. Hermanns and M. Rettelbach. Syntax, Semantics, Equivalences, and Axioms for MTIPP. In Proc. PAPM'94, Germany, 1994.
19. M. Heroux. A proposal for a sparse BLAS Toolkit, Technical Report TR/PA/92/90, Cray Research, Inc., USA, December 1992.
20. J. Hillston. A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh, 1994.
21. O. Ibe and K. Trivedi. Stochastic Petri Net Models of Polling Systems. IEEE Journal on Selected Areas in Communications, 8(9):1649-1657, 1990.
22. W. Kahan. Gauss-Seidel methods of solving large systems of linear equations. PhD thesis, University of Toronto, 1958.
23. W. J. Knottenbelt and P. G. Harrison. Distributed Disk-based Solution Techniques for Large Markov Models. In Proc. NSMC'99, 1999.
24. M. Kwiatkowska and R. Mehmood. Out-of-Core Solution of Large Linear Systems of Equations arising from Stochastic Modelling. In Proc. PAPM-PROBMIV'02, July 2002. Available as Volume 2399 of LNCS.
25. M. Kwiatkowska, R. Mehmood, G. Norman, and D. Parker. A Symbolic Out-of-Core Solution Method for Markov Models. In Proc. Parallel and Distributed Model Checking (PDMC'02), August 2002. Appeared in Volume 68, issue 4 of ENTCS (http://www.elsevier.nl/locate/entcs).
26. M. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic Symbolic Model Checker. In Proc. TOOLS'02, volume 2324 of LNCS, 2002.
27. M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. In Proc. TACAS 2002, LNCS Volume 2280, April 2002.
28. M. A. Marsan, G. Balbo, and G. Conte. A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems. ACM Transactions on Computer Systems, 2(2), 1984.
29. M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, and D. Kartson. Modelling With Generalized Stochastic Petri Nets. John Wiley & Son Ltd, 1995.
30. R. Mehmood. On the Development of Techniques for the Analysis of Large Markov Models. PhD thesis, University of Birmingham, 2003. To appear.
31. A. Miner and D. Parker. Symbolic Representations and Analysis of Large State Spaces. In this Proceedings, 2003.
32. M. K. Molloy. Performance Analysis using Stochastic Petri Nets. IEEE Trans. Comput., 31:913-917, September 1982.
33. D. Parker. Implementation of Symbolic Model Checking for Probabilistic Systems. PhD thesis, University of Birmingham, August 2002.
34. B. Plateau. On the Stochastic Structure of Parallelism and Synchronisation Models for Distributed Algorithms. In Proc. 1985 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, 1985.
35. B. Plateau and K. Atif. Stochastic Automata Network for Modeling Parallel Systems. IEEE Transactions on Software Engineering, 17(10), 1991.
36. ∼dxp/prism/.
37. Y. Saad. SPARSKIT: A basic tool kit for sparse matrix computations. Technical Report RIACS-90-20, NASA Ames Research Center, CA, 1990.
38. M. Siegle. Advances in Model Representations. In Proc. PAPM/PROBMIV 2001, LNCS Volume 2165, Aachen, Germany, 2001. Springer Verlag.
39. W. J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1994.
40. S. Toledo. A Survey of Out-of-Core Algorithms in Numerical Linear Algebra. In External Memory Algorithms and Visualization, DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society Press, Providence, RI, 1999.