- May 05, 2016
-
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
- May 04, 2016
-
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
- Mar 31, 2016
-
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
- Mar 01, 2016
-
-
Felipe Cerqueira authored
-
- Feb 23, 2016
-
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
We use simpler, more pessimistic interference bounds to prove that Bertogna and Cirinei's RTA works for parallel jobs.
-
- Feb 16, 2016
-
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
- Feb 14, 2016
-
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
- Feb 12, 2016
-
-
Felipe Cerqueira authored
-
- Feb 07, 2016
-
-
Felipe Cerqueira authored
-
- Feb 06, 2016
-
-
Felipe Cerqueira authored
- Implemented concrete job and tasks. - Added a periodic arrival sequence. - Created examples of applying a schedulability test to small task sets and concluding that no task misses a deadline.
-
Felipe Cerqueira authored
-
- Feb 03, 2016
-
-
Felipe Cerqueira authored
- Now we have two definitions of work conserving, a simple version and another one based on count, along with a proof of equivalence. - Implemented a concrete scheduler (basic and jitter)
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
- Feb 01, 2016
-
-
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
-
- Jan 20, 2016
-
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
Should allow jobs that arrive before the interval
-
Felipe Cerqueira authored
-
- Jan 19, 2016
-
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-
Felipe Cerqueira authored
-