ACM Transactions on Computer Systems (TOCS)
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains
IEEE Transactions on Computers
The reliability of life-critical computer systems
Acta Informatica
Numerical transient analysis of Markov models
Computers and Operations Research
Performability Analysis: Measures, an Algorithm, and a Case Study
IEEE Transactions on Computers - Fault-Tolerant Computing
Performance Modeling Based on Real Data: A Case Study
IEEE Transactions on Computers - Fault-Tolerant Computing
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Performance prediction and tuning on a multiprocessor
ISCA '91 Proceedings of the 18th annual international symposium on Computer architecture
A Measurement-Based Model to Predict the Performance Impact of System Modifications: A Case Study
IEEE Transactions on Parallel and Distributed Systems
Performability Analysis: A New Algorithm
IEEE Transactions on Computers
Expokit: a software package for computing matrix exponentials
ACM Transactions on Mathematical Software (TOMS)
Availability Analysis of Repairable Computer Systems and Stationarity Detection
IEEE Transactions on Computers
Annals of Software Engineering
The Effect of Detection and Restoration Times forError Recovery in Communication Networks
Journal of Network and Systems Management
Asymptotic results for the superposition of a large number of data connections on an ATM link
Queueing Systems: Theory and Applications
A Measurement-Based Model for Estimation of Resource Exhaustion in Operational Software Systems
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Service-level enforcement in web-services-based systems
International Journal of Web and Grid Services
Performability: asymptotic distribution and moment computation
Computers & Mathematics with Applications
A generalized formulation for the performability indicator
Computers & Mathematics with Applications
Reliability Modeling of Fault Tolerant Control Systems
International Journal of Applied Mathematics and Computer Science
Sojourn-time analysis on nodal congestion in broadband networks and its impact on QoS specifications
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Second-order Markov reward models driven by QBD processes
Performance Evaluation
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Analytical architecture-based performability evaluation of real-time software systems
Journal of Systems and Software
Modeling and simulation of failure tolerance in scale free networks
Proceedings of the Winter Simulation Conference
Performance evaluation of sensor networks by statistical modeling and euclidean model checking
ACM Transactions on Sensor Networks (TOSN)
| Hi-index | 14.99 |
M.D. Beaudry (1978) proposed a simple method of computing the distribution of performability in a Markov reward process. Two extensions of Beaudry's approach are presented. The authors generalize the method to a semi-Markov reward process by removing the restriction requiring the association of zero reward to absorbing states only. The algorithm proceeds by replacing zero reward nonabsorbing states by a probabilistic switch; it is therefore related to the elimination of vanishing states from the reachability graph of a generalized stochastic Petri net and to the elimination of fast transient states in a decomposition approach to stiff Markov chains. The use of the approach is illustrated with three applications.