Automatic Verification of Real-Time Designs.

Víctor A. Braberman

Published in: ICSE (1999)

Keyphrases

real time
real time systems
information retrieval
information systems
control system
low cost
high speed
vision system
real time tracking
feature selection
website
image segmentation
computational complexity
hidden markov models
graphics hardware