A high assurance virtualization platform for ARMv8.
Christoph BaumannMats NäslundChristian GehrmannOliver SchwarzHans ThorsenPublished in: EuCNC (2016)
Keyphrases
- high assurance
- operating system
- software systems
- virtual machine
- access control
- cloud computing
- future internet
- distributed systems
- real time
- platform independent
- distributed computing
- fault tolerant
- data center
- input output
- computer systems
- computing platform
- social networks
- high availability
- distributed architecture
- search engine
- storage management
- neural network
- database