Sign in

Code optimizations using formally verified properties.

Yao ShiBernard BlackhamGernot Heiser
Published in: OOPSLA (2013)
Keyphrases
  • artificial intelligence
  • wide range
  • neural network
  • desirable properties
  • real time
  • real world
  • structural properties
  • data flow
  • error detection