Outline:

1. EDF utilization-based test
   • proof, cont’d
   • failure with constrained deadlines
2. Sufficient test: density
3. Exact test: Demand-Bound Function (DBF)
   • example
   • speeding up the DBF test

Reading assignment (to be completed by the next class):

What you should understand after today:

• Buttazzo section 4.6 (pp. 101–106)

Paper to read for Friday:

• “Hardware Compute Partitioning on NVIDIA GPUs” (Bakita et al.)