Mathematical representation of the Hardware Round-Robin Scheduler analytical model for single-ISA heterogeneous architectures pdf