Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Francisco Heron de Carvalho Junior
@inproceedings{DBLP:conf/sblp/Junior023,
author = {Francisco Heron de Carvalho Junior and
Tiago Carneiro},
title = {A Component Model for Multilevel Parallel Programming},
booktitle = {Proceedings of the {XXVII} Brazilian Symposium on Programming Languages,
{SBLP} 2023, Campo Grande, MS, Brazil, September 25-29, 2023},
pages = {25--32},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3624309.3624318},
doi = {10.1145/3624309.3624318},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sblp/Junior023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/JuniorAD21,
author = {Francisco Heron de Carvalho Junior and
Wagner Guimar{\~{a}}es Al{-}Alam and
Allberson Bruno de Oliveira Dantas},
title = {Contextual contracts for component-oriented resource abstraction in
a cloud of high performance computing services},
journal = {Concurr. Comput. Pract. Exp.},
volume = {33},
number = {18},
year = {2021},
url = {https://doi.org/10.1002/cpe.6225},
doi = {10.1002/CPE.6225},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/JuniorAD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DantasJB20,
author = {Allberson Bruno de Oliveira Dantas and
Francisco Heron de Carvalho Junior and
Lu{\'{\i}}s Soares Barbosa},
title = {A component-based framework for certification of components in a cloud
of {HPC} services},
journal = {Sci. Comput. Program.},
volume = {191},
pages = {102379},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102379},
doi = {10.1016/J.SCICO.2019.102379},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DantasJB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/PericiniLJMR19,
author = {Matheus H. M. Pericini and
Lucas Goncalves de Moura Leite and
Francisco Heron de Carvalho Junior and
Javam C. Machado and
Cenez Ara{\'{u}}jo Rezende},
title = {MAPSkew: Metaheuristic Approaches for Partitioning Skew in MapReduce},
journal = {Algorithms},
volume = {12},
number = {1},
pages = {5},
year = {2019},
url = {https://doi.org/10.3390/a12010005},
doi = {10.3390/A12010005},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/PericiniLJMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SilvaDJ19,
author = {Jefferson de Carvalho Silva and
Allberson Bruno de Oliveira Dantas and
Francisco Heron de Carvalho Junior},
title = {A Scientific Workflow Management System for orchestration of parallel
components in a cloud of large-scale parallel processing services},
journal = {Sci. Comput. Program.},
volume = {173},
pages = {95--127},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2018.04.004},
doi = {10.1016/J.SCICO.2018.04.004},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/SilvaDJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/PessoaGJMT18,
author = {Tiago Carneiro Pessoa and
Jan Gmys and
Francisco Heron de Carvalho Junior and
Nouredine Melab and
Daniel Tuyttens},
title = {GPU-accelerated backtracking using {CUDA} Dynamic Parallelism},
journal = {Concurr. Comput. Pract. Exp.},
volume = {30},
number = {9},
year = {2018},
url = {https://doi.org/10.1002/cpe.4374},
doi = {10.1002/CPE.4374},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/PessoaGJMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecpar/CarneiroGMJFT18,
author = {Tiago Carneiro and
Jan Gmys and
Nouredine Melab and
Francisco Heron de Carvalho Junior and
Pedro Pedrosa Rebou{\c{c}}as Filho and
Daniel Tuyttens},
editor = {Hermes Senger and
Osni Marques and
Rog{\'{e}}rio Eduardo Garcia and
Tatiana Pinheiro de Brito and
Rog{\'{e}}rio Iope and
Silvio Luiz Stanzani and
Veronica Gil{-}Costa},
title = {Dynamic Configuration of {CUDA} Runtime Variables for CDP-Based Divide-and-Conquer
Algorithms},
booktitle = {High Performance Computing for Computational Science - {VECPAR} 2018
- 13th International Conference, S{\~{a}}o Pedro, Brazil, September
17-19, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11333},
pages = {16--30},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-15996-2\_2},
doi = {10.1007/978-3-030-15996-2\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecpar/CarneiroGMJFT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wscad/RezendeJ18,
author = {Cenez Ara{\'{u}}jo de Rezende and
Francisco Heron de Carvalho Junior},
title = {MapReduce with Components for Processing Big Graphs},
booktitle = {Symposium on High Performance Computing Systems, {WSCAD} 2018, S{\~{a}}o
Paulo, Brazil, October 1-3, 2018},
pages = {108--115},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/WSCAD.2018.00026},
doi = {10.1109/WSCAD.2018.00026},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wscad/RezendeJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/DantasJB17,
author = {Allberson Bruno de Oliveira Dantas and
Francisco Heron de Carvalho Junior and
Lu{\'{\i}}s Soares Barbosa},
editor = {Donald Ferguson and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz and
Jorge Cardoso and
Markus Helfert and
Claus Pahl},
title = {A Framework for Certification of Large-scale Component-based Parallel
Computing Systems in a Cloud Computing Platform for {HPC} Services},
booktitle = {{CLOSER} 2017 - Proceedings of the 7th International Conference on
Cloud Computing and Services Science, Porto, Portugal, April 24-26,
2017},
pages = {201--212},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006306802010212},
doi = {10.5220/0006306802010212},
timestamp = {Thu, 03 Feb 2022 09:27:48 +0100},
biburl = {https://dblp.org/rec/conf/closer/DantasJB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/DantasJB17,
author = {Allberson Bruno de Oliveira Dantas and
Francisco Heron de Carvalho Junior and
Lu{\'{\i}}s Soares Barbosa},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Markus Lumpe},
title = {Certification of Workflows in a Component-Based Cloud of High Performance
Computing Services},
booktitle = {Formal Aspects of Component Software - 14th International Conference,
{FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10487},
pages = {198--215},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68034-7\_12},
doi = {10.1007/978-3-319-68034-7\_12},
timestamp = {Thu, 25 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/DantasJB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JuniorR16,
author = {Francisco Heron de Carvalho Junior and
Cenez Ara{\'{u}}jo Rezende},
title = {Performance evaluation of virtual execution environments for intensive
computing on usual representations of multidimensional arrays},
journal = {Sci. Comput. Program.},
volume = {132},
pages = {29--49},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.04.005},
doi = {10.1016/J.SCICO.2016.04.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JuniorR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JuniorRSAA16,
author = {Francisco Heron de Carvalho Junior and
Cenez Ara{\'{u}}jo Rezende and
Jefferson de Carvalho Silva and
Wagner Guimar{\~{a}}es Al{-}Alam and
Jo{\~{a}}o Marcelo U. de Alencar},
title = {Contextual abstraction in a type system for component-based high performance
computing platforms},
journal = {Sci. Comput. Program.},
volume = {132},
pages = {96--128},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.07.005},
doi = {10.1016/J.SCICO.2016.07.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JuniorRSAA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/PessoaGMJT16,
author = {Tiago Carneiro Pessoa and
Jan Gmys and
Nouredine Melab and
Francisco Heron de Carvalho Junior and
Daniel Tuyttens},
editor = {Jes{\'{u}}s Carretero and
Javier Garc{\'{\i}}a Blas and
Ryan K. L. Ko and
Peter Mueller and
Koji Nakano},
title = {A GPU-Based Backtracking Algorithm for Permutation Combinatorial Problems},
booktitle = {Algorithms and Architectures for Parallel Processing - 16th International
Conference, {ICA3PP} 2016, Granada, Spain, December 14-16, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10048},
pages = {310--324},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49583-5\_24},
doi = {10.1007/978-3-319-49583-5\_24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ica3pp/PessoaGMJT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/SilvaJ16,
author = {Jefferson de Carvalho Silva and
Francisco Heron de Carvalho Junior},
editor = {Fernando Castor and
Yu David Liu},
title = {A Platform of Scientific Workflows for Orchestration of Parallel Components
in a Cloud of High Performance Computing Applications},
booktitle = {Programming Languages - 20th Brazilian Symposium, {SBLP} 2016, Maring{\'{a}},
Brazil, September 22-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9889},
pages = {156--170},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45279-1\_11},
doi = {10.1007/978-3-319-45279-1\_11},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sblp/SilvaJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PinhoJ14,
author = {Eduardo Gurgel Pinho and
Francisco Heron de Carvalho Junior},
title = {An object-oriented parallel programming language for distributed-memory
parallel computing platforms},
journal = {Sci. Comput. Program.},
volume = {80},
pages = {65--90},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.03.014},
doi = {10.1016/J.SCICO.2013.03.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PinhoJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JuniorB14,
author = {Francisco Heron de Carvalho Junior and
Lu{\'{\i}}s Soares Barbosa},
title = {Selected and extended papers of the Brazilian Symposium on Programming
Languages 2012},
journal = {Sci. Comput. Program.},
volume = {96},
pages = {175--176},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.08.001},
doi = {10.1016/J.SCICO.2014.08.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JuniorB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/PinheiroJAC14,
author = {Anderson Boettge Pinheiro and
Francisco Heron de Carvalho Junior and
Neemias Gabriel Pena Batista Arruda and
Tiago Carneiro},
editor = {Fernando Magno Quint{\~{a}}o Pereira},
title = {Fusion: Abstractions for Multicore/Manycore Heterogenous Parallel
Programming Using GPUs},
booktitle = {Programming Languages - 18th Brazilian Symposium, {SBLP} 2014, Maceio,
Brazil, October 2-3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8771},
pages = {109--123},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11863-5\_8},
doi = {10.1007/978-3-319-11863-5\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sblp/PinheiroJAC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/JuniorR13,
author = {Francisco Heron de Carvalho Junior and
Cenez Ara{\'{u}}jo Rezende},
title = {A case study on expressiveness and performance of component-oriented
parallel programming},
journal = {J. Parallel Distributed Comput.},
volume = {73},
number = {5},
pages = {557--569},
year = {2013},
url = {https://doi.org/10.1016/j.jpdc.2012.12.007},
doi = {10.1016/J.JPDC.2012.12.007},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/JuniorR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/JuniorRSMJ13,
author = {Francisco Heron de Carvalho Junior and
Cenez Ara{\'{u}}jo Rezende and
Jefferson de Carvalho Silva and
Francisco Jos{\'{e}} Lins Magalh{\~{a}}es and
Renato Caminha Jua{\c{c}}aba{-}Neto},
editor = {Andr{\'{e}} Rauber Du Bois and
Phil Trinder},
title = {On the Performance of Multidimensional Array Representations in Programming
Languages Based on Virtual Execution Machines},
booktitle = {Programming Languages - 17th Brazilian Symposium, {SBLP} 2013, Bras{\'{\i}}lia,
Brazil, October 3 - 4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8129},
pages = {31--45},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40922-6\_3},
doi = {10.1007/978-3-642-40922-6\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sblp/JuniorRSMJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/JuniorRSA13,
author = {Francisco Heron de Carvalho Junior and
Cenez Ara{\'{u}}jo Rezende and
Jefferson de Carvalho Silva and
Wagner Guimar{\~{a}}es Al{-}Alam},
editor = {Andr{\'{e}} Rauber Du Bois and
Phil Trinder},
title = {Contextual Abstraction in a Type System for Component-Based High Performance
Computing Platforms},
booktitle = {Programming Languages - 17th Brazilian Symposium, {SBLP} 2013, Bras{\'{\i}}lia,
Brazil, October 3 - 4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8129},
pages = {90--104},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40922-6\_7},
doi = {10.1007/978-3-642-40922-6\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/JuniorRSA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MarcilonJ13,
author = {Thiago Braga Marcilon and
Francisco Heron de Carvalho Junior},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Derivation and Verification of Parallel Components for the Needs of
an {HPC} Cloud},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {51--66},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_5},
doi = {10.1007/978-3-642-41071-0\_5},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MarcilonJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wscad/SilvaFJC12,
author = {Paulo Henrique Lopes Silva and
Gisele Azevedo de Ara{\'{u}}jo Freitas and
Francisco Heron de Carvalho Junior and
Ricardo C. Corr{\^{e}}a},
title = {Connection Mechanisms of {CCA} Components for Parallel Applications},
booktitle = {13th Symposium on Computer Systems, {WSCAD-SSC} 2012, Petropolis,
Brazil, October 17-19, 2012},
pages = {210--217},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.ieeecomputersociety.org/10.1109/WSCAD-SSC.2012.44},
doi = {10.1109/WSCAD-SSC.2012.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wscad/SilvaFJC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sblp/2012,
editor = {Francisco Heron de Carvalho Junior and
Lu{\'{\i}}s Soares Barbosa},
title = {Programming Languages - 16th Brazilian Symposium, {SBLP} 2012, Natal,
Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7554},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33182-4},
doi = {10.1007/978-3-642-33182-4},
isbn = {978-3-642-33181-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-3773,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
title = {Haskell{\_}{\#}: Coordinating Functional Processes},
journal = {CoRR},
volume = {abs/1208.3773},
year = {2012},
url = {http://arxiv.org/abs/1208.3773},
eprinttype = {arXiv},
eprint = {1208.3773},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-3773.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-3882,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
title = {Coordination Level Modeling and Analysis of Parallel Programs using
Petri Nets},
journal = {CoRR},
volume = {abs/1208.3882},
year = {2012},
url = {http://arxiv.org/abs/1208.3882},
eprinttype = {arXiv},
eprint = {1208.3882},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-3882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/JuniorR11,
author = {Francisco Heron de Carvalho Junior and
Cenez Ara{\'{u}}jo Rezende},
editor = {Jean{-}Luc Gaudiot and
Alba C. M. A. Melo and
Alberto F. De Souza and
Lucia Catabriga},
title = {Component-Based Refactoring of Parallel Numerical Simulation Programs:
{A} Case Study on Component-Based Parallel Programming},
booktitle = {23rd International Symposium on Computer Architecture and High Performance
Computing, {SBAC-PAD} 2011, Vit{\'{o}}ria, Esp{\'{\i}}rito
Santo, Brazil, October 26-29, 2011},
pages = {199--206},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SBAC-PAD.2011.28},
doi = {10.1109/SBAC-PAD.2011.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbac-pad/JuniorR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grid/JuniorC10,
author = {Francisco Heron de Carvalho Junior and
Ricardo Cordeiro Corr{\^{e}}a},
title = {The design of a {CCA} framework with distribution, parallelism, and
recursive composition},
booktitle = {Proceedings of the 2010 11th {IEEE/ACM} International Conference on
Grid Computing, Brussels, Belgium, October 25-29, 2010},
pages = {339--348},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/GRID.2010.5698007},
doi = {10.1109/GRID.2010.5698007},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/grid/JuniorC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3432,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
title = {A Type System for Parallel Components},
journal = {CoRR},
volume = {abs/0905.3432},
year = {2009},
url = {http://arxiv.org/abs/0905.3432},
eprinttype = {arXiv},
eprint = {0905.3432},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3432.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MattosFLJM08,
author = {Giorgia de Oliveira Mattos and
Andrei de Ara{\'{u}}jo Formiga and
Rafael Dueire Lins and
Francisco Heron de Carvalho Junior and
Fernando M{\'{a}}rio Junqueira Martins},
title = {Comparative Aspects between the Cluster and Grid Implementations of
BigBatch},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {18},
pages = {3031--3050},
year = {2008},
url = {https://doi.org/10.3217/jucs-014-18-3031},
doi = {10.3217/JUCS-014-18-3031},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/MattosFLJM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ValenteMJ08,
author = {Marco T{\'{u}}lio Valente and
Peter D. Mosses and
Francisco Heron de Carvalho Junior},
title = {{SBLP} 2008: {XII} Brazilian Symposium on Programming},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {21},
pages = {3412--3414},
year = {2008},
url = {http://www.jucs.org/jucs\_14\_21/sblp\_2008},
timestamp = {Fri, 19 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ValenteMJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icn/MattosLFC08,
author = {Giorgia de Oliveira Mattos and
Rafael Dueire Lins and
Andrei de Ara{\'{u}}jo Formiga and
Francisco Heron de Carvalho Junior},
title = {A Comparison of Cluster and Grid Configurations Executing Image Processing
Tasks in a Local Network},
booktitle = {Seventh International Conference on Networking {(ICN} 2008), 13-18
April 2008, Cancun, Mexico},
pages = {408--414},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICN.2008.75},
doi = {10.1109/ICN.2008.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icn/MattosLFC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JuniorL10,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
editor = {Carlos Canal and
Corina S. Pasareanu},
title = {Compositional Specification of Parallel Components Using Circus},
booktitle = {Proceedings of the 5th International Workshop on Formal Aspects of
Component Software, {FACS} 2008, Malaga, Spain, September 10-12, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {260},
pages = {47--72},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.12.031},
doi = {10.1016/J.ENTCS.2009.12.031},
timestamp = {Thu, 09 Mar 2023 15:34:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JuniorL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/JuniorLCA07,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins and
Ricardo Cordeiro Corr{\^{e}}a and
Gisele Azevedo Ara{\'{u}}jo},
title = {Towards an architecture for component-oriented parallel programming},
journal = {Concurr. Comput. Pract. Exp.},
volume = {19},
number = {5},
pages = {697--719},
year = {2007},
url = {https://doi.org/10.1002/cpe.1121},
doi = {10.1002/CPE.1121},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/JuniorLCA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/LinsJL07,
author = {Rafael Dueire Lins and
Francisco Heron de Carvalho Junior and
Zanoni Dueire Lins},
title = {Cyclic Reference Counting with Permanent Objects},
journal = {J. Univers. Comput. Sci.},
volume = {13},
number = {6},
pages = {830--838},
year = {2007},
url = {https://doi.org/10.3217/jucs-013-06-0830},
doi = {10.3217/JUCS-013-06-0830},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/LinsJL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/JuniorCASL07,
author = {Francisco Heron de Carvalho Junior and
Ricardo Cordeiro Corr{\^{e}}a and
Gisele Azevedo Ara{\'{u}}jo and
Jefferson de Carvalho Silva and
Rafael Dueire Lins},
title = {High-Level Service Connectors for Component-Based High Performance
Computing},
booktitle = {19th Symposium on Computer Architecture and High Performance Computing
{(SBAC-PAD} 2007), 24-27 October 2007, Gramado, RS, Brazil},
pages = {237--244},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SBAC-PAD.2007.34},
doi = {10.1109/SBAC-PAD.2007.34},
timestamp = {Fri, 13 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbac-pad/JuniorCASL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/JuniorL06,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
title = {A categorical characterization for the compositional features of the
{\#} component model},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {31},
number = {2},
year = {2006},
url = {https://doi.org/10.1145/1118537.1123071},
doi = {10.1145/1118537.1123071},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/JuniorL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecpar/JuniorLCAS06,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins and
Ricardo Cordeiro Corr{\^{e}}a and
Gisele Azevedo Ara{\'{u}}jo and
Chanderlie Freire de Santiago},
editor = {Michel J. Dayd{\'{e}} and
Jos{\'{e}} M. Laginha M. Palma and
Alvaro L. G. A. Coutinho and
Esther Pacitti and
Jo{\~{a}}o Correia Lopes},
title = {Design and Implementation of an Environment for Component-Based Parallel
Programming},
booktitle = {High Performance Computing for Computational Science - {VECPAR} 2006,
7th International Conference, Rio de Janeiro, Brazil, June 10-13,
2006, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4395},
pages = {184--197},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71351-7\_15},
doi = {10.1007/978-3-540-71351-7\_15},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/vecpar/JuniorLCAS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JuniorL08,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {An Institutional Theory for {\#}-Components},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {113--132},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.029},
doi = {10.1016/J.ENTCS.2007.08.029},
timestamp = {Thu, 09 Feb 2023 11:07:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JuniorL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/JuniorL05,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
editor = {Jos{\'{e}} C. Cunha and
Pedro D. Medeiros},
title = {Using Aspects for Supporting Procedural Modules in {\#} Programming},
booktitle = {Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference,
Lisbon, Portugal, August 30 - September 2, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3648},
pages = {730--739},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11549468\_80},
doi = {10.1007/11549468\_80},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/JuniorL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iadis/JuniorL05,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
editor = {Nuno Guimar{\~{a}}es and
Pedro T. Isa{\'{\i}}as},
title = {A component model for high level and efficient parallel programming
on distributed architectures},
booktitle = {{AC} 2005, Proceedings of the {IADIS} International Conference on
Applied Computing, Algarve, Portugal, February 22-25, 2005, Volume
2},
pages = {173--178},
publisher = {{IADIS}},
year = {2005},
timestamp = {Thu, 16 Nov 2017 18:21:03 +0100},
biburl = {https://dblp.org/rec/conf/iadis/JuniorL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CarvalhoL05,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {The {\#} model: separation of concerns for reconciling modularity,
abstraction and efficiency in distributed parallel programming},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {1357--1364},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066984},
doi = {10.1145/1066677.1066984},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/CarvalhoL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JuniorL05,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
editor = {Gary T. Leavens},
title = {A categorical characterization for the compositional features of the
{\#} component model},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {12},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123071},
doi = {10.1145/1123058.1123071},
timestamp = {Thu, 10 Feb 2022 15:21:21 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/JuniorL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CarvalhoL03,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
title = {Haskell{\#}: Parallel Programming Made Simple and Efficient},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {8},
pages = {776--794},
year = {2003},
url = {http://www.jucs.org/jucs\_9\_8/haskell\_parallel\_programming\_made},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/CarvalhoL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/JuniorL03,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
title = {Topological Skeletons in Haskell},
booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
pages = {53},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213144},
doi = {10.1109/IPDPS.2003.1213144},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/JuniorL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/JuniorLQ03,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins and
N{\'{\i}}via Cruz Quental},
title = {On the Implementation of {SPMD} Applications Using Haskell},
booktitle = {15th Symposium on Computer Architecture and High Performance Computing
{(SBAC-PAD} 2003), 10-12 November 2003, Sao Paulo, Brazil},
pages = {55--63},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CAHPC.2003.1250321},
doi = {10.1109/CAHPC.2003.1250321},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbac-pad/JuniorLQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecpar/JuniorLL02,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins and
Ricardo Massa Ferreira Lima},
editor = {Jos{\'{e}} M. Laginha M. Palma and
Jack J. Dongarra and
Vicente Hern{\'{a}}ndez and
Ant{\'{o}}nio Augusto de Sousa},
title = {Translating Haskell\({}_{\mbox{{\#}}}\) Programs into Petri Nets},
booktitle = {High Performance Computing for Computational Science - {VECPAR} 2002,
5th International Conference, Porto, Portugal, June 26-28, 2002, Selected
Papers and Invited Talks},
series = {Lecture Notes in Computer Science},
volume = {2565},
pages = {635--649},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36569-9\_43},
doi = {10.1007/3-540-36569-9\_43},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/vecpar/JuniorLL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:41 CEST 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:
