A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling.

Christos Sofronis, Stavros Tripakis, Paul Caspi

Browse the full EMSOFT paper archive.