Generating correct initial page tables from formal hardware descriptions

Autor: Timothy Roscoe, Roni Haecki, Reto Achermann, Lukas Humbel, Nora Hossle, Daniel David Schwyn, David Cock
Jazyk: angličtina
Rok vydání: 2021
Předmět:
Zdroj: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems
PLOS@SOSP
Popis: PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems
ISBN:978-1-4503-8707-1
Databáze: OpenAIRE