selected publications conference paper An image processing library for C-based high-level synthesis 2014