Goal Formulation: Abstracting Dynamic Objectives for Efficient On-chip Resource Allocation | IEEE Conference Publication | IEEE Xplore