Operating Systems

Authors and titles for recent submissions

[ total of 5 entries: 1-5 ]
[ showing up to 25 entries per page: fewer | more ]

[1] arXiv:2012.14219 (cross-list from cs.DC) [pdf, other]: Title: Reproducible Host Networking Evaluation with End-to-End Simulation

Authors: Hejing Li, Jialin Li, Keon Jang, Antoine Kaufmann

Comments: 15 pages, 10 figures, under submission

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI); Operating Systems (cs.OS)

[2] arXiv:2012.12868 (cross-list from cs.DC) [pdf, other]: Title: A Flat-Combining-Based Persistent Stack for Non-Volatile Memory

Authors: Matan Rusanovsky, Ohad Ben-Baruch, Danny Hendler, Pedro Ramalhete

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Operating Systems (cs.OS)

[3] arXiv:2012.07917 (cross-list from cs.CR) [pdf, other]: Title: The Design and Implementation of a Verified File System with End-to-End Data Integrity

Authors: Daniel W. Song, Konstantinos Mamouras, Ang Chen, Nathan Dautenhahn, Dan S. Wallach

Subjects: Cryptography and Security (cs.CR); Operating Systems (cs.OS)

[4] arXiv:2011.15065 (cross-list from cs.CR) [pdf, other]: Title: No Crash, No Exploit: Automated Verification of Embedded Kernels

Authors: Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival

Subjects: Cryptography and Security (cs.CR); Operating Systems (cs.OS)

[5] arXiv:2011.13432 [pdf, other]: Title: On the Applicability of PEBS based Online Memory Access Tracking for Heterogeneous Memory Management at Scale

Authors: Aleix Roca Nonell, Balazs Gerofi, Leonardo Bautista-Gomez, Dominique Martinet, Vicenç Beltran Querol, Yutaka Ishikawa

Comments: 8 pages, 16 figures, conference

Journal-ref: Proceedings of the Workshop on Memory Centric High Performance Computing (2018) 50-57

Subjects: Operating Systems (cs.OS)

[ total of 5 entries: 1-5 ]
[ showing up to 25 entries per page: fewer | more ]