1. Using our techniques, task set transformation is performed by modifying the parameters related to each vertex in task graphs step by step.
2. Our transformation technique provides monotonic schedulability improvement guarantees at each step of the transformation procedure, in the sense that it can only make individual unschedulable tasks to become schedulable, but will not cause any task that was originally schedulable to become unschedulable.
3. Although our efficient technique in general does not guarantee to find the optimal solution, in practice it is very effective in successfully transforming unschedulable task systems to schedulable ones.
4. All the results in this paper are directly applicable to these more restricted models as well. 

introduction经典句型