Publications

Found 719 results
Type [ Year(Asc)]
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.
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.
1989
A Reibman, K Trivedi, S Kumar, and G Ciardo. "Analysis of Stiff Markov Chains." Orsa Journal on Computing 1, no. 2 (1989): 126-133.
AL Reibman, KS Trivedi, S Kumar, and G Ciardo. "Analysis of Stiff Markov Chains." INFORMS Journal on Computing 1 (1989): 126-133.
OC Ibe, RC Howe, and KS Trivedi. "Approximate Availability Analysis of VAXcluster Systems." Ieee Transactions on Reliability 38, no. 1 (1989): 146-152.
PF Chimento, and KS Trivedi. "Completion time of programs on concurrent processors with failure and repair." Proceedings of the International Conference on Parallel Processing 1 (1989): 167-171.
JB Dugan, and KS Trivedi. "Coverage Modeling for Dependability Analysis of Faulttolerant Systems." Ieee Transactions on Computers 38, no. 6 (1989): 775-787.
WE Smith, and KS Trivedi. "Dependability evaluation of a class of multi-loop topologies for local area networks." Ibm Journal of Research and Development 33, no. 5 (1989): 511-523.

Pages