Value-sensitive automatic code specialization for embedded software. - Eui-Young Chung; Luca Benini; Giovanni De Micheli; Gabriele Luculli; Marco Carilli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002)