Analysis of Performability for Stochastic Models of Fault-Tolerant Systems
IEEE Transactions on Computers
Performability Analysis: Measures, an Algorithm, and a Case Study
IEEE Transactions on Computers - Fault-Tolerant Computing
On Evaluating the Cumulative Performance Distribution of Fault-Tolerant Computer Systems
IEEE Transactions on Computers
Performability Analysis: A New Algorithm
IEEE Transactions on Computers
Existence and stability of a discrete probability distribution by maximum entropy approach
Applied Mathematics and Computation
MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Analysis of stochastic reaction networks with Markov reward models
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Transient analysis of a queuing system with matrix-geometric methods
NEW2AN'06 Proceedings of the 6th international conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking
A New General-Purpose Method for the Computation of the Interval Availability Distribution
INFORMS Journal on Computing
Hi-index | 0.00 |
MRMSolve is an analysis tool developed for the evaluation of large Markov Reward Models (MRM). The previous version of MRM-Solve [8] provided only the moments of MRMs at arbitrary transient instant of time. This paper presents a new version of MRMSolve with new analysis features and software environment. The most important new functionality of MRMSolve is that it also makes distribution estimation of MRMs. MRMSolve can estimate the distribution of reward measures up to models with ~106 states, and to the best of our knowledge no other algorithm can handle MRMs with more than ~104 states.