Formal Properties of Recursive Virtual Machine Architectures.

Gérald Belpaire Nai-Ting Hsu

Published in: SOSP (1975)

Keyphrases

virtual machine
operating system
data center
computing resources
formal language
multi tasking
power consumption
low latency
virtual memory
remote attestation
low cost
distributed computing