Energy-aware adaptive offloading of soft real-time jobs in mobile edge clouds

by Joaquim Silva, Eduardo R. B. Marques, Luís M.B. Lopes, Fernando Silva
Published 2021-07-01

Towards deductive verification of MPI programs against session types

by Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins
Published 2013-12-01

Antinociceptive effect on mice of the hydroalcoholic fraction and (-) epicatechin obtained from Combretum leprosum Mart & Eich

by L.S. Lopes, R.B. Marques, S.S. Pereira, M.C.C. Ayres, M.H. Chaves, A.J. Cavalheiro, G.M. Vieira Júnior, F.R.C. Almeida
Published 2010-12-01