Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler
暂无分享,去创建一个
Stephen Gilmore | Jeremy T. Bradley | Nicholas J. Dingle | William J. Knottenbelt | W. Knottenbelt | S. Gilmore | N. Dingle | J. Bradley
[1] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[2] Micha Yadin,et al. Randomization Procedures in the Computation of Cumulative-Time Distributions over Discrete State Markov Processes , 1984, Oper. Res..
[3] Winfried K. Grassmann,et al. Means and variances of time averages in Markovian environments , 1987 .
[4] Kishor S. Trivedi,et al. Numerical transient analysis of markov models , 1988, Comput. Oper. Res..
[5] Ramón Puigjaner,et al. Performance Eperiences of the Barcelona Olympic Games Computer System , 1994, Computer Performance Evaluation.
[6] Stephen Gilmore,et al. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling , 1994, Computer Performance Evaluation.
[7] Marina Ribaudo,et al. Stochastic Petri net semantics for stochastic process algebras , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.
[8] J. Hillston. Compositional Markovian Modelling Using a Process Algebra , 1995 .
[9] William J. Knottenbelt,et al. Generalised Markovian analysis of timed transition systems , 1996 .
[10] Stephen Gilmore,et al. Experiences with the PEPA performance modelling , 1999, IEE Proc. Softw..
[11] Stephen Gilmore,et al. Feature interaction in PEPA , 1998 .
[12] Stephen Gilmore,et al. Experiences with the PEPA performance modelling , 1999, IEE Proc. Softw..
[13] William John Knottenbelt,et al. Parallel performance analysis of large Markov models , 1999 .
[14] Stephen Gilmore,et al. Exploiting Modal Logic to Express Performance Measures , 2000, Computer Performance Evaluation / TOOLS.
[15] William H. Sanders,et al. Implementing a Stochastic Process Algebra within the Möbius Modeling Framework , 2001, PAPM-PROBMIV.
[16] Peter G. Harrison,et al. Passage time distributions in large Markov chains , 2002, SIGMETRICS '02.
[17] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.
[18] Peter G. Harrison,et al. Response time densities in generalised stochastic petri net models , 2002, WOSP '02.
[19] Peyton Jones,et al. Haskell 98 language and libraries : the revised report , 2003 .
[20] Peter G. Harrison,et al. Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic , 2003, 10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings..
[21] Peter G. Harrison,et al. Distributed computation of passage time quantiles and transient state distributions in large semi-Markov models , 2003, Proceedings International Parallel and Distributed Processing Symposium.
[22] Peter G. Harrison,et al. HYDRA: HYpergraph-Based Distributed Response-Time Analyzer , 2003, PDPTA.
[23] Peter G. Harrison,et al. Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models , 2004, J. Parallel Distributed Comput..