( en | de | ru )

 

Disambiguierung von "Hesselink, Wim H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Simple concurrent garbage collection almost without synchronization.

, und . Formal Methods Syst. Des., 36 (2): 148-166 (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.

Wim Lutzke

Wim Wätjen

Wim Broekaert

Wim Damen

Wim Beyers

 

Weitere Publikationen von Autoren mit dem selben Namen

Invariants for the Construction of a Handshake Register.. Inf. Process. Lett., 68 (4): 173-177 (1998)Fast mutual exclusion by the Triangle algorithm., , und . Concurr. Comput. Pract. Exp., (2018)Lock-free dynamic hash tables with open addressing., , und . Distributed Comput., 18 (1): 21-42 (2005)Preference rankings in the face of uncertainty.. Acta Inf., 39 (3): 211-231 (2003)Wait-free concurrent memory management by Create and Read until Deletion (CaRuD)., und . Distributed Comput., 14 (1): 31-39 (2001)Progress Under Bounded Fairness.. Distributed Comput., 12 (4): 197-207 (1999)Temporal Preconditions of Recursive Procedures., und . REX Workshop, Volume 666 von Lecture Notes in Computer Science, Seite 236-260. Springer, (1992)Bounded Delay for a Free Address.. Acta Inf., 33 (3): 233-254 (1996)An assertional proof for a construction of an atomic variable.. Formal Aspects Comput., 16 (4): 387-393 (2004)Formalizing a hierarchical file system., und . Formal Aspects Comput., 24 (1): 27-44 (2012)