ISIS: Runtime verification of TLM platforms.

Luca Ferro Laurence Pierre

Published in: FDL (2009)

Keyphrases

model checking
conceptual framework
face verification
formal verification
image processing
similarity measure
search algorithm
database
neural network
image segmentation
theoretical framework
asynchronous circuits