DC4CD: A Platform for Distributed Computing on Constrained Devices