11 citations · 11 across the 4 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.DC2013★ 11 cited
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…
cs.DC2013
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)…