Checking automatically the output of concurrent threads.

Rainer Oechsle Kay Barzen

Published in: ITiCSE (2007)

Keyphrases

relational databases
multiresolution
user defined
multi threaded
database
multiscale
optimal solution
computational complexity
automatically generated
mutual exclusion