default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrancisco Heron de Carvalho Junior
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c26]Francisco Heron de Carvalho Junior
, Tiago Carneiro:
A Component Model for Multilevel Parallel Programming. SBLP 2023: 25-32- 2021
- [j16]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) - 2020
- [j15]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: 102379 (2020)
2010 – 2019
- 2019
- [j14]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): 5 (2019) - [j13]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: 95-127 (2019) - 2018
- [j12]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) - [c25]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: 16-30 - [c24]Cenez Araújo de Rezende, Francisco Heron de Carvalho Junior:
MapReduce with Components for Processing Big Graphs. WSCAD 2018: 108-115 - 2017
- [c23]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: 201-212 - [c22]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: 198-215 - 2016
- [j11]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: 29-49 (2016) - [j10]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: 96-128 (2016) - [c21]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: 310-324 - [c20]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: 156-170 - 2014
- [j9]Eduardo Gurgel Pinho, Francisco Heron de Carvalho Junior:
An object-oriented parallel programming language for distributed-memory parallel computing platforms. Sci. Comput. Program. 80: 65-90 (2014) - [j8]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: 175-176 (2014) - [c19]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: 109-123 - 2013
- [j7]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): 557-569 (2013) - [c18]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: 31-45 - [c17]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: 90-104 - [c16]Thiago Braga Marcilon, Francisco Heron de Carvalho Junior:
Derivation and Verification of Parallel Components for the Needs of an HPC Cloud. SBMF 2013: 51-66 - 2012
- [c15]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: 210-217 - [e1]Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in Computer Science 7554, Springer 2012, ISBN 978-3-642-33181-7 [contents] - [i3]Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
Haskell_#: Coordinating Functional Processes. CoRR abs/1208.3773 (2012) - [i2]Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
Coordination Level Modeling and Analysis of Parallel Programs using Petri Nets. CoRR abs/1208.3882 (2012) - 2011
- [c14]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: 199-206 - 2010
- [c13]Francisco Heron de Carvalho Junior, Ricardo Cordeiro Corrêa:
The design of a CCA framework with distribution, parallelism, and recursive composition. GRID 2010: 339-348
2000 – 2009
- 2009
- [i1]Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
A Type System for Parallel Components. CoRR abs/0905.3432 (2009) - 2008
- [j6]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): 3031-3050 (2008) - [j5]Marco Túlio Valente, Peter D. Mosses, Francisco Heron de Carvalho Junior:
SBLP 2008: XII Brazilian Symposium on Programming. J. Univers. Comput. Sci. 14(21): 3412-3414 (2008) - [c12]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: 408-414 - [c11]Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
Compositional Specification of Parallel Components Using Circus. FACS 2008: 47-72 - 2007
- [j4]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): 697-719 (2007) - [j3]Rafael Dueire Lins, Francisco Heron de Carvalho Junior, Zanoni Dueire Lins:
Cyclic Reference Counting with Permanent Objects. J. Univers. Comput. Sci. 13(6): 830-838 (2007) - [c10]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: 237-244 - 2006
- [j2]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) - [c9]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: 184-197 - [c8]Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
An Institutional Theory for #-Components. SBMF 2006: 113-132 - 2005
- [c7]Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
Using Aspects for Supporting Procedural Modules in # Programming. Euro-Par 2005: 730-739 - [c6]Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
A component model for high level and efficient parallel programming on distributed architectures. IADIS AC 2005: 173-178 - [c5]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: 1357-1364 - [c4]Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
A categorical characterization for the compositional features of the # component model. SAVCBS@ESEC/FSE 2005: 12 - 2003
- [j1]Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
Haskell#: Parallel Programming Made Simple and Efficient. J. Univers. Comput. Sci. 9(8): 776-794 (2003) - [c3]Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
Topological Skeletons in Haskell. IPDPS 2003: 53 - [c2]Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Nívia Cruz Quental:
On the Implementation of SPMD Applications Using Haskell. SBAC-PAD 2003: 55-63 - 2002
- [c1]Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Massa Ferreira Lima:
Translating Haskell# Programs into Petri Nets. VECPAR 2002: 635-649
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
