Herbert Walder Marco Platzner A Runtime Environment for Reconfigurable Hardware Operating Systems. 831-835 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3203&spage=831 2004 conf/fpl/2004 FPL db/conf/fpl/fpl2004.html#WalderP04