• 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
bertogna_edf_theory.v 22.5 KB