Efficient operating system scheduling for performance-asymmetric multi-core architectures | IEEE Conference Publication | IEEE Xplore