Generating correct initial page tables from formal hardware descriptions.
Reto AchermannDavid CockRoni HaeckiNora HossleLukas HumbelTimothy RoscoeDaniel David SchwynPublished in: PLOS@SOSP (2021)
Keyphrases
- low cost
- real time
- website
- hardware and software
- virtual memory
- high level
- web pages
- refinement process
- database
- automatically generating
- computing systems
- databases
- hardware implementation
- formal methods
- computing power
- signal processing
- data model
- personal computer
- image processing
- information retrieval
- semantic description
- neural network