The derivation of scheduling algorithms from a timing model.

Mamoun Filali

Browse the full ECRTS paper archive.