( en | de | ru )

 

Disambiguation of "Sharma, Subodh"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.

, , , , , and . PVM/MPI, volume 5205 of Lecture Notes in Computer Science, page 265-273. Springer, (2008)

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.

Subodh Mitra

Krishna Sharma

Anuradha Sharma

Tripti Sharma

Rahul Sharma

 

Other publications of authors with the same name

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs., , , and . FM, volume 8442 of Lecture Notes in Computer Science, page 263-278. Springer, (2014)Dynamic Verification with Observational Equivalence of C/C++ Concurrency., , and . CoRR, (2019)PACKUARIUM: Network Packet Visualization Using Mixed Reality for Detecting Bot IoT Device of DDoS Attack., , , and . EIDWT, volume 47 of Lecture Notes on Data Engineering and Communications Technologies, page 361-372. Springer, (2020)Exploiting Epochs and Symmetries in Analysing MPI Programs., , and . ASE, page 42:1-42:12. ACM, (2022)Verifying Exception-Handling Code in Concurrent Libraries., , and . APSEC, page 405-414. IEEE, (2023)Dynamic verification of Multicore Communication applications in MCAPI., , and . HLDVT, page 100-105. IEEE Computer Society, (2009)Simulation of Secure Volunteer Computing by Using Blockchain., , , and . AINA, volume 926 of Advances in Intelligent Systems and Computing, page 883-894. Springer, (2019)Reliable Decentralized Oracle with Mechanisms for Verification and Disputation., , , and . CANDAR Workshops, page 346-352. IEEE, (2019)Development and Validation of Serious Games for Teaching Cybersecurity., , , , , and . JCSG, volume 12945 of Lecture Notes in Computer Science, page 247-262. Springer, (2021)Suppressing Chain Size of Blockchain-Based Information Sharing for Swarm Robotic Systems., , , and . CANDAR Workshops, page 524-528. IEEE Computer Society, (2018)