Small trusted primitives for dependable systems.

Petros Maniatis Byung-Gon Chun

Published in: ACM SIGOPS Oper. Syst. Rev. (2011)

Keyphrases

computer vision
management system
building blocks
complex systems
data sets
neural network
real world
safety critical