Active kernel monitoring to combat scheduler gaming in reconfigurable computing systems | IEEE Conference Publication | IEEE Xplore