Scheduling Algorithms for Asymmetric Multi-core Processors. - Alan David (CoRR, 2017)