Automatic Detection and Exploitation of Branch Constraints for Timing Analysis.

Christopher A. Healy David B. Whalley

Published in: IEEE Trans. Software Eng. (2002)

Keyphrases

automatic detection
automatically detecting
automatic classification
chest ct
constraint satisfaction
constraint programming
constrained optimization
active contours
global constraints