Cost-Driven Autonomous Mobility

Autonomous Mobile Programs (AMPs) offer a novel de-centralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this paper, the authors demonstrate how sequential programs can be automatically converted into AMPs. The AMPs are generated by an automatic continuation cost analyzer that replaces iterations with Costed Autonomous Mobility Skeletons (CAMS), that encapsulate autonomous mobility. The CAMS cost model uses an entirely novel continuation cost semantics to predict both the cost of the current iteration and the continuation cost of the remainder of the program.