1. 13 Apr, 2022 1 commit
  2. 03 Mar, 2022 5 commits
  3. 25 Feb, 2022 6 commits
  4. 23 Feb, 2022 1 commit
  5. 22 Feb, 2022 12 commits
  6. 18 Feb, 2022 2 commits
  7. 17 Feb, 2022 2 commits
  8. 16 Feb, 2022 6 commits
  9. 15 Feb, 2022 1 commit
  10. 14 Feb, 2022 1 commit
  11. 09 Feb, 2022 1 commit
    • Kimaya Bedarkar's avatar
      add an RTA for FIFO scheduling based on aRTA · bf4bf448
      Kimaya Bedarkar authored and Björn Brandenburg's avatar Björn Brandenburg committed
      Provide an RTA for FIFO scheduling on ideal uniprocessors based on an
      instantiation of abstract RTA. The provided RTA is works for tasks
      described by arbitrary arrival curves and is independent of the
      workload's preemption model (since FIFO schedules are necessarily
      non-preemptive). 
      bf4bf448
  12. 31 Jan, 2022 1 commit
    • Kimaya Bedarkar's avatar
      add new helper lemma about RBF · ce963a70
      Kimaya Bedarkar authored and Björn Brandenburg's avatar Björn Brandenburg committed
      * Added a lemma for proving `rbf` at `\varepsilon` is more than 0. This is a general fact which can be used in the FIFO RTA to simplify a proof. 
      * Changed `1` to `\varepsilon` in one of the existing RBF lemmas for uniformity.
      ce963a70
  13. 13 Jan, 2022 1 commit