Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking.

Sastry Duri Ugo A. Buy R. Devarapalli Sol M. Shatz

Published in: ISSTA (1993)

Keyphrases

statistical analysis
space reduction
computational cost
data analysis
real time
cross validation
qualitative and quantitative
search algorithm
preprocessing
image analysis
significant improvement
state space
similarity measure
machine learning methods
optimization methods
methods require
data mining