Performability analysis of computer systems: from model specification to solution

DOI10.1016/0166-5316(92)90003-YzbMath0753.68017OpenAlexW2048782993MaRDI QIDQ4004639

E. de Souza e Silva, H. R. Gail

Publication date: 27 September 1992

Published in: Performance Evaluation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0166-5316(92)90003-y

zbMATH Keywords

decompositionuniformizationtransient analysisstate space reductionMarkov reward modelsrandomization techniqueavailability boundsdependability tools

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Reliability, testing and fault tolerance of networks and computer systems (68M15) Applications of Markov renewal processes (reliability, queueing networks, etc.) (60K20)

Related Items (2)

Specification techniques for Markov reward models ⋮ Performability analysis for degradable computer systems

This page was built for publication: Performability analysis of computer systems: from model specification to solution