Workload and power budget partitioning for single-chip heterogeneous processors | IEEE Conference Publication | IEEE Xplore