( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.

, , , , , , , , , и . OSDI, стр. 911-929. USENIX Association, (2023)

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.

Erwin Achermann

Urs Achermann

Marc Achermann

Erwin Achermann

Emil Achermann

 

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

NrOS: Effective Replication and Sharing in an Operating System., , , , , , , и . OSDI, стр. 295-312. USENIX Association, (2021)Machine-Aware Atomic Broadcast Trees for Multicores., , , , , и . OSDI, стр. 33-48. USENIX Association, (2016)Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines., , , , и . ASPLOS, стр. 283-300. ACM, (2020)ASPLOS 2020 was canceled because of COVID-19..On Memory Addressing.. ETH Zurich, Zürich, Switzerland, (2020)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/400029).Cache-coherent accelerators for persistent memory crash consistency., , , , , и . HotStorage, стр. 37-44. ACM, (2022)Why write address translation OS code yourself when you can synthesize it?, , и . HotOS, стр. 174-180. ACM, (2023)Fast local page-tables for virtualized NUMA servers with vMitosis., , , , , и . ASPLOS, стр. 194-210. ACM, (2021)Enzian: an open, general, CPU/FPGA platform for systems software research., , , , , , , , , и 3 other автор(ы). ASPLOS, стр. 434-451. ACM, (2022)mmapx: uniform memory protection in a heterogeneous world., , , , , , и . HotOS, стр. 159-166. ACM, (2021)Beyond isolation: OS verification as a foundation for correct applications., , , , , и . HotOS, стр. 158-165. ACM, (2023)