Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients.

Jyotirmoy V. Deshmukh E. Allen Emerson Sriram Sankaranarayanan

Published in: ASE (2009)

Keyphrases

decision trees
digital libraries
artificial intelligence
feature selection
database systems
video sequences
client server