Stochastic Process Algebras Applied to Failure Modelling
暂无分享,去创建一个
[1] L. Christie,et al. Queuing with Preemptive Priorities or with Breakdown , 1958 .
[2] P. Naor,et al. Queuing Problems with Heterogeneous Arrivals and Service , 1971, Oper. Res..
[3] M. Thomas. Queueing Systems. Volume 1: Theory (Leonard Kleinrock) , 1976 .
[4] W. Grassmann. Transient solutions in Markovian queues : An algorithm for finding them and determining their waiting-time distributions , 1977 .
[5] M. D. Beaudry,et al. Performance-Related Reliability Measures for Computing Systems , 1978, IEEE Transactions on Computers.
[6] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[7] John F. Meyer,et al. On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.
[8] Marcel F. Neuts,et al. Matrix-Geometric Solutions in Stochastic Models , 1981 .
[9] Kishor S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .
[10] Paul J. Schweitzer,et al. Aggregation Methods for Large Markov Chains , 1983, Computer Performance and Reliability.
[11] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[12] Kishor S. Trivedi,et al. An Aggregation Technique for the Transient Analysis of Stiff Markov Chains , 1986, IEEE Transactions on Computers.
[13] Satish K. Tripathi,et al. Performance Analysis of Synchronization for Two Communicating Processes , 1988, Perform. Evaluation.
[14] Peter W. Glynn,et al. Computing Poisson probabilities , 1988, CACM.
[15] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[16] Hany H. Ammar,et al. Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models , 1989, IEEE Trans. Software Eng..
[17] Udo R. Krieger,et al. Modeling and Analysis of Communication Systems Based on Computational Methods for Markov Chains , 1990, IEEE J. Sel. Areas Commun..
[18] Kishor S. Trivedi,et al. Computing Cumulative Measures of Stiff Markov Chains Using Aggregation , 1990, IEEE Trans. Computers.
[19] Kishor S. Trivedi,et al. On the Solution of GSPN Reward Models , 1991, Perform. Evaluation.
[20] Christoph Lindemann,et al. Employing the Randomization Technique for Solving Stochastic Petri Nets Models , 1991, MMB.
[21] Multiprocessor Systems with General Breakdowns and Repairs , 1992, SIGMETRICS.
[22] Edmundo de Souza e Silva,et al. Performability Analysis of Computer Systems: From Model Spacification to Solution , 1992, Perform. Evaluation.
[23] Kishor S. Trivedi,et al. Composite Performance and Dependability Analysis , 1992, Perform. Evaluation.
[24] Norbert Götz,et al. Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras , 1993, Performance/SIGMETRICS Tutorials.
[25] Kishor S. Trivedi,et al. Reliability and Performability Techniques and Tools: A Survey , 1993, MMB.
[26] Boudewijn R. Haverkort,et al. Specification techniques for Markov reward models , 1993, Discret. Event Dyn. Syst..
[27] Graham Horton,et al. A multi-level solution algorithm for steady-state Markov chains , 1994, SIGMETRICS.
[28] Markus Siegle. Reduced Markov Models Of Parallel Programs With Replicated Processes , 1994, Proceedings. Second Euromicro Workshop on Parallel and Distributed Processing.
[29] Holger Hermanns,et al. Markovian Processes Go Algebra , 1994 .
[30] S. Wittevrongel,et al. Queueing Systems , 2019, Introduction to Stochastic Processes and Simulation.