Checkpointing distributed applications on mobile computers | Synapse