Accurate and efficient predicate analysis with binary decision diagrams.

John W. Sias, Wen-mei W. Hwu, David I. August

Browse the full MICRO paper archive.