Correctness-preserving synthesis for real-time control software.

Jinfeng Huang Jeroen Voeten Henk Corporaal

Published in: QSIC (2006)

Keyphrases

control software
real time
control system
low cost
database
machine learning
information retrieval
image processing
data structure
probabilistic model
high speed
texture synthesis
real time systems
program synthesis