( en | de | ru )

 

Disambiguierung von "Kaashoek, M. Frans"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Crash Hoare Logic for Certifying the FSCQ File System.

, , , , , und . USENIX ATC, USENIX Association, (2016)

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.

Heribert Franssen

Wolf Fransecky

Udo Franssen

Ursula Franssen

Barbara Fransecky

 

Weitere Publikationen von Autoren mit dem selben Namen

Chord, , , , und . Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications - SIGCOMM '01, Seite 149--160. San Diego, California, United States, (2001)Server operating systems., , , und . ACM SIGOPS European Workshop, Seite 141-148. ACM, (1996)A Comparison of Two Distributed Systems: Amoeba and Sprite., , , und . Computing Systems, 4 (4): 353-384 (1991)Storage Alternatives for Mobile Computers., , , , , und . OSDI, Seite 25-37. USENIX Association, (1994)Optimistic Active Messages: Structuring Systems for High-Performance Communication., , , , und . ACM SIGOPS European Workshop, Seite 23-28. ACM, (1994)Ksplice: automatic rebootless kernel updates., und . EuroSys, Seite 187-198. ACM, (2009)The Logical Disk: A New Approach to Improving File Systems., , und . SOSP, Seite 15-28. ACM, (1993)Operating System Review 27(5).VerSum: Verifiable Computations over Large Public Logs., , und . ACM Conference on Computer and Communications Security, Seite 1304-1316. ACM, (2014)DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation., und . SIGCOMM, Seite 53-59. ACM, (1996)Object Distribution in Orca using Compile-Time and Run-Time Techniques., und . OOPSLA, Seite 162-177. ACM, (1993)SIGPLAN Notices 28(10) / OOPSLA'93, Addendum to the Proceedings: OOPS Messenger 5(2) April 1994.