Skip to content

Work-conservation transformation and proof.

Ghost User requested 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