Combining multiple models of computation for scheduling and allocation