 | 2004 |
|---|
| 4 |       | Ching-Tsun Chou,
Phanindra K. Mannava,
Seungjoon Park:
A Simple Method for Parameterized Verification of Cache Coherence Protocols.
FMCAD 2004: 382-398 |
| 2003 |
|---|
| 3 | | Mani Azimi,
Ching-Tsun Chou,
Akhilesh Kumar,
Victor W. Lee,
Phanindra K. Mannava,
Seungjoon Park:
Experience with Applying Formal Methods to Protocol Specification and System Architecture.
Formal Methods in System Design 22(2): 109-116 (2003) |
| 1997 |
|---|
| 2 |  | Phanindra K. Mannava,
Lisa Teeslink:
Parallelization of Load Flow Algorithms.
PDPTA 1997: 652-659 |
| 1994 |
|---|
| 1 | | Akhilesh Kumar,
Phanindra K. Mannava,
Laxmi N. Bhuyan:
Efficient and scalable cache coherence schemes for shared memory hypercube multiprocessors.
SC 1994: 498-507 |
