Commit 841994bc authored by Martin PORTALIER's avatar Martin PORTALIER

Update readme.md

parent 3234a508
Pipeline #19287 canceled with stages
......@@ -32,7 +32,7 @@ I give some ideas to prove it in the section "To go further".
To prove that the workload bound is reached we assume that :
- all jobs from a highest priority arrive exactly at the same time of the considered job
- as soon as it is possible, there exists a jobs that arrives (i.e : the arrival sequence model is periodic)
- as soon as it is possible, there exists a job that arrives (i.e : the arrival sequence model is periodic)
- the jobs cost are maximised
- the workload bound fixpoint is the smallest one
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment