Non-linear Quantification Scheduling in Image Computation.

Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang

Browse the full ICCAD paper archive.