Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets
暂无分享,去创建一个
[1] Kishor S. Trivedi,et al. Composite Performance and Availability Analysis Using a Hierarchy of Stochastic Reward Nets , 1991 .
[2] Boudewijn R. Haverkort,et al. Product forms for availability models , 1992 .
[3] Kishor S. Trivedi,et al. Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems , 1989, IEEE Trans. Computers.
[4] N. M. van Dijk. Analytic error bounds for approximations of queueing networks with an application to alternate routing , 1989 .
[5] Kishor S. Trivedi,et al. Performability Analysis: Measures, an Algorithm, and a Case Study , 1988, IEEE Trans. Computers.
[6] Kishor S. Trivedi,et al. Composite Performance and Dependability Analysis , 1992, Perform. Evaluation.
[7] Nico M. van Dijk,et al. Transient Error Bound Analysis for Continuous-Time Markov Reward Structures , 1991, Perform. Evaluation.
[8] M. Puterman,et al. Perturbation theory for Markov reward processes with applications to queueing systems , 1988, Advances in Applied Probability.
[9] Kishor S. Trivedi,et al. Approximate availability analysis of VAXcluster systems , 1989 .
[10] Nico M. Van Dijk,et al. The Importance of Bias Terms for Error Bounds and Comparison Results , 1989 .
[11] William H. Sanders,et al. Reduced Base Model Construction Methods for Stochastic Activity Networks , 1991, IEEE J. Sel. Areas Commun..
[12] Boudewijn R. Haverkort,et al. Specification techniques for Markov reward models , 1993, Discret. Event Dyn. Syst..
[13] Boudewijn R. Haverkort,et al. Product forms for availability , 1990 .
[14] Edmundo de Souza e Silva,et al. State space exploration in Markov models , 1992, SIGMETRICS '92/PERFORMANCE '92.
[15] Kishor S. Trivedi,et al. SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.
[16] Marco Ajmone Marsan,et al. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.
[17] S. C. Johnson,et al. Automated generation of reliability models , 1988, 1988. Proceedings., Annual Reliability and Maintainability Symposium,.
[18] Kishor S. Trivedi,et al. A Decomposition Approach for Stochastic Reward Net Models , 1993, Perform. Evaluation.
[19] Kishor S. Trivedi,et al. Specification and generation of Markov reward models , 1992 .
[20] Henk Tijms,et al. Stochastic modelling and analysis: a computational approach , 1986 .
[21] GoyalAmbuj,et al. Modeling and analysis of computer system availability , 1987 .
[22] Kishor S. Trivedi,et al. Probabilistic modeling of computer system availability , 1987 .
[23] Ignas Niemegeers,et al. Performability modelling tools - a servey , 1991 .
[24] Boudewijn R. Haverkort,et al. DyQNtool-a performability modelling tool based on the dynamic queueing network concept , 1991 .
[25] Udo R. Krieger,et al. Modeling and Analysis of Communication Systems Based on Computational Methods for Markov Chains , 1990, IEEE J. Sel. Areas Commun..
[26] Douglas R. Miller. Almost Sure Comparisons of Renewal Processes and Poisson Processes, with Application to Reliability Theory , 1979, Math. Oper. Res..
[27] John F. Meyer,et al. Closed-Form Solutions of Performability , 1982, IEEE Transactions on Computers.
[28] Richard R. Muntz,et al. Bounding Availability of Repairable Computer Systems , 1989, IEEE Trans. Computers.
[29] Nico M. van Dijk,et al. Truncation of Markov Chains with Applications to Queueing , 1991, Oper. Res..
[30] Boudewijn R. Haverkort. Performability modelling tools, evaluation techniques, and applications , 1990 .
[31] Kishor S. Trivedi,et al. Stochastic Petri net modeling of VAXcluster system availability , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.
[32] Frank Kelly,et al. Reversibility and Stochastic Networks , 1979 .