ÆÈ·Î¿ì
Kishor Trivedi
Kishor Trivedi
Chaired Professor of Electrical and Computer Engineering, Duke University
duke.eduÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Probability & statistics with reliability, queuing and computer science applications
KS Trivedi
John Wiley & Sons, 2008
53692008
Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
G Bolch, S Greiner, H De Meer, KS Trivedi
John Wiley & Sons, 2006
31742006
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
RA Sahner, K Trivedi, A Puliafito
Springer Science & Business Media, 2012
9912012
SPNP: Stochastic Petri Net Package.
G Ciardo, JK Muppala, KS Trivedi
PNPM 89, 142-151, 1989
8881989
Model-based evaluation: from dependability to security
DM Nicol, WH Sanders, KS Trivedi
IEEE Transactions on dependable and secure computing 1 (1), 48-65, 2004
6702004
Architecture-based approach to reliability assessment of software systems
K Goševa-Popstojanova, KS Trivedi
Performance Evaluation 45 (2-3), 179-204, 2001
6232001
Proactive management of software aging
V Castelli, RE Harper, P Heidelberger, SW Hunter, KS Trivedi, ...
IBM Journal of Research and Development 45 (2), 311-332, 2001
4402001
A methodology for detection and estimation of software aging
S Garg, A Van Moorsel, K Vaidyanathan, KS Trivedi
Proceedings Ninth International Symposium on Software Reliability ¡¦, 1998
4401998
Performance modeling of PBFT consensus process for permissioned blockchain network (hyperledger fabric)
H Sukhwani, JM Martínez, X Chang, KS Trivedi, A Rindos
2017 IEEE 36th symposium on reliable distributed systems (SRDS), 253-255, 2017
4222017
Automated generation and analysis of Markov reward models using stochastic reward nets
G Ciardo, A Blakemore, PF Chimento Jr, JK Muppala, KS Trivedi
Linear algebra, Markov chains, and queueing models, 145-191, 1993
4191993
Numerical transient analysis of Markov models
A Reibman, K Trivedi
Computers & Operations Research 15 (1), 19-36, 1988
4161988
Markov regenerative stochastic Petri nets
H Choi, VG Kulkarni, KS Trivedi
Performance evaluation 20 (1-3), 337-357, 1994
3991994
Reliability modeling using SHARPE
RA Sahner, KS Trivedi
IEEE Transactions on Reliability 36 (2), 186-193, 1987
3971987
Combining Cloud and sensors in a smart city environment
N Mitton, S Papavassiliou, A Puliafito, KS Trivedi
EURASIP journal on Wireless Communications and Networking 2012 (1), 1-10, 2012
3932012
A decomposition approach for stochastic reward net models
G Ciardo, KS Trivedi
Performance Evaluation 18 (1), 37-59, 1993
3911993
A method for modeling and quantifying the security attributes of intrusion tolerant systems
BB Madan, K Goševa-Popstojanova, K Vaidyanathan, KS Trivedi
Performance Evaluation 56 (1-4), 167-186, 2004
3892004
Performability analysis: measures, an algorithm, and a case study
RM Smith, KS Trivedi, AV Ramesh
IEEE Transactions on Computers 37 (4), 406-417, 1988
3781988
Dependability modeling using Petri-nets
M Malhotra, KS Trivedi
IEEE Transactions on reliability 44 (3), 428-440, 1995
3631995
Analysis of software aging in a web server
M Grottke, L Li, K Vaidyanathan, KS Trivedi
IEEE Transactions on reliability 55 (3), 411-420, 2006
3622006
Fighting bugs: Remove, retry, replicate, and rejuvenate
M Grottke, KS Trivedi
Computer 40 (2), 107-109, 2007
3512007
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20