11 citations · 11 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
Towards deductive verification of MPI programs against session types
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos +2
The Message Passing Interface (MPI) is the de facto standard message-passing infrastructure for developing parallel applications. Two decades after the first version of the library…
Heterogeneous Programming with Single Operation Multiple Data
Hervé Paulino, Eduardo Marques
Heterogeneity is omnipresent in today's commodity computational systems, which comprise at least one multi-core Central Processing Unit (CPU) and one Graphics Processing Unit (GPU)…