Skip to content
Snippets Groups Projects
  1. May 05, 2016
  2. May 04, 2016
  3. Mar 31, 2016
  4. Mar 01, 2016
  5. Feb 23, 2016
  6. Feb 16, 2016
  7. Feb 14, 2016
  8. Feb 12, 2016
  9. Feb 07, 2016
  10. Feb 06, 2016
  11. Feb 03, 2016
  12. Feb 01, 2016
    • Felipe Cerqueira's avatar
      Major Changes in RTA and Directory Structure · 32126a75
      Felipe Cerqueira authored
      - Removed unnecessary assumption in RTA about task precedence/no intra-task parallelism.
      - Scheduler models and analyses are organized in separate modules/folders.
      - Added RTA for FP and EDF for schedulers with release jitter.
      - The scheduling invariants were split into more fine-grained assumptions:
        (a) scheduler is work-conserving
        (b) scheduler enforces FP/JLDP priority X
      - New helper lemmas about counting, and sorted/uniq lists
      - Inclusion of tactics feed and feed_n (see documentation).
      - Added a Makefile generator
      32126a75
  13. Jan 20, 2016
  14. Jan 19, 2016
Loading