2003 |
6 | EE | Xinyu Zang,
Dazhi Wang,
Hairong Sun,
Kishor S. Trivedi:
A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components.
IEEE Trans. Computers 52(12): 1608-1618 (2003) |
2001 |
5 | EE | Hairong Sun,
Xinyu Zang,
Kishor S. Trivedi:
Performance of broadcast and unknown server (BUS) in ATM LAN emulation.
IEEE/ACM Trans. Netw. 9(3): 361-372 (2001) |
2000 |
4 | EE | Christophe Hirel,
Robin A. Sahner,
Xinyu Zang,
Kishor S. Trivedi:
Reliability and Performability Modeling Using SHARPE 2000.
Computer Performance Evaluation / TOOLS 2000: 345-349 |
1999 |
3 | EE | Xinyu Zang,
Hairong Sun,
Kishor S. Trivedi:
Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.
FTCS 1999: 330-337 |
2 | EE | Hairong Sun,
Xinyu Zang,
Kishor S. Trivedi:
The effect of Web caching on network planning.
Computer Communications 22(14): 1343-1350 (1999) |
1 | EE | Hairong Sun,
Xinyu Zang,
Kishor S. Trivedi:
A stochastic reward net model for performance analysis of prioritized DQDB MAN.
Computer Communications 22(9): 858-870 (1999) |