Automatic Verification of Bossa Scheduler Properties.

Jean-Paul Bodeveix Mamoun Filali Julia L. Lawall Gilles Muller

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

computer vision
desirable properties
artificial intelligence
three dimensional
wide range
object recognition
information technology
structural properties
real time
knowledge base
case study
image segmentation
computational complexity
scheduling algorithm