Francisco Heron de Carvalho-Junior

Author Info

Name	Affiliation	Papers
FRANCISCO HERON DE CARVALHO-JUNIOR	Departamento de Computação, Universidade Federal do Ceará, Fortaleza, Brazil	38
Collaborators	Citations	PageRank
40	49	14.05
Referers	Referees	References
34	603	390

Search Limit

100603

Publications (38 rows)

Collaborators (40 rows)

Referers (34 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Contextual Contracts For Component-Oriented Resource Abstraction In A Cloud Of High Performance Computing Services	0	0.34	2021
A component-based framework for certification of components in a cloud of HPC services	0	0.34	2020
A Scientific Workflow Management System for Orchestration of Parallel Components in a Cloud of Large-Scale Parallel Processing Services	0	0.34	2019
MAPSkew: Metaheuristic Approaches for Partitioning Skew in MapReduce.	1	0.35	2019
MapReduce with Components for Processing Big Graphs	0	0.34	2018
Dynamic Configuration of CUDA Runtime Variables for CDP-Based Divide-and-Conquer Algorithms.	0	0.34	2018
GPU-accelerated backtracking using CUDA Dynamic Parallelism.	0	0.34	2018
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services.	1	0.35	2017
A Framework For Certification Of Large-Scale Component-Based Parallel Computing Systems In A Cloud Computing Platform For Hpc Services	3	0.41	2017
A GPU-Based Backtracking Algorithm for Permutation Combinatorial Problems.	0	0.34	2016
Performance evaluation of virtual execution environments for intensive computing on usual representations of multidimensional arrays.	0	0.34	2016
Fusion: Abstractions For Multicore/Manycore Heterogenous Parallel Programming Using Gpus	0	0.34	2014
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012.	0	0.34	2014
An object-oriented parallel programming language for distributed-memory parallel computing platforms	0	0.34	2014
On The Performance Of Multidimensional Array Representations In Programming Languages Based On Virtual Execution Machines	2	0.37	2013
Derivation and Verification of Parallel Components for the Needs of an HPC Cloud.	0	0.34	2013
A case study on expressiveness and performance of component-oriented parallel programming	3	0.41	2013
Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms.	1	0.35	2013
Coordination Level Modeling and Analysis of Parallel Programs using Petri Nets	0	0.34	2012
Haskell_#: Coordinating Functional Processes	0	0.34	2012
Component-Based Refactoring of Parallel Numerical Simulation Programs: A Case Study on Component-Based Parallel Programming	1	0.35	2011
Compositional Specification of Parallel Components Using Circus	1	0.37	2010
The design of a CCA framework with distribution, parallelism, and recursive composition.	1	0.37	2010
A Type System for Parallel Components	1	0.37	2009
An Institutional Theory for #-Components	6	0.49	2008
Comparative Aspects between the Cluster and Grid Implementations of BigBatch	0	0.34	2008
Towards An Architecture For Component-Oriented Parallel Programming	0	0.34	2007
A Novel Algorithm For Indirect Reputation-Based Grid Resource Management	0	0.34	2007
Cyclic Reference Counting with Permanent Objects	3	0.41	2007
Design and implementation of an environment for component-based parallel programming	0	0.34	2006
A categorical characterization for the compositional features of the # component model	2	0.37	2006
Using aspects for supporting procedural modules in # programming	0	0.34	2005
A component model for high level and efficient parallel programming on distributed architectures	0	0.34	2005
The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming	1	0.35	2005
On the Implementation of SPMD Applications Using Haskell#	1	0.36	2003
Haskell#: Parallel Programming Made Simple and Efficient	7	0.51	2003
Topological Skeletons in Haskell#	5	0.43	2003
Translating Haskell# programs into Petri nets	9	0.67	2002