Perfect Simulation of Stochastic Automata Networks
暂无分享,去创建一个
[1] Peter Buchholz,et al. Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models , 2000, INFORMS J. Comput..
[2] Paulo Fernandes,et al. The PEPS Software Tool , 2003, Computer Performance Evaluation / TOOLS.
[3] Paulo Fernandes,et al. On the benefits of using functional transitions and Kronecker algebra , 2004, Perform. Evaluation.
[4] Jean-Marc Vincent,et al. Perfect simulation of index based routing queueing networks , 2006, PERV.
[5] S. Foss,et al. Two ergodicity criteria for stochastically recursive sequences , 1994 .
[6] Paulo Fernandes,et al. Efficient descriptor-vector multiplications in stochastic automata networks , 1998, JACM.
[7] Gianfranco Ciardo,et al. Efficient Reachability Set Generation and Storage Using Decision Diagrams , 1999, ICATPN.
[8] Susanna Donatelli,et al. Application and Theory of Petri Nets 1999 , 2003, Lecture Notes in Computer Science.
[9] Brigitte Plateau,et al. On the stochastic structure of parallelism and synchronization models for distributed algorithms , 1985, SIGMETRICS '85.
[10] Brigitte Plateau,et al. Stochastic Automata Network For Modeling Parallel Systems , 1991, IEEE Trans. Software Eng..
[11] Jean-Marc Vincent. Perfect Simulation of Queueing Networks with Blocking and Rejection , 2005, 2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops).
[12] David Bruce Wilson,et al. Exact sampling with coupled Markov chains and applications to statistical mechanics , 1996, Random Struct. Algorithms.
[13] Xeni K. Dimakos,et al. A Guide to Exact Simulation , 2001 .
[14] Peter Buchholz,et al. Hierarchical Reachability Graph Generation for Petri Nets , 2002, Formal Methods Syst. Des..
[15] Paulo Fernandes,et al. PEPS2007 - Stochastic Automata Networks Software Tool , 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
[16] Olle Häggström. Finite Markov Chains and Algorithmic Applications , 2002 .
[17] Örjan Stenflo. Ergodic theorems for Markov chains represented by iterated function systems , 2001 .
[18] Brigitte Plateau,et al. Fast simulation for Road Traffic Network , 2001, RAIRO Oper. Res..
[19] William J. Stewart,et al. Introduction to the numerical solution of Markov Chains , 1994 .
[20] Luis Gustavo Ramos Zani,et al. PEPS2015 - STOCHASTIC AUTOMATA NETWORKS SOFTWARE TOOL , 2007 .
[21] Paulo Fernandes,et al. The Need for and the Advantages of Generalized Tensor Algebra for Kronecker Structured Representations , 2005 .
[22] Jean-Marc Vincent,et al. Perfect simulation of monotone systems for rare event probability estimation , 2005, Proceedings of the Winter Simulation Conference, 2005..