Publications

Found 715 results
Type [ Year(Desc)]
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.
1992
G Ciardo, JK Muppala, and KS Trivedi. "Analyzing concurrent and fault-tolerant software using stochastic reward nets." Journal of Parallel and Distributed Computing 15, no. 3 (1992): 255-269.
H Choi, and KS Trivedi. "Approximate performance models of polling systems using stochastic Petri nets." Proceedings Ieee Infocom (1992): 2306-2314.
JK Muppala, and KS Trivedi. "COMPOSITE PERFORMANCE AND AVAILABILITY ANALYSIS USING A HIERARCHY OF STOCHASTIC REWARD NETS." In Computer Performance Evaluation, 335-349. 1992.
KS Trivedi, JK Muppala, SP Woolet, and BR Haverkort. "Composite performance and dependability analysis." Performance Evaluation 14, no. 3-4 (1992): 197-215.
RK Iyer, and KS Trivedi. "Guest Editors' Introduction." Ieee Trans. Parallel Distributed Syst. 3 (1992): 641-642.
RK Iyer, and KS Trivedi. "MEASUREMENT AND ANALYSIS OF PARALLEL AND DISTRIBUTED SYSTEMS - INTRODUCTION." Ieee Transactions on Parallel and Distributed Systems 3, no. 6 (1992): 641-642.
RA Sahner, and KS Trivedi. "A TOOLCHEST FOR STOCHASTIC-MODELS." In International Conference on Simulation in Engineering Education, 25-30. Vol. 24. 1992.
V Nicola, A Bobbio, and K Trivedi. "A unified performance reliability analysis of a system with a cumulative down time constraint." Microelectronics Reliability 32, no. 1-2 (1992): 49-65.
1993
R Geist, and KS Trivedi. "An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems." In Ftcs, 442-450. 1993.
R Geist, and K Trivedi. "Analytic treatment of the reliability and performance of mirrored disk subsystems." Digest of Papers Ftcs (Fault Tolerant Computing Symposium) (1993): 442-450.
M Veeraraghavan, and KS Trivedi. "An Approach for Combinatorial Performance and Availability Analysis." In SRDS, 24-33. 1993.
M Veeraraghavan, and KS Trivedi. "Approach for combinatorial performance and availability analysis." (1993): 24-33.
V Mainkar, and KS Trivedi. "Approximate analysis of priority scheduling systems using stochastic reward nets." Proceedings International Conference on Distributed Computing Systems (1993): 466-473.
PF Chimento. "The Completion Time of Programs on Processors Subject to Failure and Repair." Ieee Transactions on Computers 42, no. 10 (1993): 1184-1194.
H Choi, and KS Trivedi. "Conditional MTTF and its computation in Markov reliability models." Proceedings of the Annual Reliability and Maintainability Symposium (1993): 56-63.
H Choi, and KS Trivedi. "Conditional MTTF and its computation in Markov reliability models." Proceedings of the Annual Reliability and Maintainability Symposium (1993): 56-63.
G Ciardo, and KS Trivedi. "A decomposition approach for stochastic reward net models." Performance Evaluation 18, no. 1 (1993): 37-59.
KS Trivedi, G Ciardo, M Malhotra, and RA Sahner. "Dependability and performability analysis." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 587-612. Vol. 729 LNCS. 1993.
KS Trivedi, G Ciardo, M Malhotra, and RA Sahner. "Dependability and Performability Analysis." In Performance/SIGMETRICS Tutorials, 587-612. Vol. 729. 1993.
KS Trivedi, and VG Kulkarni. "FSPNs: Fluid stochastic petri nets." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 24-31. Vol. 691 LNCS. 1993.
KS Trivedi, and VG Kulkarni. "FSPNs: Fluid Stochastic Petri Nets." In Application and Theory of Petri Nets, 24-31. Vol. 691. 1993.

Pages