Automatic device driver synthesis with termite.

Leonid Ryzhyk Peter Chubb Ihor Kuz Etienne Le Sueur Gernot Heiser

Published in: SOSP (2009)

Keyphrases

data sets
semi automatic
information retrieval
computer vision
data driven
fully automatic
significant contribution
car navigation
databases
video sequences
low cost
high performance computing
structural analysis
energy aware