• Felipe Cerqueira's avatar
    Formalization of Weakly Sustainable Policy · 258edf49
    Felipe Cerqueira authored
    1) Formalize the notion of weakly sustainable policy, along with
    its contrapositive, and prove the equivalence between the two.
    
    2) Establish weak sustainability of self-suspending tasks w.r.t.
    execution times and variable suspension times, based on the
    transformation we had formalized.
    258edf49
Name
Last commit
Last update
analysis Loading commit data...
doc Loading commit data...
implementation Loading commit data...
model Loading commit data...
util Loading commit data...
.gitignore Loading commit data...
README.md Loading commit data...
create_makefile.sh Loading commit data...