Rainbow: An OS Extension for Hardware Multitasking on Dynamically Partially Reconfigurable FPGAs | IEEE Conference Publication | IEEE Xplore