Specific scheduling support to minimize the reconfiguration overhead of dynamically reconfigurable hardware