Performability analysis of computer systems: from model specification to solution

This publication has 49 references indexed in Scilit:

• Performability analysis using semi-Markov reward processes
  IEEE Transactions on Computers, 1990
• Performability Evaluation of Fault-Tolerant Satellite Systems
  IEEE Transactions on Communications, 1987
• Computable Bounds for Conditional Steady-State Probabilities in Large Markov Chains and Queueing Models
  IEEE Journal on Selected Areas in Communications, 1986
• An Aggregation Technique for the Transient Analysis of Stiff Markov Chains
  IEEE Transactions on Computers, 1986
• Calculating Cumulative Operational Time Distributions of Repairable Computer Systems
  IEEE Transactions on Computers, 1986
• Bounds for the Positive Eigenvectors of Nonnegative Matrices and for their Approximations by Decomposition
  Journal of the ACM, 1984
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• Performance-Related Reliability Measures for Computing Systems
  IEEE Transactions on Computers, 1978
• Error Analysis in Nearly-Completely Decomposable Stochastic Systems
  Econometrica, 1975
• A Reliability Model for Gracefully Degrading and Standby-Sparing Systems
  IEEE Transactions on Computers, 1975