( en | de | ru )

 

Disambiguierung von "Lampson, Butler"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computer Systems Research: Past and Future

. (1999)

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.

Peter Lampson

Christian Lampson

Erin Butler

Martin Butler

Marko Butler

 

Weitere Publikationen von Autoren mit dem selben Namen

Computer Systems Research: Past and Future. (1999)The ABCD's of Paxos.. PODC, Seite 13. ACM, (2001)An Open Operating System for a Single-User Machine., und . SOSP, Seite 98-105. ACM, (1979)Operating System Review 13(5).A scheduling philosophy for multiprocessing systems.. Commun. ACM, 11 (5): 347-360 (1968)Proof Rules for the Programming Language Euclid., , , , , und . Program Construction, Volume 69 von Lecture Notes in Computer Science, Seite 133-163. Springer, (1978)Hints and Principles for Computer System Design.. CoRR, (2020)On-Line Data Compression in a Log-Structured File System., , , und . ASPLOS, Seite 2-9. ACM Press, (1992)Verifying concurrent software using movers in CSPEC., , , und . OSDI, Seite 306-322. USENIX Association, (2018)Revisiting the PAXOS algorithm., , und . Theor. Comput. Sci., 243 (1-2): 35-91 (2000)Experience with Processes and Monitors in Mesa, und . Commun. ACM, 23 (2): 105--117 (1980)