• Felipe Cerqueira's avatar
    Add RTA for parallel jobs · b71f34f7
    Felipe Cerqueira authored
    We use simpler, more pessimistic interference bounds to
    prove that Bertogna and Cirinei's RTA works for parallel jobs.
    b71f34f7
interference_bound_edf.v 36.3 KB