Phanindra K. Mannava

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
A Simple Method for Parameterized Verification of Cache Coherence Protocols.
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.
Formal Methods Syst. Des., 2003

1997
Parallelization of Load Flow Algorithms.
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.
Proceedings of the Proceedings Supercomputing '94, 1994


  Loading...