Optimal allocation of on-chip memory for multiple-API operating systems | IEEE Conference Publication | IEEE Xplore