HePREM: A Predictable Execution Model for GPU-based Heterogeneous SoCs