Automated Analysis of MUTEX Algorithms with FASE

Federico Buti Massimo Callisto De Donato Flavio Corradini Maria Rita Di Berardini Walter Vogler

Published in: GandALF (2011)

Keyphrases

automated analysis
orders of magnitude
computational complexity
databases
three dimensional
image analysis
gabor filters
long distance
mutual exclusion