Sign in

Automated Analysis of MUTEX Algorithms with FASE

Federico ButiMassimo Callisto De DonatoFlavio CorradiniMaria Rita Di BerardiniWalter Vogler
Published in: GandALF (2011)
Keyphrases
  • automated analysis
  • orders of magnitude
  • computational complexity
  • databases
  • three dimensional
  • image analysis
  • gabor filters
  • long distance
  • mutual exclusion