( en | de | ru )

 

Disambiguierung von "Sarkar, Susmit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores.

, , und . FOPARA, Volume 9964 von Lecture Notes in Computer Science, Seite 101-125. (2015)

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.

Susmit Jha

Anindita Sarkar

Abhijit Sarkar

Tapabrato Sarkar

Abhishek Sarkar

 

Weitere Publikationen von Autoren mit dem selben Namen

Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms., , und . ICFP, Seite 4-17. ACM, (2016)Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores., , und . FOPARA, Volume 9964 von Lecture Notes in Computer Science, Seite 101-125. (2015)Fences in Weak Memory Models., , , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 258-272. Springer, (2010)Litmus: Running Tests against Hardware., , , und . TACAS, Volume 6605 von Lecture Notes in Computer Science, Seite 41-44. Springer, (2011)A Better x86 Memory Model: x86-TSO., , und . TPHOLs, Volume 5674 von Lecture Notes in Computer Science, Seite 391-407. Springer, (2009)Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection., , , und . ACM Trans. Archit. Code Optim., 12 (4): 46:1-46:23 (2016)The semantics of power and ARM multiprocessor machine code., , , , , , und . DAMP, Seite 13-24. ACM, (2009)Clarifying and compiling C/C++ concurrency: from C++11 to POWER., , , , und . POPL, Seite 509-520. ACM, (2012)Small Proof Witnesses for LF., , und . ICLP, Volume 3668 von Lecture Notes in Computer Science, Seite 387-401. Springer, (2005)An Axiomatic Memory Model for POWER Multiprocessors., , , , , , , , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 495-512. Springer, (2012)