Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization.

Pontus Ekberg, Wang Yi

Browse the full RTSS paper archive.