Branch elimination by condition merging.

William C. Kreahling David B. Whalley Mark W. Bailey Xin Yuan Gang-Ryung Uh Robert van Engelen

Published in: Softw. Pract. Exp. (2005)

Keyphrases

real time
sufficient conditions
natural language
real world
image processing
three dimensional
high level
similarity measure
control system