TECHNOLOGY: Scheduling algorithms based on game theory makes better use of computational resources on January 26, 2016