A Framework for the Exploration of RTOS Dedicated to the Management of Hardware Reconfigurable Resources | IEEE Conference Publication | IEEE Xplore