The analysis of infeasible concurrent paths of concurrent Ada programs.

Ren-Dar Yang Chyan-Goei Chung

Published in: COMPSAC (1990)

Keyphrases

statistical analysis
data analysis
knowledge base
data sets
databases
learning algorithm
computer vision
decision making
image segmentation
multi agent
search space
image analysis
special case
mutual exclusion