Equation 1 in Proposition 1 states that all processors
remain active once started if
We rewrite this equation by introducing the following function f:
The values of and
that minimize the total execution time are given
by the following theorem: