Specifying and checking protocols of multithreaded classes.

Clément Hurlin

Published in: SAC (2009)

Keyphrases

databases
real time
database
artificial intelligence
multi class
class labels
parallel algorithm
shared memory