( en | de | ru )

 

Disambiguierung von "Batty, Mark"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Problem of Programming Language Concurrency Semantics.

, , , , und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 283-307. Springer, (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.

Mark Yampolsky

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Mark Schütte

Crf2 - ein neues Antigen von Aspergillus fumigatus. TU Braunschweig, (2009)

Mark Yampolskiy

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Ana Markovi

Experimental and theoretical analysis of the mass transport through porous glass membranes with different pore diameters. Uni Magdeburg, (2009)

Mark Lipschitz

 

Weitere Publikationen von Autoren mit dem selben Namen

Chronos vs. Chaos: Timing Weak Memory Executions in the Linux Kernel., und . IWSPA@CODASPY, Seite 68-77. ACM, (2022)Clarifying and compiling C/C++ concurrency: from C++11 to POWER., , , , und . POPL, Seite 509-520. ACM, (2012)Synchronising C/C++ and POWER., , , , , , , und . PLDI, Seite 311-322. ACM, (2012)PrideMM: Second Order Model Checking for Memory Consistency Models., , , , und . FM Workshops (2), Volume 12233 von Lecture Notes in Computer Science, Seite 507-525. Springer, (2019)Memory Consistency Models for Program Transformations: An Intellectual Abstract., , und . ISMM, Seite 30-42. ACM, (2023)Modular Relaxed Dependencies in Weak Memory Concurrency., , , , , und . ESOP, Volume 12075 von Lecture Notes in Computer Science, Seite 599-625. Springer, (2020)Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies., , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 237-254. Springer, (2021)The Problem of Programming Language Concurrency Semantics., , , , und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 283-307. Springer, (2015)Verifying Read-Copy Update Under RC11., , und . SEFM, Volume 14323 von Lecture Notes in Computer Science, Seite 301-319. Springer, (2023)Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper)., , , und . ECOOP, Volume 263 von LIPIcs, Seite 39:1-39:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)