The serverkernel operating system.

Jon Larrea Antonio Barbalace

Published in: EdgeSys@EuroSys (2020)

Keyphrases

operating system
computer systems
virtual machine
linux kernel
distributed systems
databases
data processing
microsoft windows
address space
application programs
memory management
windows xp
virtual memory
windows nt
high assurance
multi threaded
data mining