Efficient Mobile Computation Offloading with Hard Task Deadlines and Concurrent Local Execution