( en | de | ru )

 

Disambiguierung von "Hofman, Rutger F. H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model checking a cache coherence protocol of a Java DSM implementation.

, , , und . J. Log. Algebraic Methods Program., 71 (1): 1-43 (2007)

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.

F H Frimmel

Rijcklof Hofman

Helga Hofman

Dirk Hofman

Alexander H F Oehme

 

Weitere Publikationen von Autoren mit dem selben Namen

Distributed hierarchical scheduling with explicit grain size control., und . Future Gener. Comput. Syst., 8 (1-3): 111-119 (1992)Model checking a cache coherence protocol of a Java DSM implementation., , , und . J. Log. Algebraic Methods Program., 71 (1): 1-43 (2007)Scaling MapReduce Vertically and Horizontally., , und . SC, Seite 525-535. IEEE Computer Society, (2014)Sensitivity of Parallel Applications to Large Differences in Bandwidth and Latency in Two-Layer Interconnects., , und . HPCA, Seite 244-253. IEEE Computer Society, (1999)Run-time optimizations for a Java DSM implementation., , , und . Concurr. Comput. Pract. Exp., 15 (3-5): 299-316 (2003)Runtime optimizations for a Java DSM implementation., , , und . Java Grande, Seite 153-162. ACM, (2001)Object combining: A new aggressive optimization for object intensive programs., , , und . Java Grande, Seite 165-174. ACM, (2002)A Secure Jailing System for Confining Untrusted Applications., , , , und . SECRYPT, Seite 414-423. INSTICC Press, (2007)Evaluating Design Alternatives for Reliable Communication on High-Speed Networks., , , , und . ASPLOS, Seite 71-81. ACM Press, (2000)Scalable Overlapping Community Detection., , , , , und . IPDPS Workshops, Seite 1463-1472. IEEE Computer Society, (2016)