Francisco Heron de Carvalho Junior http://lattes.cnpq.br/4164818158160492

Última atualização do Lattes: 17.03.2020
Unidade: Universidade Federal do Ceará
Departamento: Computação
Nomes de citação: Carvalho, Francisco H. / Carvalho-Junior, Francisco Heron de / de Carvalho Junior, Francisco Heron / CARVALHO JUNIOR, F. H. / de Carvalho-Junior, Francisco Heron / CARVALHO-JUNIOR, F. H. / Heron de Carvalho Junior, F. / Carvalho-Junior, F. H. de / DE CARVALHO, FRANCISCO HERON / HERON DE CARVALHO JUNIOR, FRANCISCO / DE CARVALHO-JUNIOR, FRANCISCO
Mestrado: 8
Doutorado: 5
Pos-Doutorado: 0
Outras: 16
  • Software (2)+
    • Ano
      2010
      Título
      Compilador PObC++
    • Ano
      2010
      Título
      HPE - Hash Programming Environment
Rafael Dueire Lins Ricardo Cordeiro Corrêa Gisele Azevedo de Araújo Freitas Jefferson de Carvalho Silva Ricardo Massa Ferreira Lima Tiago Carneiro Pessoa CENEZ ARAÚJO REZENDE DE CARVALHO SILVA, JEFFERSON Nouredine Melab Daniel Tuyttens Eduardo Gurgel Pinho Antoino Carlos da Rocha Costa Francisco José Lins Magalhães Nivia Cruz Quental Júlio Wilson Ribeiro Anderson Boettge Pinheiro Marco Túlio de Oliveira Valente UCHOA DE ALENCAR, JOÃO MARCELO GUIMARÃES AL-ALAM, WAGNER Luis Carlos Trevelin Cenez Araújo de Rezende REZENDE, CENEZ ARAÚJO Luis Soares Barbosa Wagner Guimarães Al-Alam Leonardo Abreu Fonseca BRUNO DE OLIVEIRA DANTAS, ALLBERSON Neemias Gabriel Pena Batista Arruda SOARES BARBOSA, LUÍS Allberson Bruno de Oliveira Dantas ARAUJO DE REZENDE, CENEZ João Marcelo Uchôa de Alencar Peter David Mosses Hermano Perreli Moura Zanoni Dueire Lins Jan Gmys NEEMIAS GABRIEL PENA DE BATISTA ARRUDA Fernando Antonio Aires Lins Marcelo Alves Costa Chanderliê da Frota Santiago Ana Teresa Castro Martins Correa, Ricardo Cordeiro Paulo Henrique Lopes Silva Renato Caminha Juaçaba Neto Thiago Braga Marcilon Giorgia de Oliveira Matos Andrei de Araújo Formiga Fernando Mário Junqueira Martins Bernadette Farias Lóscio DE OLIVEIRA DANTAS, ALLBERSON BRUNO REZENDE, CENEZ Jam Gmys MACHADO, JAVAM LEITE, LUCAS André Rauber Du Bois Cláudio Esperança Geraldo Xexeo M. Cecília C. Baranauskas Maria Luiza Campos Marcos Borges PERICINI, MATHEUS Daniel Ribeiro
Programação Paralela High Performance Computing Parallel Programming Computação de Alto Desempenho Processamento Paralelo Linguagens de Programação Avaliação de Desempenho Component-Based High Performance Computing Processamento de Alto Desempenho Componentes de Software Component models Component Based Software Engineering Formal Methods Programming Languages Parallel Computing Unidades de Processamento Gráfico (GPU) Linguagens Funcionais Métodos Formais GPU computing Performance Evaluation Engenharia de Programas Paralelos Workflows Científicos Nuvens Computacionais Máquinas Virtuais de Execução MapReduce Linguagens de Programação Paralela Programas Paralelos redes de computadores Gerenciamento de Memória Functional Languages Programação Funcional Object-Oriented Languages Linguagens de Coordenação Arquiteturas Distribuídas Análise de Desempenho Aspect Oriented Programming Transformada Integral Coordination models Concurrency Separation of Concerns Verification Computação Ubíqua Software verificiation and specification Petri nets Raciocínio sobre Programas Paralelos Simluação Computacional Simulação computacional tenured objects Programação Web Simuladores de Redes de Computadores Orientação a Objetos combinatorial optimization redes de petri Segurança em redes permanent objects Haskell memory management Software Engineering Programação Multithreading Graph Processing simulação reference counting Computação Móvel Redes Privadas Virtuais Algoritmos Gerenciamento de Páginas Web Compiladores Semântica de Ações Processamento de ALto Desemepenho cyclic graphs Action Semantics Scientific Workflows Otimização Combinatória Equações Diferenciais Parciais Parabólicas Scientific Libraries Redes Corporativas Computação sensível ao contexto Engenharia Meânica Semântica de Linguagens de Programação Métodos Computacionais Software Components garbage collection Shared Term Graph - STG Type Systems Virtual Execution Environments Common Component Architecture Diferenças finitas Engenharia de Documentos Simuladores de Rede
CTIT UFMG