Decomposability, instabilities, and saturation in multiprogramming systems
Communications of the ACM
Data Processing Technology and Economics
Data Processing Technology and Economics
A combined evaluation of performance and reliability for degradable systems
SIGMETRICS '81 Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A methodology for computer service selection
A methodology for computer service selection
Labelled formal languages and their uses
Labelled formal languages and their uses
Performability Evaluation of the SIFT Computer
IEEE Transactions on Computers
| Hi-index | 0.00 |
When building a model for degradable computer systems, it is not sufficient to merely quantify reliability and performance measures. These indices must be mathematically sound if they are to be used to design such systems in an optimal way. The paper presents an analysis of design optimisation for degradable computer systems and shows how this particular application leads to a system model with interdepedent subsystems. A procedure is presented on how to solve the resulting Markov model. Its computational complexity is compared to another solution method and shown to be largely more efficient.