Transparent management of reconfigurable hardware in embedded operating systems | IEEE Conference Publication | IEEE Xplore