Francisco Heron de Carvalho Junior
Orcid: 0000-0003-2286-2376
According to our database1,
Francisco Heron de Carvalho Junior
authored at least 44 papers
between 2002 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023
2021
Contextual contracts for component-oriented resource abstraction in a cloud of high performance computing services.
Concurr. Comput. Pract. Exp., 2021
2020
A component-based framework for certification of components in a cloud of HPC services.
Sci. Comput. Program., 2020
2019
A Scientific Workflow Management System for orchestration of parallel components in a cloud of large-scale parallel processing services.
Sci. Comput. Program., 2019
Algorithms, 2019
2018
Concurr. Comput. Pract. Exp., 2018
Proceedings of the Symposium on High Performance Computing Systems, 2018
Dynamic Configuration of CUDA Runtime Variables for CDP-Based Divide-and-Conquer Algorithms.
Proceedings of the High Performance Computing for Computational Science - VECPAR 2018, 2018
2017
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services.
Proceedings of the CLOSER 2017, 2017
2016
Contextual abstraction in a type system for component-based high performance computing platforms.
Sci. Comput. Program., 2016
Performance evaluation of virtual execution environments for intensive computing on usual representations of multidimensional arrays.
Sci. Comput. Program., 2016
A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications.
Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016
2014
An object-oriented parallel programming language for distributed-memory parallel computing platforms.
Sci. Comput. Program., 2014
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012.
Sci. Comput. Program., 2014
Fusion: Abstractions for Multicore/Manycore Heterogenous Parallel Programming Using GPUs.
Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014
2013
A case study on expressiveness and performance of component-oriented parallel programming.
J. Parallel Distributed Comput., 2013
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013
On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines.
Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013
Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms.
Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013
2012
CoRR, 2012
Proceedings of the 13th Symposium on Computer Systems, 2012
2011
Component-Based Refactoring of Parallel Numerical Simulation Programs: A Case Study on Component-Based Parallel Programming.
Proceedings of the 23rd International Symposium on Computer Architecture and High Performance Computing, 2011
2010
The design of a CCA framework with distribution, parallelism, and recursive composition.
Proceedings of the 2010 11th IEEE/ACM International Conference on Grid Computing, 2010
2009
2008
J. Univers. Comput. Sci., 2008
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008
A Comparison of Cluster and Grid Configurations Executing Image Processing Tasks in a Local Network.
Proceedings of the Seventh International Conference on Networking (ICN 2008), 2008
2007
Concurr. Comput. Pract. Exp., 2007
Proceedings of the 19th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), 2007
2006
A categorical characterization for the compositional features of the # component model.
ACM SIGSOFT Softw. Eng. Notes, 2006
Proceedings of the Brazilian Symposium on Formal Methods, 2006
Design and Implementation of an Environment for Component-Based Parallel Programming.
Proceedings of the High Performance Computing for Computational Science, 2006
2005
The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
A component model for high level and efficient parallel programming on distributed architectures.
Proceedings of the AC 2005, 2005
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005
2003
J. Univers. Comput. Sci., 2003
Proceedings of the 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2003), 2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
2002
Proceedings of the High Performance Computing for Computational Science, 2002