Publications

Found 728 results
Type [ Year(Asc)]
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.
G Ciardo, J Muppala, and KS Trivedi. "On the solution of GSPN reward models." Performance Evaluation 12, no. 4 (1991): 237-253.
G Ciardo, and KS Trivedi. "SOLUTION OF LARGE GSPN MODELS." In NUMERICAL SOLUTION OF MARKOV CHAINS, 565-595. Vol. 8. 1991.
G Ciardo, J Muppala, and KS Trivedi. "SPNP - THE STOCHASTIC PETRI NET PACKAGE." In NUMERICAL SOLUTION OF MARKOV CHAINS, 693-694. Vol. 8. 1991.
OC Ibe, and KS Trivedi. "Stochastic petri net analysis of finite-population vacation queueing systems." Queueing Systems 8, no. 1 (1991): 111-127.
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.

Pages