Autor der Publikation

Verification of a Hierarchical Generic Mutual Exclusion Algorithm.

, , und . FORTE, Volume 5048 von Lecture Notes in Computer Science, Seite 99-115. Springer, (2008)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

PaInleSS: A Framework for Parallel SAT Solving., , , und . SAT, Volume 10491 von Lecture Notes in Computer Science, Seite 233-250. Springer, (2017)The Impact of Clustering on Token-Based Mutual Exclusion Algorithms., , , und . Euro-Par, Volume 5168 von Lecture Notes in Computer Science, Seite 565-575. Springer, (2008)Alternating MPR: a balanced broadcast algorithm for MANETs., , , und . NCA, Seite 19-26. IEEE, (2022)OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms., , , , und . PRDC, Seite 150-160. IEEE, (2023)Mapping the allocation of resources for 5G slices to the k-MUTEX with n instances of m resources problem., , , und . CNSM, Seite 318-322. IEEE Computer Society, (2018)Verification of a Hierarchical Generic Mutual Exclusion Algorithm., , und . FORTE, Volume 5048 von Lecture Notes in Computer Science, Seite 99-115. Springer, (2008)MERCi-MIsS: Should I Turn off My Servers?, , , und . DAIS, Volume 9038 von Lecture Notes in Computer Science, Seite 16-29. Springer, (2015)BatchQueue: Fast and Memory-Thrifty Core to Core Communication., , , und . SBAC-PAD, Seite 215-222. IEEE Computer Society, (2010)Fork/Wait and Multicore Frequency Scaling: a Generational Clash., , , , , , , , und . PLOS@SOSP, Seite 53-59. ACM, (2019)BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing., , , , und . NSDI, Seite 487-501. USENIX Association, (2021)