A Portable Compiler-Integrated Approach to Permanent Checking.

Eugen-Nicolae Volanschi

Published in: ASE (2006)

Keyphrases

general purpose
programming language
lightweight
machine learning
computer vision
knowledge base
neural network
high level
video sequences
data model
parallel algorithm
parallel programming