( en | de | ru )

 

Disambiguation of "Subramaniam, Mahadevan"

Author of the publication

copydeleteadd this publication to your clipboard
A methodology for early validation of cache coherence protocols based on relational databases.

, and . Concurr. Comput. Pract. Exp., 19 (3): 355-368 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mahadevan Lakshminarasimhan

Kalaivani Subramaniam

Jasmin Mahadevan

Roland Mahadevan

Erode Mahadevan

 

Other publications of authors with the same name

A methodology for early validation of cache coherence protocols based on relational databases., and . Concurr. Comput. Pract. Exp., 19 (3): 355-368 (2007)A Novel Approach for Embedding and Traversing Problems in Serious Games., , , and . SIGITE, page 229-235. ACM, (2020)DRSTI: A Workbench for Querying Retinal Image Data of Age-Related Macular Degeneration Patients., , and . ICSH, volume 9545 of Lecture Notes in Computer Science, page 340-349. Springer, (2015)Summarizing developer work history using time series segmentation: challenge report., , and . MSR, page 137-140. ACM, (2008)Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report., and . ASIAN, volume 2896 of Lecture Notes in Computer Science, page 125-145. Springer, (2003)Automated Reasoning About Parallel Algorithms Using Powerlists., and . AMAST, volume 936 of Lecture Notes in Computer Science, page 416-430. Springer, (1995)Extending Decision Procedures with Induction Schemes., and . CADE, volume 1831 of Lecture Notes in Computer Science, page 324-345. Springer, (2000)Improving efficiency of quantum key distribution with probabilistic measurements., , and . Int. J. Secur. Networks, 11 (1/2): 37-47 (2016)The transient combinator, higher-order strategies, and the distributed data problem., and . Sci. Comput. Program., (2004)Directed Fine Tuning Using Feature Clustering for Instance Segmentation of Toxoplasmosis Fundus Images., , , , , , and . BIBE, page 767-772. IEEE, (2020)