Stochastic modeling formalisms for dependability, performance and performability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1769, Issue , 2000, Pages 403-422

  Goševa Popstojanova, Katerina ^a   Trivedi, Kishor ^a  

^a Duke University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84937437686     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46506-5_17     Document Type: Conference Paper

References (14)

1. Ajmone Marsan, M., Balbo, G., Conte, G.: A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems. ACM Trans. on Computer Systems. 2 (1984) 93-122
2. Beaudry, M.D.: Performance - related Reliability Measures for Computing Sys- tems. IEEE Trans. on Computers. 27 (1978) 540-547
3. Bobbio, A., Trivedi, K.: An Aggregation Technique for the Transient Analysis of Stiff Markov Chains. IEEE Trans. on Computers. 35 (1986) 803-814
4. Bobbio, A., Puliafito, A., Telek, M., Trivedi, K.: Recent Developments in Stochastic Petri Nets. Journal of Circuits, Systems, and Computers. 8 (1998) 119-158
5. Bolch, G., Greiner, S., de Meer, H. Trivedi, K.: Queueing Networks and Markov Chains, John Wiley & Sons, (1998)
6. Ciardo, G., Blakemore, A., Chimento, P.F., Muppala, J.K., Trivedi, K.S.: Auto- mated Generation and Analysis of Markov Reward Models using Stochastic Re- ward Nets. In Mayer, C., Plemmons, R.J. (eds.): Linear Algebra, Markov Chains and Queueing Models. IMA Volumes in Mathematics and Its Applications. Vol. 48. Springer-Verlag (1993) 145-191
7. Gross, D., Harris, C.M.: Fundamentals of Queueing Theory. John Wiley & Sons, (1985)
8. Howard, R.A.: Dynamic Probabilistic Systems, Vol.II: Semi-Markov and Decision Processes. John Wiley & Sons, (1971)
9. Kulkarni, V.G.: Modeling and Analysis of Stochastic Systems. Chapman Hall (1995)
10. Lindemann, C.: Performance Modelling with Deterministic and Stochastic Petri Nets. John Wiley & Sons, (1998)
11. Meyer, J.F.: On Evaluating the Performability of Degradable Computing Systems. IEEE Trans. on Computers. 29 (1980) 720-731
12. Trivedi, K.S.: Probability and Statistics with Reliability, Queuing and Computer Science Applications. Prentice-Hall, (1982)
13. Trivedi, K.S., Sathaye, A.S., Ibe, O.C., Howe, R.C., Aggarwal, A.: Availability and Performance - Based Sizing of Multiprocessor Systems, Communications in Reliability, Maintainability and Serviceability. (1996)
14. Sahner, R.A., Trivedi, K.S., Puliafito, A.: Performance and Reliability Analysis of Computer Systems. Kluwer Academic Publishers, (1996)