An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs.

Adnan Bouakaz, Thierry Gautier

Browse the full MEMOCODE paper archive.