Share This Author
Probability and Statistics with Reliability, Queuing, and Computer Science Applications
- Kishor S. Trivedi
- Computer Science
- 1 May 1984
Probability and Statistics with Reliability, Queuing and Computer Science Applications, Second Edition, offers a comprehensive introduction to probabiliby, stochastic processes, and statistics for…
Queueing Networks and Markov Chains
SPNP: stochastic Petri net package
- G. Ciardo, J. Muppala, Kishor S. Trivedi
- Computer ScienceProceedings of the Third International Workshop…
- 11 December 1989
SPNP, a powerful GSPN package that allows the modeling of complex system behaviors, is presented and is compared with two other SPN-based packages, Great SPN and METASAN.
Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications, Second Edition
The role of Probability and Statistics in simulation, and the role of tools in Simulation, in the development of Markov Chains and Queueing Networks, is explained in more detail.
A BDD-based algorithm for reliability analysis of phased-mission systems
This paper presents a new algorithm (PMS-BDD) based on the binary decision diagram (BDD) for reliability analysis of phased-mission systems (PMS). PMS-BDD uses phase algebra to deal with the…
Performance and Reliability Analysis of Computer Systems
Analysis of Software Aging in a Web Server
- Michael Grottke, Lei Li, K. Vaidyanathan, Kishor S. Trivedi
- Computer ScienceIEEE Transactions on Reliability
- 6 September 2006
Based on the models employed here, proactive management techniques like software rejuvenation triggered by actual measurements can be built and how the exploitation of the seasonal variation can help in adequately predicting the future resource usage is shown.
Numerical transient analysis of markov models
A Decomposition Approach for Stochastic Reward Net Models