( en | de | ru )

 

Disambiguation of "Joshi, Saurabh"

Author of the publication

copydeleteadd this publication to your clipboard
Distributed Generalized Dynamic Barrier Synchronization.

, , and . ICDCN, volume 6522 of Lecture Notes in Computer Science, page 143-154. Springer, (2011)

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.

Saurabh Sanatani

Saurabh Srivastava

Saurabh Bhavsar

Jidnyasa Joshi

Saurabh Ray

 

Other publications of authors with the same name

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)., , , , and . CoRR, (2016)On the tractability of (k, i)-coloring., , , and . Discret. Appl. Math., (2021)GPURepair: Automated Repair of GPU Kernels., and . VMCAI, volume 12597 of Lecture Notes in Computer Science, page 401-414. Springer, (2021)DORA: Distributed Oracle Agreement with Simple Majority., , , , and . CoRR, (2023)GPURepair: Automated Repair of GPU Kernels., and . CoRR, (2020)Automatically finding atomic regions for fixing bugs in Concurrent programs., and . CoRR, (2014)The Virtues of Conflict: Analyzing Modern Concurrency., , and . CoRR, (2016)Reactivity in SystemC Transaction-Level Models., , , , and . Haifa Verification Conference, volume 4899 of Lecture Notes in Computer Science, page 34-50. Springer, (2007)Equivalence Checking of a Floating-Point Unit Against a High-Level C Model., , , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 551-558. (2016)On the Tractability of (k, i)-Coloring., , , and . CALDAM, volume 10743 of Lecture Notes in Computer Science, page 188-198. Springer, (2018)