activity
20132021
most citedTowards deductive verification of MPI programs against session types

11 citations · 11 across the 4 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.DC2021

Energy-Aware Adaptive Offloading of Soft Real-Time Jobs in Mobile Edge Clouds

Joaquim Silva, Eduardo R. B. Marques, Luís M. B Lopes +1

We present a model for measuring the impact of offloading soft real-time jobs over multi-tier cloud infrastructures. The jobs originate in mobile devices and offloading strategies…