Formally Proved Anti-tearing Properties of Embedded C Code.

Published in: ISoLA (2006)

Keyphrases

machine learning
search engine
computer vision
low cost
source code
embedded systems
desirable properties
databases
website
video sequences
data model
security protection