Publications

Found 728 results
Type [ Year(Asc)]
1994
KS Trivedi, BR Haverkort, AJ Rindos, and V Mainkar. "Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives." In Computer Performance Evaluation, 1-24. Vol. 794. 1994.
KS Trivedi, BR Haverkort, A Rindos, and V Mainkar. "Techniques and tools for reliability and performance evaluation: Problems and perspectives." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1-24. Vol. 794. 1994.
D Logothetis, and K Trivedi. "Transient analysis of the leaky bucket rate control scheme under poisson and on-off sources." Proceedings - IEEE INFOCOM 2 (1994): 490-497.
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 - International Symposium on Fault-Tolerant Computing (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 Performance/SIGMETRICS Tutorials, 587-612. Vol. 729. 1993.
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, and VG Kulkarni. "FSPNs: Fluid Stochastic Petri Nets." In Application and Theory of Petri Nets, 24-31. Vol. 691. 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.
C-Y Wang, and KS Trivedi. "Integration of Specification for Modeling and Specification for System Design." In Application and Theory of Petri Nets, 473-492. Vol. 691. 1993.
CY Wang, and KS Trivedi. "Integration of specification for modeling and specification for system design." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 473-492. Vol. 691 LNCS. 1993.
M Malhotra, and KS Trivedi. "A methodology for formal expression of hierarchy in model solution." In Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, 258-267. 1993.
LA Tomek. "Modeling Correlation in Software Recovery Blocks." IEEE Transactions on Software Engineering 19, no. 11 (1993): 1071-1086.
JK Muppala, G Ciardo, and KS Trivedi. "Modeling Using Stochastic Reward Nets." In Mascots, 367-372. 1993.
JK Muppala, G Ciardo, and KS Trivedi. "MODELING USING STOCHASTIC REWARD NETS." In MASCOTS '93, 367-372. Vol. 25. 1993.
N Lopez-Benitez, and KS Trivedi. "Multiprocessor Performability Analysis." IEEE Transactions on Reliability 42, no. 4 (1993): 579-587.
HD Meer, and KS Trivedi. "Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems." In MMB, 159-172. 1993.
OC Ibe, H Choi, and KS Trivedi. "Performance Evaluation of Client-Server Systems." IEEE Transactions on Parallel and Distributed Systems 4, no. 11 (1993): 1217-1229.

Pages