( en | de | ru )

 

Disambiguierung von "Herlihy, Maurice"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Decidability of Distributed Decision Tasks (Brief Announcement).

, und . PODC, Seite 279. ACM, (1996)

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.

Maurice Hollmann

Wissensrepräsentation zur integrierten Steuerung von Experimenten in der Echtzeit-fMRT: neuroökonomische Untersuchung sozialer Interaktion. Uni Magdeburg, (2009)

Maurice Bonten

Maurice Arcq

Maurice Horcajo

Maurice Kersten

 

Weitere Publikationen von Autoren mit dem selben Namen

Distributed runtime verification of metric temporal properties., , , , , , und . J. Parallel Distributed Comput., (März 2024)Improving Parallelism in Hardware Transactional Memory., , und . ACM Trans. Archit. Code Optim., 15 (1): 9:1-9:24 (2018)Linearizability: a Typo., , und . CoRR, (2021)08241 Summary - Transactional Memory : From Implementation to Application., , , und . Transactional Memory: From Implementation to Application, Volume 08241 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)08241 Abstracts Collection - Transactional Memory : From Implementation to Application., , , und . Transactional Memory: From Implementation to Application, Volume 08241 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols., , , , , , und . ICDCS, Seite 23-33. IEEE, (2022)POSTER: State Teleportation via Hardware Transactional Memory., , , und . PPoPP, Seite 437-438. ACM, (2017)Using Elimination and Delegation to Implement a Scalable NUMA-Friendly Stack., , und . HotPar, USENIX Association, (2013)Tight Bounds for Connectivity and Set Agreement in Byzantine Synchronous Systems., und . DISC, Volume 91 von LIPIcs, Seite 35:1-35:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)The Teleportation Design Pattern for Hardware Transactional Memory., , , und . OPODIS, Volume 95 von LIPIcs, Seite 10:1-10:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)