1. 16 May, 2019 6 commits
  2. 13 May, 2019 9 commits
  3. 12 May, 2019 1 commit
  4. 07 May, 2019 3 commits
  5. 03 May, 2019 1 commit
  6. 29 Apr, 2019 1 commit
  7. 09 Apr, 2019 1 commit
  8. 05 Apr, 2019 14 commits
  9. 12 Oct, 2018 1 commit
  10. 19 Sep, 2018 1 commit
  11. 04 Sep, 2018 1 commit
  12. 17 Jul, 2018 1 commit
    • 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