Efficient Runtime Management of Reconfigurable Hardware Resources