Skip to content

Work-conservation transformation and proof.

Ghost Userrequested to merge
(removed):work-conservation-transformation into master

Added the proof of correctness of the work-conservation transformation for an ideal uniprocessor schedule.

Merge request reports