Autor der Publikation

Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races.

, , , , , und . HotOS, USENIX Association, (2011)

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

MediaPod: A Personalized Multimedia Desktop in Your Pocket., , , , und . ISM, Seite 219-226. IEEE Computer Society, (2009)SWAP: A Scheduler with Automatic Process Dependency Detection., und . NSDI, Seite 183-196. USENIX, (2004)The Design and Implementation of Zap: A System for Migrating Computing Environments., , , und . OSDI, USENIX Association, (2002)Operating Systems Review 36, Special Issue, Winter 2002.Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems., und . USENIX Annual Technical Conference, Seite 323-336. USENIX, (2007)Measuring thin-client performance using slow-motion benchmarking., , und . ACM Trans. Comput. Syst., 21 (1): 87-115 (2003)ARM Virtualization: Performance and Architectural Implications., , , und . Operating Systems Review, 52 (1): 45-56 (2018)NEVE: Nested Virtualization Extensions for ARM., , , , und . SOSP, Seite 201-217. ACM, (2017)Cider: native execution of iOS apps on android., , , , , und . ASPLOS, Seite 367-382. ACM, (2014)SMART: A Processor Scheduler for Multimedia Applications., und . SOSP, Seite 233. ACM, (1995)Operating System Review 29(5).THINC: a virtual display architecture for thin-client computing., , und . SOSP, Seite 277-290. ACM, (2005)