semi-partitioned scheduling