Publications

Found 728 results
Type [ Year(Desc)]
1995
V Mainkar, and KS Trivedi. "Fixed point iteration using stochastic reward nets." International Workshop on Petri Nets and Performance Models (1995): 21-30.
KS Trivedi, A Puliafito, and D Logothetis. "From stochastic Petri nets to Markov regenerative stochastic Petri nets." In Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS, 194-198. 1995.
RK Iyer, KS Trivedi, and J GOLDBERG. "INTRODUCTION TO THE SPECIAL ISSUE ON FAULT-TOLERANT COMPUTING." IEEE TRANSACTIONS ON COMPUTERS 44, no. 2 (1995): 165-167.
D Logothetis, KS Trivedi, and A Puliafito. "Markov regenerative models." Proceedings - International Computer Performance and Dependability Symposium (1995): 134-142.
KS Trivedi, R German, A Bobbio, A Puliafito, G Ciardo, and M Telek. "Non-Markovian Petri Nets." In Proceedings of the 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995, 263-264. 1995.
C Lindemann, M Malhotra, and KS Trivedi. "Numerical Methods for Reliability Evaluation of Markov Closed Fault-Tolerant Systems." IEEE Transactions on Reliability 44, no. 4 (1995): 694-704.
H Choi, VG Kulkarni, and KS Trivedi. "Performance evaluation." Performance Evaluation 21, no. 3 (1995): 271.
H Choi, VG Kulkarni, and KS Trivedi. "Performance evaluation. Erratum to "Markov regenerative stochastic Petri nets" [20 (1994) 337-357] (PII:0166-5316(94)90021-3)." Performance Evaluation 21, no. 3 (1995): 271.
S Greiner, A Puliafito, G Bolch, and KS Trivedi. "Performance evaluation of dynamic priority operating systems." International Workshop on Petri Nets and Performance Models (1995): 241-250.
A Bobbio, VG Kulkarni, A Puliafito, M Telek, and KS Trivedi. "Preemptive repeat identical transitions in Markov regenerative stochastic Petri Nets." International Workshop on Petri Nets and Performance Models (1995): 113-122.
AV Ramesh, and K Trivedi. "Semi-numerical transient analysis of Markov models." Proceedings of the Annual Southeast Conference (1995): 13-23.
M Telek, A Bobbio, L Jereb, A Puliafito, and KS Trivedi. "Steady State Analysis of Markov Regenerative SPN with Age Memory Policy." In MMB, 165-179. Vol. 977. 1995.
M Telek, A Bobbio, L Jereb, A Puliafito, and KS Trivedi. "Steady state analysis of markov regenerative SPN with age memory policy." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 165-179. Vol. 977. 1995.
S Rai, M Veeraraghavan, and KS Trivedi. "A survey of efficient reliability computation using disjoint products approach." Networks 25, no. 3 (1995): 147-163.
S Rai, M Veeraraghavan, and KS Trivedi. "A survey of efficient reliability computation using disjoint products approach." Networks 25 (1995): 147-163.
D Logothetis, and K Trivedi. "Time-dependent behavior of redundant systems with deterministic repair." In COMPUTATIONS WITH MARKOV CHAINS, 135-150. 1995.
R German, D Logothetis, and KS Trivedi. "Transient analysis of Markov regenerative stochastic petri nets: a comparison of approaches." International Workshop on Petri Nets and Performance Models (1995): 103-112.
V Mainkar, and KS Trivedi. "TRANSIENT ANALYSIS OF REAL-TIME SYSTEMS USING DETERMINISTIC AND STOCHASTIC PETRI NETS." In QUALITY OF COMMUNICATION-BASED SYSTEMS, 69-84. 1995.
1996
P Heidelberger, JK Muppala, and KS Trivedi. "Accelerating mean time to failure computations." Performance Evaluation 27-28 (1996): 627-645.
K Bänsch, A Heini, M Malhotra, and K Trivedi. "Comment/correction: dependability modeling using petri nets." IEEE Transactions on Reliability 45, no. 2 (1996): 272-273.
LM Leemis, and KS Trivedi. "A Comparison of Approximate Interval Estimators for the Bernoulli Parameter." American Statistician 50, no. 1 (1996): 63-68.
GW Merkx. "Foreword." Latin American Research Review 31, no. 4 (1996): R3-R9.
R Fricks, S Hunter, S Garg, and KS Trivedi. "IDEA: Integrated design environment for assessment of ATM networks." Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS (1996): 27-34.
SS Gokhale, PN Marines, and KS Trivedi. "Important milestones in software reliability modeling." In SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 345-352. 1996.
SS Gokhale, PN Marinos, and KS Trivedi. "Important Milestones in Software Reliability Modeling." In Seke, 345-352. 1996.

Pages