Autor der Publikation

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

Certifying a file system using crash hoare logic: correctness in the presence of crashes., , , , , und . Commun. ACM, 60 (4): 75-84 (2017)A Simple Cache Partitioning Approach in a Virtualized Environment., , , , , , und . ISPA, Seite 519-524. IEEE Computer Society, (2009)Specifying Crash Safety for Storage Systems., , , , , und . HotOS, USENIX Association, (2015)Dynamic memory paravirtualization transparent to guest OS., , , , , , , und . SCIENCE CHINA Information Sciences, 53 (1): 77-88 (2010)Fast Live Cloning of Virtual Machine Based on Xen., , , , , , und . HPCC, Seite 392-399. IEEE, (2009)Detecting and Analyzing VM-exits., , , , , , und . CIT, Seite 2273-2277. IEEE Computer Society, (2010)An Efficient Method for Real-Time Ocean Simulation., , , , , und . Edutainment, Volume 4469 von Lecture Notes in Computer Science, Seite 3-11. Springer, (2007)Certifying a crash-safe file system.. Massachusetts Institute of Technology, Cambridge, USA, (2016)ndltd.org (oai:dspace.mit.edu:1721.1/107325).Identifying Information Disclosure in Web Applications with Retroactive Auditing., , , , und . OSDI, Seite 555-569. USENIX Association, (2014)Linux kernel vulnerabilities: state-of-the-art defenses and open problems., , , , , und . APSys, Seite 5. ACM, (2011)