Run-Time Services for Hybrid CPU/FPGA Systems on Chip | IEEE Conference Publication | IEEE Xplore