11 citations · 11 across the 4 of their papers we have counts for
4 papers
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…
Fine-grained Patches for Java Software Upgrades
Eduardo R. B. Marques
We present a novel methodology for deriving fine-grained patches of Java software. We consider an abstract-syntax tree (AST) representation of Java classes compiled to the Java Vir…
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)…