A necessary test for fixed-priority real-time multiprocessor systems based on lazy-adversary simulation.

Rmulo Silva de Oliveira, Andreu Carminati, Renan Augusto Starke

Browse the full SIMULTECH paper archive.