( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Certifying a file system using crash hoare logic: correctness in the presence of crashes.

, , , , , и . Commun. ACM, 60 (4): 75-84 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Heribert Franssen

Wolf Fransecky

Ursula Franssen

Udo Franssen

Barbara Fransecky

 

Другие публикации лиц с тем же именем

The Logical Disk: A New Approach to Improving File Systems., , и . SOSP, стр. 15-28. ACM, (1993)Operating System Review 27(5).Storage Alternatives for Mobile Computers., , , , , и . OSDI, стр. 25-37. USENIX Association, (1994)VerSum: Verifiable Computations over Large Public Logs., , и . ACM Conference on Computer and Communications Security, стр. 1304-1316. ACM, (2014)Dynamic Computation Migration in DSM Systems., , и . SC, стр. 44. IEEE Computer Society, (1996)Exokernel: An Operating System Architecture for Application-Level Resource Management., , и . SOSP, стр. 251-266. ACM, (1995)Operating System Review 29(5).Object Distribution in Orca using Compile-Time and Run-Time Techniques., и . OOPSLA, стр. 162-177. ACM, (1993)SIGPLAN Notices 28(10) / OOPSLA'93, Addendum to the Proceedings: OOPS Messenger 5(2) April 1994.DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation., и . SIGCOMM, стр. 53-59. ACM, (1996)Optimistic Active Messages: Structuring Systems for High-Performance Communication., , , , и . ACM SIGOPS European Workshop, стр. 23-28. ACM, (1994)Ksplice: automatic rebootless kernel updates., и . EuroSys, стр. 187-198. ACM, (2009)Server operating systems., , , и . ACM SIGOPS European Workshop, стр. 141-148. ACM, (1996)