From software threads to parallel hardware in high-level synthesis for FPGAs | IEEE Conference Publication | IEEE Xplore