ILP models for the allocation of recurrent workloads upon heterogeneous multiprocessors