A Programming Model for Reliable and Efficient Edge-Based Execution under Resource Variability | IEEE Conference Publication | IEEE Xplore