-
When we were writing the paper on Abstract RTA, we noticed that the response-time recurrence for EDF does not match the known bound. This merge request tightens the analysis in Prosa to match the known bound.
d6cdcfe1
When we were writing the paper on Abstract RTA, we noticed that the response-time recurrence for EDF does not match the known bound. This merge request tightens the analysis in Prosa to match the known bound.