Phanindra K. Mannava

Publication Activity (10 Years)

Years Active: 1994-2004
Publications (10 Years): 0

Publications

Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park
A Simple Method for Parameterized Verification of Cache Coherence Protocols. FMCAD (2004)
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 Syst. Des. 22 (2) (2003)
Phanindra K. Mannava, Lisa Teeslink
Parallelization of Load Flow Algorithms. PDPTA (1997)
Akhilesh Kumar, Phanindra K. Mannava, Laxmi N. Bhuyan
Efficient and scalable cache coherence schemes for shared memory hypercube multiprocessors. SC (1994)