E-LIB Suche - Ergebnisse für: Carvalho-Junior, Francisco Heron

1

Compositional Specification of Parallel Components Using Ci..:

de Carvalho-Junior, Francisco Heron ; Lins, Rafael Dueire
Electronic Notes in Theoretical Computer Science. 260 (2010) - p. 47-72 , 2010

Link: https://doi.org/10.1016/..

2

An Institutional Theory for #-Components:

de Carvalho-Junior, Francisco Heron ; Lins, Rafael Dueire
Electronic Notes in Theoretical Computer Science. 195 (2008) - p. 113-132 , 2008

Link: https://doi.org/10.1016/..

3

On the design of abstract binding connectors for high perfo..:

, In: Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing,

Carvalho-Junior, Francisco Heron ; Lins, Rafael Dueire ; Corrês, Ricardo Cordeiro.. - p. 67-76 , 2007

Link: https://dl.acm.org/doi/1..

4

A Component Model for Multilevel Parallel Programming:

, In: Proceedings of the XXVII Brazilian Symposium on Programming Languages,

De Carvalho Junior, Francisco Heron ; Carneiro, Tiago - p. 25-32 , 2023

Link: https://dl.acm.org/doi/1..

5

Contextual contracts for component‐oriented resource abstra..:

de Carvalho Junior, Francisco Heron ; Al‐Alam, Wagner Guimarães ; de Oliveira Dantas, Allberson B.
Concurrency and Computation: Practice and Experience. 33 (2021) 18 - p. , 2021

Link: https://doi.org/10.1002/..

6

A component-based framework for certification of components..:

de Oliveira Dantas, Allberson Bruno ; de Carvalho Junior, Francisco Heron ; Barbosa, Luis Soares
Science of Computer Programming. 191 (2020) - p. 102379 , 2020

Link: https://doi.org/10.1016/..

7

Dynamic Configuration of CUDA Runtime Variables for CDP-Bas..:

, In: High Performance Computing for Computational Science – VECPAR 2018; Lecture Notes in Computer Science,

Carneiro, Tiago ; Gmys, Jan ; Melab, Nouredine... - p. 16-30 , 2019

Link: https://doi.org/10.1007/..

8

A Scientific Workflow Management System for orchestration o..:

de Carvalho Silva, Jefferson ; de Oliveira Dantas, Allberson Bruno ; de Carvalho Junior, Francisco Heron
Science of Computer Programming. 173 (2019) - p. 95-127 , 2019

Link: https://doi.org/10.1016/..

9

GPU‐accelerated backtracking using CUDA Dynamic Parallelism:

Carneiro Pessoa, Tiago ; Gmys, Jan ; de Carvalho Júnior, Francisco Heron..
Concurrency and Computation: Practice and Experience. 30 (2017) 9 - p. , 2017

Link: https://doi.org/10.1002/..

10

Contextual abstraction in a type system for component-based..:

de Carvalho Junior, Francisco Heron ; Rezende, Cenez Araújo ; de Carvalho Silva, Jefferson..
Science of Computer Programming. 132 (2016) - p. 96-128 , 2016

Link: https://doi.org/10.1016/..

11

Performance evaluation of virtual execution environments fo..:

de Carvalho Junior, Francisco Heron ; Rezende, Cenez Araújo
Science of Computer Programming. 132 (2016) - p. 29-49 , 2016

Link: https://doi.org/10.1016/..

12

Selected and extended papers of the Brazilian Symposium on ..:

de Carvalho Junior, Francisco Heron ; Barbosa, Luís Soares
Science of Computer Programming. 96 (2014) - p. 175-176 , 2014

Link: https://doi.org/10.1016/..

13

An object-oriented parallel programming language for distri..:

Pinho, Eduardo Gurgel ; de Carvalho Junior, Francisco Heron
Science of Computer Programming. 80 (2014) - p. 65-90 , 2014

Link: https://doi.org/10.1016/..

14

A case study on expressiveness and performance of component..:

de Carvalho Junior, Francisco Heron ; de Rezende, Cenez Araújo
Journal of Parallel and Distributed Computing. 73 (2013) 5 - p. 557-569 , 2013

Link: https://doi.org/10.1016/..

15

Programming Languages

16th Brazilian Symposium, SBLP 2012, Natal, Brazil, Septemb... Lecture Notes in Computer Science ; 7554;SpringerLink, Bücher

Carvalho Junior, Francisco Heron de ; Barbosa, Luís Soares , 2012

Link: https://doi.org/10.1007/..