( en | de | ru )

 

Disambiguierung von "Luchangco, Victor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constrained Data-Driven Parallelism.

, , , , und . HotPar, USENIX Association, (2013)

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.

Victor Anspach

Status quo, Perspektiven und wirtschaftliche Potenziale der Biogaserzeugung auf landwirtschaftlichen Betrieben im ökologischen Landbau. Uni Kassel, (2009)

Victor Duysens

Victor Fässler

Victor Lahoud

Victor Conrad

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a Verified Model of the Algorand Consensus Protocol in Coq., , , , , , und . FM Workshops (1), Volume 12232 von Lecture Notes in Computer Science, Seite 362-367. Springer, (2019)Bringing practical lock-free synchronization to 64-bit applications., , , und . PODC, Seite 31-39. ACM, (2004)A Simple Optimistic Skiplist Algorithm., , , und . SIROCCO, Volume 4474 von Lecture Notes in Computer Science, Seite 124-138. Springer, (2007)Modular multiple dispatch with multiple inheritance., , , , und . SAC, Seite 1117-1121. ACM, (2007)Integrating coercion with subtyping and multiple dispatch., , , und . SAC, Seite 166-170. ACM, (2008)Integrating coercion with subtyping and multiple dispatch., , , und . Sci. Comput. Program., 75 (9): 787-795 (2010)Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance., , , , , , und . OOPSLA, Seite 973-992. ACM, (2011)Verifying timing properties of concurrent algorithms., , , und . FORTE, Volume 6 von IFIP Conference Proceedings, Seite 259-273. Chapman & Hall, (1994)Investigating the Performance of Hardware Transactions on a Multi-Socket Machine., , , und . SPAA, Seite 121-132. ACM, (2016)Brief Announcement: Extending Transactional Memory with Atomic Deferral., , und . SPAA, Seite 371-373. ACM, (2017)