Software/Hardware Co-Scheduling for Reconfigurable Computing Systems