t-kernel: a naturalizing OS kernel for low-power cost-effective computers.

Lin Gu, John A. Stankovic

Browse the full SOSP paper archive.