Operating System Support For Reconfigurable Computing Systems. by Wenyin Fu & Jonathan Martin Cassie