X Meets Z: Verifying Correctness in the Presence of POSIX Threads.

Bart Massey Robert T. Bauer

Published in: USENIX Annual Technical Conference, FREENIX Track (2002)

Keyphrases

machine learning
decision making
digital libraries
special case
neural network
data mining
data structure
natural language
mobile devices
multi threaded