Francisco Heron de Carvalho Junior

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 14

Top Topics

Multidimensional Arrays

Workflow Management

Parallel Programming

Top Venues

Sci. Comput. Program.

Concurr. Comput. Pract. Exp.

Publications

Francisco Heron de Carvalho Junior, Tiago Carneiro
A Component Model for Multilevel Parallel Programming. SBLP (2023)
Francisco Heron de Carvalho Junior, Wagner Guimarães Al-Alam, Allberson Bruno de Oliveira Dantas
Contextual contracts for component-oriented resource abstraction in a cloud of high performance computing services. Concurr. Comput. Pract. Exp. 33 (18) (2021)
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
A component-based framework for certification of components in a cloud of HPC services. Sci. Comput. Program. 191 (2020)
Jefferson de Carvalho Silva, Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior
A Scientific Workflow Management System for orchestration of parallel components in a cloud of large-scale parallel processing services. Sci. Comput. Program. 173 (2019)
Matheus H. M. Pericini, Lucas Goncalves de Moura Leite, Francisco Heron de Carvalho Junior, Javam C. Machado, Cenez Araújo Rezende
MAPSkew: Metaheuristic Approaches for Partitioning Skew in MapReduce. Algorithms 12 (1) (2019)
Tiago Carneiro, Jan Gmys, Nouredine Melab, Francisco Heron de Carvalho Junior, Pedro Pedrosa Rebouças Filho, Daniel Tuyttens
Dynamic Configuration of CUDA Runtime Variables for CDP-Based Divide-and-Conquer Algorithms. VECPAR (2018)
Cenez Araújo de Rezende, Francisco Heron de Carvalho Junior
MapReduce with Components for Processing Big Graphs. WSCAD (2018)
Tiago Carneiro Pessoa, Jan Gmys, Francisco Heron de Carvalho Junior, Nouredine Melab, Daniel Tuyttens
GPU-accelerated backtracking using CUDA Dynamic Parallelism. Concurr. Comput. Pract. Exp. 30 (9) (2018)
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services. CLOSER (2017)
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. FACS (2017)
Francisco Heron de Carvalho Junior, Cenez Araújo Rezende
Performance evaluation of virtual execution environments for intensive computing on usual representations of multidimensional arrays. Sci. Comput. Program. 132 (2016)
Jefferson de Carvalho Silva, Francisco Heron de Carvalho Junior
A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications. SBLP (2016)
Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Wagner Guimarães Al-Alam, João Marcelo U. de Alencar
Contextual abstraction in a type system for component-based high performance computing platforms. Sci. Comput. Program. 132 (2016)
Tiago Carneiro Pessoa, Jan Gmys, Nouredine Melab, Francisco Heron de Carvalho Junior, Daniel Tuyttens
A GPU-Based Backtracking Algorithm for Permutation Combinatorial Problems. ICA3PP (2016)
Eduardo Gurgel Pinho, Francisco Heron de Carvalho Junior
An object-oriented parallel programming language for distributed-memory parallel computing platforms. Sci. Comput. Program. 80 (2014)
Anderson Boettge Pinheiro, Francisco Heron de Carvalho Junior, Neemias Gabriel Pena Batista Arruda, Tiago Carneiro
Fusion: Abstractions for Multicore/Manycore Heterogenous Parallel Programming Using GPUs. SBLP (2014)
Francisco Heron de Carvalho Junior, Luís Soares Barbosa
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012. Sci. Comput. Program. 96 (2014)
Thiago Braga Marcilon, Francisco Heron de Carvalho Junior
Derivation and Verification of Parallel Components for the Needs of an HPC Cloud. SBMF (2013)
Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Francisco José Lins Magalhães, Renato Caminha Juaçaba-Neto
On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines. SBLP (2013)
Francisco Heron de Carvalho Junior, Cenez Araújo Rezende
A case study on expressiveness and performance of component-oriented parallel programming. J. Parallel Distributed Comput. 73 (5) (2013)
Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Wagner Guimarães Al-Alam
Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms. SBLP (2013)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
Coordination Level Modeling and Analysis of Parallel Programs using Petri Nets CoRR (2012)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
Haskell_#: Coordinating Functional Processes CoRR (2012)
Paulo Henrique Lopes Silva, Gisele Azevedo de Araújo Freitas, Francisco Heron de Carvalho Junior, Ricardo C. Corrêa
Connection Mechanisms of CCA Components for Parallel Applications. WSCAD-SSC (2012)
Francisco Heron de Carvalho Junior, Cenez Araújo Rezende
Component-Based Refactoring of Parallel Numerical Simulation Programs: A Case Study on Component-Based Parallel Programming. SBAC-PAD (2011)
Francisco Heron de Carvalho Junior, Ricardo Cordeiro Corrêa
The design of a CCA framework with distribution, parallelism, and recursive composition. GRID (2010)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
Compositional Specification of Parallel Components Using Circus. Electron. Notes Theor. Comput. Sci. 260 (2010)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
A Type System for Parallel Components CoRR (2009)
Giorgia de Oliveira Mattos, Andrei de Araújo Formiga, Rafael Dueire Lins, Francisco Heron de Carvalho Junior, Fernando Mário Junqueira Martins
Comparative Aspects between the Cluster and Grid Implementations of BigBatch. J. Univers. Comput. Sci. 14 (18) (2008)
Marco Tulio Valente, Peter D. Mosses, Francisco Heron de Carvalho Junior
SBLP 2008: XII Brazilian Symposium on Programming. J. Univers. Comput. Sci. 14 (21) (2008)
Giorgia de Oliveira Mattos, Rafael Dueire Lins, Andrei de Araújo Formiga, Francisco Heron de Carvalho Junior
A Comparison of Cluster and Grid Configurations Executing Image Processing Tasks in a Local Network. ICN (2008)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
An Institutional Theory for #-Components. Electron. Notes Theor. Comput. Sci. 195 (2008)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Cordeiro Corrêa, Gisele Azevedo Araújo
Towards an architecture for component-oriented parallel programming. Concurr. Comput. Pract. Exp. 19 (5) (2007)
Rafael Dueire Lins, Francisco Heron de Carvalho Junior, Zanoni Dueire Lins
Cyclic Reference Counting with Permanent Objects. J. Univers. Comput. Sci. 13 (6) (2007)
Francisco Heron de Carvalho Junior, Ricardo Cordeiro Corrêa, Gisele Azevedo Araújo, Jefferson de Carvalho Silva, Rafael Dueire Lins
High-Level Service Connectors for Component-Based High Performance Computing. SBAC-PAD (2007)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Cordeiro Corrêa, Gisele Azevedo Araújo, Chanderlie Freire de Santiago
Design and Implementation of an Environment for Component-Based Parallel Programming. VECPAR (2006)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
A categorical characterization for the compositional features of the # component model. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
A component model for high level and efficient parallel programming on distributed architectures. IADIS AC (2005)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
Using Aspects for Supporting Procedural Modules in # Programming. Euro-Par (2005)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
A categorical characterization for the compositional features of the # component model. SAVCBS@ESEC/FSE (2005)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming. SAC (2005)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
Topological Skeletons in Haskell. IPDPS (2003)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
Haskell#: Parallel Programming Made Simple and Efficient. J. Univers. Comput. Sci. 9 (8) (2003)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Nívia Cruz Quental
On the Implementation of SPMD Applications Using Haskell. SBAC-PAD (2003)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Massa Ferreira Lima
Programs into Petri Nets. VECPAR (2002)