Merge Requests · Marco Maida / PROSA - Formally Proven Schedulability Analysis

delta-min theory

!6 · opened Nov 02, 2020 by Marco Maida
- 0
updated Nov 02, 2020
Adding comments to Prosa

!5 · opened Feb 04, 2020 by Marco Maida
- CLOSED
- 4
updated Feb 05, 2020
Work-conserving proof

!4 · opened Jan 28, 2020 by Marco Maida
- CLOSED
- 27
updated Feb 14, 2020
Work conserving correctness

!3 · opened Jan 28, 2020 by Marco Maida
- CLOSED
- 0
updated Jan 28, 2020
WIP: Work conservation in EDF, part 2

!2 · opened Nov 20, 2019 by Marco Maida
- CLOSED
- 128
updated Jan 28, 2020
Added work conservative schedule definition for EDF

!1 · opened Oct 29, 2019 by Marco Maida
- CLOSED
- 47
updated Nov 17, 2019