Moonvin Song Sang Hoon Hong Yunmo Chung Reducing the Overhead of Real-Time Operating System through Reconfigurable Hardware. 311-316 2007 DSD http://dx.doi.org/10.1109/DSD.2007.4341486 conf/dsd/2007 db/conf/dsd/dsd2007.html#SongHC07