seL4 in Australia: from research to real-world trustworthy systems.
Gernot HeiserGerwin KleinJune AndronickPublished in: Commun. ACM (2020)
Keyphrases
- real world
- wide range
- synthetic data
- intelligent systems
- distributed systems
- expert systems
- website
- peer to peer
- management system
- real time
- social networks
- building blocks
- learning systems
- computer systems
- relational databases
- knowledge based systems
- complex systems
- mobile robot
- image sequences
- artificial intelligence
- genetic algorithm
- data mining
- neural network
- data sets