Hardware support for real-time operating systems.

Paul Kohout Brinda Ganesh Bruce L. Jacob Hardware support for real-time operating systems. 45-51 2003 conf/codes/2003 CODES+ISSS http://doi.acm.org/10.1145/944645.944656 db/conf/codes/codes2003.html#KohoutGJ03