Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Certifying a file system using crash hoare logic: correctness in the presence of crashes.

T. Chajed, H. Chen, A. Chlipala, M. Kaashoek, N. Zeldovich, und D. Ziegler. Commun. ACM, 60 (4): 75-84 (2017)

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.

M. Nudischer

M. Kratzer

M. Liewald

M. Fittingho

M. Christmann

Weitere Publikationen von Autoren mit dem selben Namen

An Evaluation of the Amoeba Group Communication System.M. Kaashoek, und A. Tanenbaum. ICDCS, Seite 436-448. IEEE Computer Society, (1996)The design of very fast portable compilers.A. Tanenbaum, M. Kaashoek, K. Langendoen, und C. Jacobs. SIGPLAN Notices, 24 (11): 125-131 (1989)Exterminate all operating system abstractions.D. Engler, und M. Kaashoek. HotOS, Seite 78-85. IEEE Computer Society, (1995)Amber: Decoupling User Data from Web Applications.T. Chajed, J. Gjengset, J. van den Hooff, M. Kaashoek, J. Mickens, R. Morris, und N. Zeldovich. HotOS, USENIX Association, (2015)Overcast: Reliable Multicasting with an Overlay Network.J. Jannotti, D. Gifford, K. Johnson, M. Kaashoek, und J. Jr.. OSDI, Seite 197-212. USENIX Association, (2000)Flexible, Wide-Area Storage for Distributed Systems with WheelFS.J. Stribling, Y. Sovran, I. Zhang, X. Pretzer, J. Li, M. Kaashoek, und R. Morris. NSDI, Seite 43-58. USENIX Association, (2009)OverCite: A Distributed, Cooperative CiteSeer.J. Stribling, J. Li, I. Councill, M. Kaashoek, und R. Morris. NSDI, USENIX, (2006)A Comparison of Two Paradigms for Distributed Shared Memory.M. Kaashoek, H. Bal, und A. Tanenbaum. Softw., Pract. Exper., 22 (11): 985-1010 (1992)Disconnected Operation in the Thor Object-Oriented Database System.R. Gruber, M. Kaashoek, B. Liskov, und L. Shrira. WMCSA, Seite 51-56. IEEE Computer Society, (1994)The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors.A. Clements, M. Kaashoek, N. Zeldovich, R. Morris, und E. Kohler. ACM Trans. Comput. Syst., 32 (4): 10:1-10:47 (2015)