Publications

Found 715 results
Type [ Year(Desc)]
1990
DI HEIMANN, N MITTAL, and KS Trivedi. "Availability and Reliability Modeling for Computer Systems." Advances in Computers 31, no. C (1990): 175-233.
A Bobbio, and KS Trivedi. "Computation of the distribution of the completion time when the work requirement is a ph random variable." Communications in Statistics. Stochastic Models 6, no. 1 (1990): 133-150.
A Bobbio, and K Trivedi. "Computing Cumulative Measures of Stiff Markov Chains Using Aggregation." Ieee Transactions on Computers 39, no. 10 (1990): 1291-1298.
VG Kulkarni, VF Nicola, and KS Trivedi. "Effects of checkpointing and queueing on program performance." Communications in Statistics. Stochastic Models 6, no. 4 (1990): 615-648.
JK Muppala, and KS Trivedi. "GSPM models: sensitivity analysis and applications." In Acm Southeast Regional Conference, 25-33. 1990.
JK Muppala, and KS Trivedi. "GSPN Models: Sensitivity analysis and applications." In Proceedings 28th Annual Southeast Regional Conference, Acm Se 1990, 25-33. 1990.
M Veeraraghavan, and KS Trivedi. "An improved algorithm for the symbolic reliability analysis of networks." Proceedings Symposium on Reliability in Distributed Software and Database Systems (1990): 34-43.
G Ciardo, RA Marie, B Sericola, and KS Trivedi. "Performability Analysis Using Semi-Markov Reward Processes." Ieee Transactions on Computers 39, no. 10 (1990): 1251-1264.
R Geist, and K Trivedi. "Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques." Computer 23, no. 7 (1990): 52-61.
KS Trivedi, AS Sathaye, OC Ibe, and RC Howe. "Should I add a processor?" Proceedings of the Hawaii International Conference on System Science 1 (1990): 214-221.
OC Ibe, and KS Trivedi. "Stochastic Petri Net Models of Polling Systems." Ieee Journal on Selected Areas in Communications 8, no. 9 (1990): 1649-1657.
M Calzarossa, R Marie, and KS Trivedi. "System performance with user behavior graphs." Performance Evaluation 11, no. 3 (1990): 155-164.
OC Ibe, and KS Trivedi. "Two queues with alternating service and server breakdown." Queueing Systems 7, no. 3-4 (1990): 253-268.
1991
G Ciardo, and KS Trivedi. "A Decomposition Approach for Stochastic Petri Net Models." In PNPM, 74-83. 1991.
G Ciardo, and KS Trivedi. "A decomposition approach for stochastic Petri net models." In Proceedings of the 4th International Workshop on Petri Nets and Performance Models, Pnpm 1991, 74-83. 1991.
DI HEIMANN, N MITTAL, and KS Trivedi. "Dependability modeling for computer systems." Proceedings of the Annual Reliability and Maintainability Symposium (1991): 120-128.
DI HEIMANN, N MITTAL, and KS Trivedi. "DEPENDABILITY MODELING FOR COMPUTER-SYSTEMS." In Proceedings of the Annual Reliability and Maintainability Symposium, 120-128. 1991.
LA Tomek, and KS Trivedi. "Fixed Point Iteration in Availability Modeling." In Fault Tolerant Computing Systems, 229-240. Vol. 283. 1991.
M Veeraraghavan, and KS Trivedi. "An Improved Algorithm for Symbolic Reliability Analysis." Ieee Transactions on Reliability 40, no. 3 (1991): 347-358.
JK Muppala, D University, SP Woolet, and KS Trivedi. "Real-Time-Systems Performance in the Presence of Failures." Computer 24, no. 5 (1991): 37-47.
D Logothetis, and KS Trivedi. "Reliability analysis of the FDDI token ring." In LCN, 41-51. 1991.
D Logothetis, and K Trivedi. "Reliability analysis of the FDDI token ring." In Proceedings Conference on Local Computer Networks, Lcn, 41-51. Vol. 1991-October. 1991.
H Kantz, and KS Trivedi. "Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques." In PNPM, 268-277. 1991.
H Kantz, and K Trivedi. "Reliability modeling of the MARS system: A case study in the use of different tools and techniques." In Proceedings of the 4th International Workshop on Petri Nets and Performance Models, Pnpm 1991, 268-277. 1991.
RA Sahner, and KS Trivedi. "SHARPE - SYMBOLIC HIERARCHICAL AUTOMATED RELIABILITY AND PERFORMANCE EVALUATOR." In Numerical Solution of Markov Chains, 695-696. Vol. 8. 1991.

Pages