Modular verification of synchronization with reentrant locks.

Tevfik Bultan Fang Yu Aysu Betin-Can

Published in: MEMOCODE (2010)

Keyphrases

concurrency control
artificial intelligence
face verification
information retrieval
decision trees
formal verification
fingerprint verification
computer vision
multiscale
video sequences
asynchronous circuits
false acceptance rate
modular neural networks