Resource-efficient scheduling for partially-reconfigurable FPGA-based systems