EMERALDS: A Small-Memory Real-Time Microkernel.

K. Shin

Browse the full RTCSA paper archive.