Login / Signup

Building certified concurrent OS kernels.

Ronghui GuZhong ShaoHao ChenJieung KimJérémie KoenigXiongnan (Newman) WuVilhelm SjöbergDavid Costanzo
Published in: Commun. ACM (2019)
Keyphrases
  • operating system
  • open source
  • kernel methods
  • kernel function
  • data sets
  • machine learning
  • feature extraction
  • support vector
  • expert systems