Ginga MiddleWare on a SoC for Digital Television Set-Top Box | IEEE Conference Publication | IEEE Xplore