An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs.

Anneliese von Mayrhauser Shao-Ming Simon Hsueh

Published in: TRI-Ada (1992)

Keyphrases

detection algorithm
computational cost
matching algorithm
worst case
flow graphs
learning algorithm
simulated annealing
dynamic programming
significant improvement
preprocessing
objective function
k means
expectation maximization
computer systems
segmentation algorithm
shortest path
image segmentation