( en | de | ru )

 

Disambiguierung von "Joshi, Saurabh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Phase Transition Behavior of Cardinality and XOR Constraints.

, , und . CoRR, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Saurabh Sanatani

Saurabh Srivastava

Saurabh Bhavsar

Jidnyasa Joshi

Saurabh Ray

 

Weitere Publikationen von Autoren mit dem selben Namen

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