Trace-Based Symbolic Analysis for Atomicity Violations.

Chao Wang Rhishikesh Limaye Malay K. Ganai Aarti Gupta

Published in: TACAS (2010)

Keyphrases

statistical analysis
real time
image sequences
artificial intelligence
website
high level
image analysis
evolutionary algorithm
electronic commerce