Phanindra K. Mannava

According to our database, Phanindra K. Mannava authored at least 4 papers between 1994 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2004

A Simple Method for Parameterized Verification of Cache Coherence Protocols.

Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Experience with Applying Formal Methods to Protocol Specification and System Architecture.

Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park

Formal Methods Syst. Des., 2003

1997

Parallelization of Load Flow Algorithms.

Phanindra K. Mannava, Lisa Teeslink

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

1994

Efficient and scalable cache coherence schemes for shared memory hypercube multiprocessors.

Akhilesh Kumar, Phanindra K. Mannava, Laxmi N. Bhuyan

Proceedings of the Proceedings Supercomputing '94, 1994