( en | de | ru )

 

Disambiguierung von "Alglave, Jade"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fences in Weak Memory Models.

, , , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 258-272. Springer, (2010)

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.

Klaus Jäde

Susanne Jäde

Kathrin Jäde

Paul Jäde

Lutz Jäde

 

Weitere Publikationen von Autoren mit dem selben Namen

Stability in Weak Memory Models., und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 50-66. Springer, (2011)Making Software Verification Tools Really Work., , , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 28-42. Springer, (2011)Synchronising C/C++ and POWER., , , , , , , und . PLDI, Seite 311-322. ACM, (2012)Fences in weak memory models (extended version)., , , und . Formal Methods Syst. Des., 40 (2): 170-205 (2012)Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion., , , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 508-524. Springer, (2014)Concurrent Kleene Algebra of Partial Strings., und . CoRR, (2014)Partial Orders for Efficient Bounded Model Checking of Concurrent Software., , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 141-157. Springer, (2013)Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel., , , , und . ASPLOS, Seite 405-418. ACM, (2018)Understanding POWER multiprocessors., , , , und . PLDI, Seite 175-186. ACM, (2011)Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging.. FMCAD, Seite 6. IEEE, (2017)