Comissão de Pesquisa e Inovação do IME-USP - Pós-Doutorado concluído

Henrique Mongelli

Possui graduação em Licenciatura Plena em Matemática pela Universidade Federal de Mato Grosso do Sul(1989), mestrado em Matemática Aplicada pela Universidade de São Paulo(1995), doutorado em Ciências da Computação pela Universidade de São Paulo(2000) e pós-doutorado pela Universidade de São Paulo(2016). Atualmente é professor titular da Universidade Federal de Mato Grosso do Sul. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:Coarse Grained Multicomputers, Busca de Padrões, Escala, Algoritmos Escaláveis, algoritmos paralelos e granularidade grossa. (Texto gerado automaticamente pela aplicação CVLattes)

  • http://lattes.cnpq.br/6444798527221795 (15/12/2023)
  • Rótulo/Grupo:
  • Bolsa CNPq:
  • Período de análise:
  • Endereço: Universidade Federal de Mato Grosso do Sul, Faculdade de Computação. Cidade Universitária Cidade Universitária 79070900 - Campo Grande, MS - Brasil - Caixa-postal: 549 Telefone: (67) 3345-7455 Fax: (67) 33457455 URL da Homepage: http://www.facom.ufms.br/~mongelli
  • Grande área: Ciências Exatas e da Terra
  • Área: Ciência da Computação
  • Citações: Google Acadêmico

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

Organização de eventos

Lista de colaborações


Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

  • Total de projetos de pesquisa (14)
    1. 2016-Atual. INCT da Internet do Futuro para Cidades Inteligentes
      Descrição: Desenvolvimento de modelos, técnicas, métodos e sistemas de software visando à melhoria da vida da população urbana por meio da utilização da tecnologia da informação e da comunicação. Essa pesquisa envolve técnicas avançadas de Computação em Nuvem, Internet das Coisas, Computação de Alto Desempenho, Engenharia de Software, Big Data e Aprendizado de Máquina.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Henrique Mongelli - Integrante / Fábio Kon - Integrante / Markus Endler - Integrante / Alfredo Goldman vel Lejbman - Coordenador / Fábio Costa - Integrante / Ronaldo Alves Ferreira - Integrante.
      Membro: Henrique Mongelli.
      Descrição: Objetivo: Desenvolvimento de modelos, técnicas, métodos e sistemas de software visando à melhoria da vida da população urbana por meio da utilização da tecnologia da informação e da comunicação. Essa pesquisa envolve técnicas avançadas de Computação em Nuvem, Internet das Coisas, Computação de Alto Desempenho, Engenharia de Software, Big Data e Aprendizado de Máquina.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (20) / Doutorado: (10) . Integrantes: Daniel de Angelis Cordeiro - Integrante / Fabio Kon - Coordenador. Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
      Membro: Daniel de Angelis Cordeiro.
    2. 2012-Atual. Algoritmos MultiBSP para Problemas de Programação Dinâmica e Grafos usando CUDA , OpenCL, OpenMP, MPI
      Descrição: Em se tratando de arquitetura baseada em cluster de workstation (uma CPU por workstation) um modelo cujos algoritmos tem obtido bons desempenhos quando implementados em máquinas reais é o BSP/CGM (Bulk Syncronous Parallel/Coarse Grained Multicomputer). Este modelo, introduzido por Valiant e Dehne et al, é composto por um conjunto de p processadores, com suas memórias locais, que se comunicam através de uma rede de interconexão que permite comunicação ponto-a-ponto entre os processadores. Um algoritmo no modelo BSP/CGM, ou simplesmente algoritmo BSP/CGM, para um problema que tenha entrada de tamanho n e que utilize p processadores é descrito através de superpassos compostos por uma rodada de computação local e uma rodada de comunicação. Na rodada de computação são manipulados os dados armazenados localmente. Na rodada de comunicação são trocadas informações entre os processadores. Neste modelo, a cada rodada de comunicação um processador pode enviar e/ou receber no máximo O(n/p) dados. O objetivo é minimizar o número de rodadas de comunicação e a quantidade de computação local. A pesar de o modelo funcionar também para memória compartilhada, no caso do domínio da arquitetura multi/many-core temos uma situação híbrida (CPU e GPU). Neste ambiente a meta de obter uma programação de alto desempenho freqüentemente não tem obtido sucesso. A fim de solucionar este problema, Valiant propôs um modelo de transição que visa capturar os parâmetros dos elementos mais básicos de arquiteturas multi/many-core. O modelo denominado Multi-BSP proposto é um modelo de múltiplos níveis que tem parâmetros explícitos para os números de processadores, tamanhos de memória cache, custos de comunicação e custos de sincronização. Neste projeto, vamos desenvolver e implementar aplicações paralelas para problemas em grafos e programação dinâmica usando o modelo Multi-BSP. Para isso vamos utilizar um ambiente computacional híbrido (cluster de estações multi/many core). Exploraremos as potencialidades das linguagens CUDA, OpenCL, OpenMP e MPI. Para o modelo BSP/CGM obtivemos vários resultados que confirmaram a eficiência desse modelo no projeto e implementação de algoritmos para problemas em grafos e programação dinâmica. Entre os problemas tratados estão os de Á rvores Geradoras, Componentes Conexos, Cliques Máximos, Fecho e Redução Transitiva, Análise e Comparação de Sequências, Somas de Sequência e Matrizes Maximais e o Problema da Mochila 0-1. Muitos desses algoritmos têm aplicações diretas em Biologia Molecular Computacional, o problema do fecho transitivo tem várias aplicações em problemas de determinar se objetos tem relação entre si e o problema da mochila 0-1. Os resultados obtidos com o BSP/CGM motivam o estudo do modelo Multi-BSP no projeto e análise de algoritmos para os problemas em Biologia Computacional e Problemas em Grafos e também com a implementação desses algoritmos utilizando CUDA, OpenCL, OpenMP e MPI. Além do Problema da Mochila 0-1, um outro problema que pode ser solucionado com técnicas de programação dinâmica é da comparação de sequências. Comparação de sequências é uma das ferramentas fundamentais e mais importantes em Biologia Molecular Computacional, servindo como base para a solução de outros problemas mais complexos, tais como na busca de similaridades entre biosequências, maior subsequência comum e problema de emparelhamento com k erros. Utilizando o modelo BSP/CGM, vários problemas relacionados à edição e comparação de sequências foram estudados anteriormente por Alves, Cáceres, Dehne, Loureiro, Nishibe e Song. Moreano et al, obteve resultados para problemas em Biologia Computacional utilizando FPGA ́s. Os bons resultados obtidos no projeto e implementação de algoritmos usando o modelo BSP/CGM motivam o estudo do modelo Multi-BSP e o projeto e implementação de algoritmos para os problemas citados.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Henrique Mongelli - Integrante / Edson Norberto Cáceres - Coordenador / Bianca de Almeida Dantas - Integrante / Nahri Balesdent Moreano - Integrante / Samuel Ferraz - Integrante / Anderson Lima - Integrante / Jucele Alencar - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
      Membro: Henrique Mongelli.
    3. 2008-2012. BIOFOCOIII (MCT/FINEP Ação Transvesal- Rede Genoprot - 07/2007)
      Descrição: O objetivo principal desse projeto é desenvolver softwares para análises genômicas, que serão executados em ambiente cooperativo e distribuído na região Centro-Oeste. Isso permite melhor distribuição, compartilhamento e alocação de recursos computacionais, o que maximiza o potencial computacional das instituições integrantes do sistema (Campo Grande, Goiânia e Brasilia) Particularmente, três áreas da Bioinformática são abordadas: genômica comparativa, identificação de RNAs não-codificantes e redes metabólicas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Henrique Mongelli - Integrante / Edson Norberto Cáceres - Coordenador / Nalvo Franco de Almeida Junior - Integrante / Fábio Henrique Viduani Martinez - Integrante / Said Sadique Adi - Integrante / Maria Emília Machado Telles Walter - Integrante / Alba Cristina Magalhães Alves de Melo - Integrante. Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.
      Membro: Henrique Mongelli.
    4. 2008-2012. Uma Proposta para Consolidação e Expansão do Programa de Pós-Graduação em Ciência da Computação do DCT-UFMS
      Descrição: A UFMS é a IES proponente, a USP é a IES associada principal e a Unicamp é a IES associada co-principal. Cada umas dessas IES possui uma única equipe participante neste projeto. A equipe da UFMS é formada por professores e alunos do Programa de Pós-Graduação em Computação da UFMS; a equipe da USP é formada por professores do Programa de Pós-Graduação em Ciência da Computação do Instituto de Matemática e Estatística da USP, do Programa de Pós-Graduação em Ciências da Computação e Matemática Computacional do Instituto de Ciências Matemáticas e da Computação da USP, em São Carlos (SP), e do Programa de Pós-Graduação em Engenharia Elétrica da Escola Politécnica da USP; e a equipe da Unicamp é formada por professores do Programa de Pós-Graduação em Computação do Instituto de Computação. da Unicamp.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Henrique Mongelli - Integrante / Marcelo Henriques de Carvalho - Coordenador.
      Membro: Henrique Mongelli.
    5. 2007-2010. Desenvolvimento de Processamento Paralelo e Aplicações de Alto Desempenho em Clusters tipo Beowulf
      Descrição: A computação paralela e o processamento de alto desempenho vem nos últimos anos despertando interesses de várias áreas do conhecimento, desde àquelas envolvendo aplicações clássicas envolvendo volumosas quantidades de dados como banco de dados e computação gráfica, agora novas áreas como biologia computacional tem usado constante este paradigma de computação. No entando, estas áreas fazem uma utilização empírica da computação paralela, deixando um potencial para o aprimoramento das soluções. Neste projeto propomos o desenvolvimento de forma sistemática de soluções paralela para uma série de problemas práticos nestas áreas, bem como a ánalise deste modelo de computação como uma ferramenta de uso mais amplos em áreas ainda pouco exploradas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Henrique Mongelli - Integrante / Marco Aurélio Stefanes - Coordenador / Luciano Gonda - Integrante / Milton Ernesto Romero - Integrante / Danielle Passos de Ruchkys - Integrante / Amaury Antônio de Castro Júnior - Integrante / Mauro Conti Pereira - Integrante. Financiador(es): Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro.
      Membro: Henrique Mongelli.
    6. 2007-2009. Consolidação das Linhas de Pesquisa do Mestrado em Ciência da Computação do DCT-UFMS
      Descrição: O objetivo geral deste projeto é a consolidação das linhas de pesquisa do Programa de Mestrado em Ciência da Computação do DCT-UFMS. Os grupos consolidados participantes são: DI/PUC-Rio, IC/UNICAMP, IME/USP e ICMC/USP. Com este projeto visamos: atrair novos doutores que atuem nas linhas de pesquisa em formação; fixar recémdoutores; fortalecer linhas de pesquisa existentes; aumentar a visibilidade e a participação do Programa de Mestrado do DCT e seu corpo docente nas comunidades científicas nacional e internacional; reduzir o tempo médio de titulação dos discentes do Programa; aumentar a participação discente nas publicações relevantes do Programa; aumentar a produção científica dos orientadores do Programa; e fortalecer o intercâmbio e as relações com instituições consolidadas no país. Para isso, serão implementadas as seguintes ações: melhoria das condições de trabalhos dos recém-doutores e daqueles com mais baixa produtividade; fortalecimento e formação de parcerias efetivas com pesquisadores de programas consolidados de pósgraduação em Computação. O projeto prevê recursos principalmente para a criação de laboratórios temáticos em linhas de pesquisa em formação e o fortalecimento das linhas existentes, para passagens e diárias para reuniões de trabalhos e workshops, e para a participação em eventos com apresentação de trabalhos. A combinação de todos estes fatores auxiliará na consolidação e no fortalecimento do Programa de Mestrado do DCT, de acordo com a política de interiorização e disseminação do conhecimento tecnológico e científico.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Henrique Mongelli - Coordenador / Edson Norberto Cáceres - Integrante / Marcelo Henriques de Carvalho - Integrante / Marcelo Augusto Santos Turine - Integrante / José Augusto Ramos Soares - Integrante / Luís Gustavo Nonato - Integrante / Paulo Aristarco Pagliosa - Integrante / Marco Aurélio Stefanes - Integrante / Nalvo Franco de Almeida Junior - Integrante / Fábio Henrique Viduani Martinez - Integrante / Eduardo Sany Laber - Integrante / Irineu Sotoma - Integrante / Maria Bernadete Zanusso - Integrante / Marcelo Ferreira Siqueira - Integrante / Nahri Balesdent Moreano - Integrante / Ronaldo Alves Ferreira - Integrante / Said Sadique Adi - Integrante / Bruno Feijó - Integrante / Esteban Walter Gonzalez Clua - Integrante / Marcus Vinicius S. Poggi de Aragão - Integrante / Carlos Eduardo Ferreira - Integrante / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante / Yoshiko Wakabayashi - Integrante / Antônio Castelo Filho - Integrante / Ellen Francine Barbosa - Integrante / Guilherme Pimentel Telles - Integrante / José Carlos Maldonado - Integrante / Maria Cristina F. de Oliveira - Integrante / Maria da Graça C. Pimentel - Integrante / Paulo Cesar Masiero - Integrante / Renata Pontin de M. Fortes - Integrante / Rosana Teresinha V. Braga - Integrante / Solange Oliveira Rezende - Integrante / Cláudio Leonardo Lucchesi - Integrante / Edmundo Roberto M. Madeira - Integrante / Guido Costa S. de Araújo - Integrante / Orlando Lee - Integrante / Paulo Cesar Centoducatte - Integrante / Rodolfo Jardim de Azevedo - Integrante / Sandro Rigo - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
      Membro: Henrique Mongelli.
    7. 2005-2008. Tratabilidade por Parâmetros Fixos: Algoritmos e Experimentação no Modelo BSP/CGM
      Descrição: O modelo BSP/CGM é um modelo realístico de computação paralela em que são considerados, além da complexidade de tempo de processamento, o número de vezes em que existe comunicação entre os processadores. As implementações em máquinas paralelas reais dos algoritmos projetados nesse modelo têm obtido tempos bastante próximos aos previstos no modelo. Por outro lado, algoritmos FPT têm sido implementados e constituem uma abordagem promissora na solução de problemas NP-completos que necessitam de soluções exatas e para os quais podemos fixar, na prática, o parâmetro responsável pela explosão combinatorial. A combinação do paralelismo e de algoritmos FPT tem se mostrado profícua na obtenção de soluções para problemas práticos. No projeto de algoritmos FPT, geralmente, utilizamos duas técnicas básicas: redução ao núcleo do problema e árvore limitada de busca. Estas estratégias podem ser combinadas na obtenção de algoritmos FPT. Ambas estratégias podem ser paralelizadas. A paralelização da técnica de árvore limitada de busca mostrou-se bastante eficiente pois multiplicam-se os pontos de busca de soluções. Os principais problemas que serão abordados neste projeto têm algoritmos FPT seqüenciais descritos que utilizam basicamente a estratégia de árvore limitada de busca e são ou têm aplicações em Biologia Computacional e em grafos. Para o problema da k-Cobertura por Vértices, implementamos o algoritmo FPT/CGM de Cheetham et al. e obtivemos tempos muito bons, comparados a outras implementações seqüenciais e paralelas. Os algoritmos desenvolvidos serão implementados utilizando-se a linguacem C/C++ e as bibliotecas MPI e BSP-Lib. Na experimentação utilizaremos clusters de PC e grades computacionais. O objetivo principal deste projeto é o desenvolvimento e implementação de algoritmos paralelos eficientes para problemas FPT, usando modelos realísticos de computação paralela, de modo a comprovar a viabilidade da utilização de algoritmos FPT e computação paralela.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Henrique Mongelli - Coordenador / Siang Wun Song - Integrante / Edson Norberto Cáceres - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro.
      Membro: Henrique Mongelli.
    8. 2005-2008. Tratabilidade por Parâmetros Fixos: Algoritmos e Experimentação no Modelo BSP/CGM
      Descrição: O modelo BSP/CGM é um modelo realístico de computação paralela em que são considerados, além da complexidade de tempo de processamento, o número de vezes em que existe comunicação entre os processadores. As implementações em máquinas paralelas reais dos algoritmos projetados nesse modelo têm obtido tempos bastante próximos aos previstos no modelo. Por outro lado, algoritmos FPT têm sido implementados e constituem uma abordagem promissora na solução de problemas NP-completos que necessitam de soluções exatas e para os quais podemos fixar, na prática, o parâmetro responsável pela explosão combinatorial. A combinação do paralelismo e de algoritmos FPT tem se mostrado profícua na obtenção de soluções para problemas práticos. No projeto de algoritmos FTP, geralmente, utilizamos duas técnicas básicas: redução ao núcleo do problema e árvore limitada de busca que podem ser combinadas na obtenção de algoritmos FPT e paralelizada. A paralelização da técnica de árvore limitada de busca mostrou-se bastante eficiente pois multiplicam-se os pontos de busca de soluções. Os principais problemas que serão abordados neste projeto têm algoritmos FPT seqüenciais descritos que utilizam basicamente a estratégia de árvore limitada de busca e são ou têm aplicações em Biologia Computacional e em grafos. Para o problema da k-Cobertura por Vértices, implementamos o algoritmo FPT/CGM de Cheetham et al. e obtivemos tempos muito bons, comparados a outras implementações seqüenciais e paralelas. Os algoritmos desenvolvidos serão implementados utilizando-se a linguacem C/C++ e as bibliotecas MPI e BSP-Lib. Na experimentação utilizaremos clusters de PC e grades computacionais. O objetivo principal deste projeto é o desenvolvimento e implementação de algoritmos paralelos eficientes para problemas FPT, usando modelos realísticos de computação paralela, de modo a comprovar a viabilidade da utilização de algoritmos FPT e computação paralela.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Henrique Mongelli - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
      Membro: Henrique Mongelli.
    9. 2005-2008. Projeto Integrade 2
      Descrição: O projeto InteGrade visa desenvolver um middleware inovador que permita a utilização de recursos computacionais ociosos em instituições acadêmicas e empresariais para a execução de aplicações científicas, industriais e de entretenimento que demandem alto poder computacional. O middleware é baseado em tecnologias avançadas de objetos distribuídos e pretende dar suporte à execução de aplicações paralelas onde haja um nível significativo de comunicação entre os nós.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Henrique Mongelli - Integrante / Siang Wun Song - Integrante / Edson Norberto Cáceres - Integrante / Fábio Kon - Coordenador / Markus Endler - Integrante / Marcelo Finger - Integrante / Alfredo Goldman vel Lejbman - Integrante / Renato Fontoura de Gusmão Cerqueira - Integrante / Fábio Costa - Integrante / Francisco Silva e Silva - Integrante / Eduardo Sany Laber - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
      Membro: Henrique Mongelli.
    10. 2004-2006. Bioinformática e Computação de Alto Desempenho
      Descrição: O projeto consiste no desenvolvimento e implementação de um ambiente computacional distribuído, capaz de prover serviços eficientes de comparação de seqüências e que ofereça ferramentas auxiliares de anotação, recursos que seriam inviáveis se oferecidos em máquinas isoladas. Para tanto, faremos uso (até que possamos adquirir um cluster próprio e dedicado) do cluster de computadores do Instituto de Computação da Unicamp, que já vem sendo utilizado por pesquisadores deste projeto. O projeto 'Bioinformática e Computação de Alto Desempenho' consiste no desenvolvimento e implementação de um ambiente computacional distribuído, capaz de prover serviços eficientes de comparação de seqüências e que ofereça ferramentas auxiliares de anotação, recursos que seriam inviáveis se oferecidos em máquinas isoladas.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Henrique Mongelli - Integrante / Edson Norberto Cáceres - Integrante / Nalvo Franco de Almeida Junior - Coordenador / Wellington Santos Martins - Integrante.
      Membro: Henrique Mongelli.
    11. 2003-2006. Desenvolvimento e Implementação de Algoritmos Paralelos para Problemas de Biologia Molecular Computacional
      Descrição: O projeto focaliza o desenvolvimento e implementação de algoritmos paralelos para problemas de Bioinformática, usando os modelos Bulk Synchronous Parallel Model (BSP) e Coarse-Grained Multicomputer Model (CGM). Os algoritmos serão implementados nos Beowulfs do IME-USP e IC-Unicamp, utilizando a biblioteca Message Passing Interface (MPI). No presente projeto, pretendemos tratar de problemas solucionáveis seqüencialmente por algoritmos baseados em Programação Dinâmica, em especial do problema de Alinhamento Múltiplo de Seqüências. O objetivo principal é desenvolver e implementar algoritmos paralelos eficientes para os seguintes problemas: edição de seqüências; alinhamento de seqüências; e maior subseqüência comum entre duas cadeias, e outros relacionados.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Henrique Mongelli - Coordenador.
      Membro: Henrique Mongelli.
    12. 2003-2005. IMPAR - Infra-estrutura de Middleware para Aproveitamento de Recursos Ociosos em Sistemas Distribuídos
      Descrição: O objetivo geral é desenvolver uma infra-estrutura de middleware genérica visando o aproveitamento de recursos ociosos em sistemas distribuídos de grande e média escala, com as seguintes características: permitir a resolução de qualquer problema computacional paralelizável; permitir a carga dinâmica de componentes contendo código para a resolução de diferentes tipos de problemas; permitir que os componentes das aplicações paralelas sendo executados nos diversos nós do sistema distribuído possam também se comunicar entre si de forma a permitir a execução de um gama muito maior de problemas (sistemas existentes limitam a execução a um ponto centralizador, possivelmente replicado, formando uma topologia de estrela com um nó central e milhões de clientes ligados a ele).. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Henrique Mongelli - Integrante / Siang Wun Song - Coordenador / Edson Norberto Cáceres - Integrante / Fábio Kon - Integrante / Markus Endler - Integrante / Allfredo Goldman - Integrante / Marcelo Finger - Integrante / Renato Cerqueira - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
      Membro: Henrique Mongelli.
    13. 2003-2005. Algoritmos CGM/BSP para Problemas de Biologia Computacional e Grafos
      Descrição: O objetivo principal é o estudo de algoritmos paralelos eficientes, usando o modelo CGM/BSP, para os seguintes proble-mas: edição de strings; alinhamento de strings; maior subseqüência comum entre duas strings; fecho e redução transitiva de um grafo, árvore geradora mínima, circuitos de Euler e outros problemas básicos em grafos. O algoritmo seqüencial utiliza-do para computar a similaridade de duas seqüências utiliza a técnica de programação dinâmica. Dado o tamanho e a quantidade das seqüências envolvidas, faz sentido pensarmos na utilização de computação paralela para solucionar esse problema. Os algoritmos paralelos projetados para o modelo PRAM muitas vezes dão speedups desapontadores quando implementados em máquinas reais. O BSP e o CGM são modelos de paralelismo suficientemente próximos das máquinas paralelas com memória distribuída existentes. O impacto esperado é na área de algoritmos paralelos aplicados à Biologia Computacional e a sistemas distribuídos modelados por grafos. A ênfase na implementação dos algoritmos propostos visa a sua real utilização. O produto final principal é a obtenção de algoritmos paralelos eficientes para os problemas mencionados.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Henrique Mongelli - Integrante / Edson Norberto Cáceres - Coordenador / Nalvo Franco de Almeida Junior - Integrante.
      Membro: Henrique Mongelli.
    14. 2002-2005. Algoritmos Paralelos para Processamento de Cadeias e Problemas FPT
      Descrição: Este projeto visa o desenvolvimento de algoritmos paralelos, no modelo CGM, para problemas de Processamento de Cadeias e para problemas FPT. Além das etapas teóricas pretende-se, através da utilização da biblioteca MPI(Mesage-Passing Interface), a implementação dos algoritmos obtidos em máquinas paralelas. Os problemas a serem estudados têm aplicações em diversas áreas da computação, além da contribuição do ponto de vista teórico que envolvem além do próprio desenvolvimento, as estratégias e técnicas que podem ser exportadas para outros problemas.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Henrique Mongelli - Coordenador.
      Membro: Henrique Mongelli.

Prêmios e títulos

  • Total de prêmios e títulos (0)

    Participação em eventos

    • Total de participação em eventos (54)
      1. 71a. Reunião Anual da SBPC. 2019. (Congresso).
      2. XIX SIMPÓSIO DE SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO. 2018. (Simpósio).
      3. XIX SIMPÓSIO DE SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO.Uma Abordagem Paralela usando GPGPU de Simulated Annealing para Solução do Problema Quadrático de Alocação. 2018. (Simpósio).
      4. XXVIII Semana de Comptuação.Computação Paralela e Heurísticas. 2018. (Encontro).
      5. Curso de Qualidade - XXXVII Congresso da Sociedade Brasileira de Computação. 2017. (Encontro).
      6. XXXVII Congresso da Sociedade Brasileira de Computação,. 2017. (Congresso).
      7. Encontro do Fórum de Pró-Reitores de Graduação da Região Centro-Oesteotro. 2013. (Encontro).
      8. Encontro do Fórum de Pró-Reitores de Graduação da Região Nort.A Expansao do Ensino Superior. 2013. (Encontro).
      9. Encontro do Fórum de Pró-Reitores de Graduação da Região Norte. 2013. (Encontro).
      10. Encontro do Fórum de Pró-Reitores de Graduação da Região SUL. 2013. (Encontro).
      11. Forgrad Sul 2013. 2013. (Encontro).
      12. I Seminário Produção do Conhecimento na Graduação e Pós Graduação.A Importância da Pesquisa no Ensino de Graduação. 2013. (Seminário).
      13. XXVI Encontro Nacional de PRó-Reitores de Graduação. 2013. (Encontro).
      14. XXVI Fórum de Pró-Reitores de Graduação da Região Sudeste. 2013. (Encontro).
      15. Fórum de Pró-Reitores de Graduação das Universidades Brasileiras ? Encontro da Regional Centro-Oeste. 2012. (Encontro).
      16. Oficina do Fórum de Pró-Reitores de Graduação Forgrad Sul. 2012. (Oficina).
      17. Seminário Andifes sobre a Internacionalização das Universidades Brasileiras. 2012. (Seminário).
      18. X Encontro de Professores da UEMS - UEMS 18 anos: Diálogos e Reflexões.Avaliação de Curso nas Instituições de Ensino Superior. 2012. (Encontro).
      19. XXV Encontro Regional Sudeste do Fórum de Pró- Reitores de Graduduação das Universidades Brasileiras. 2012. (Encontro).
      20. XXV Fórum de Pró-Reitores de Graduação das Universidades Brasileiras - ForGRAD Nacional.Relato de Experiência - Sisu. 2012. (Encontro).
      21. Fórum de Pró-Reitores de Graduação das Universidades Brasileiras ? Encontro da Regional Centro-Oeste. 2011. (Encontro).
      22. Fórum de Pró-Reitores de Graduação das Universidades Brasileiras ? Encontro da Regional Centro-Oeste.Mesa Redonda: Pesquisa e Extensão como Princípios Educativos na Graduação. 2011. (Encontro).
      23. Fórum de Pró-Reitores de Graduação das Universidades Brasileiras ? Encontro da Regional Sul.Coordenador da Conferência: Formação de Professores. 2011. (Encontro).
      24. Fórum de Pró-Reitores de Graduação das Universidades Brasileiras ? Encontro da Regional Sul. 2011. (Encontro).
      25. I Encontro de Formação de Gestores - I EFG.Experiências em Reformulações de Matrizes Curriculares. 2011. (Encontro).
      26. Reunião plenária do Fórum Nacional dos Conselhos Estaduais de Educação - Região Centro-Oeste. 2011. (Encontro).
      27. Reunião plenária do Fórum Nacional dos Conselhos Estaduais de Educação - Região Centro-Oeste.Mesa Redonda: Titulação Acadêmica Oriunda de Países do Mercosul. 2011. (Encontro).
      28. XXIV Fórum de Pró-Reitores de Graduação das Universidades Brasileiras - ForGRAD Nacional. 2011. (Encontro).
      29. XXIII FORGRAD - Fórum de Pró-Reitores de Graduação das Universidades Brasileiras. 2010. (Encontro).
      30. 10th International Conference on High Performance Computing, Grid and e-Science in Asia Pacific Region HPC-Asia 2009. An Alternative Implementation for the FPT k-Vertex Cover Parallel Algorithm. 2009. (Congresso).
      31. FORGRAD - Encontro Regional Norte-Centro-Oeste. 2009. (Encontro).
      32. XXVIII Congresso da Sociedade Brasileira de Computação. 2008. (Congresso).
      33. The 19th International Symposium on Computer Architecture and High Performance Computing. 2007. (Simpósio).
      34. VIII Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD 2007).Implementações de Algoritmos Paralelos FPT para o Problema da k-Cobertura por Vértices Utilizando Clusters e Grades Computacionais. 2007. (Simpósio).
      35. XXVII Congresso da Sociedade Brasileira de Computação. 2007. (Congresso).
      36. The 18th International Symposium on Computer Architecture and High Performance Computing. 2006. (Simpósio).
      37. VII Workshop em Sistemas Computacionais de Alto Desempenho - WSCAD 2006.Implementações em Grades Computacionais de Algoritmos BSP/CGM para os Problemas da Mochila 0-1 e Mínimo Intervalar. 2006. (Outra).
      38. XXVI Congresso da Sociedade Brasileira de Computação. 2006. (Congresso).
      39. SBAC-PAD 2005.17th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005). 2005. (Simpósio).
      40. VII Curso de Qualidade - Ensino de Computação: Melhores Práticas. 2005. (Outra).
      41. Euro-Par 2004. A Coarse-Grained Parallel Algorithm for Spanning Tree and Connected Components. 2004. (Congresso).
      42. Third International Workshop on Experimental and Efficient Algorithms - WEA 2004. Efficient Implementation of the BSP/CGM Parallel Vertex Cover FPT Algorithm. 2004. (Congresso).
      43. XXIV Congresso da Sociedade Brasileira de Computação. 2004. (Congresso).
      44. 15th Symposium of Computer Architecture and High Performance Computing. 2003. (Simpósio).
      45. XVI Encontro Nacional do ForGRAD - Fórum Nacional de Pró-Reitores de Graduação das Universidades Brasileiras. 2003. (Encontro).
      46. XXIII Congresso da Sociedade Brasileira de Computação. 2003. (Congresso).
      47. 14th Symposium of Computer Architecture and High Performance Computing. 2002. (Simpósio).
      48. IV Curso de Qualidade - Metodologia de Ensino para Cursos na Área de Computação e Informática. 2002. (Outra).
      49. XXII Congresso da Sociedade Brasileira de Computação. 2002. (Congresso).
      50. I Ciclo de Palestras na Área de Informática.Mesa redonda "Formação Profissional na Área de Informática". 2001. (Outra).
      51. III Curso de Qualidade - Planos Pedagógicos de Cursos na Área de Computação e Informática. 2001. (Outra).
      52. I Semana Integrada de Computação (SIC).Computação Paralela. 2001. (Outra).
      53. The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications PDPTA'2001. Parallel String Matching with Scaling. 2001. (Congresso).
      54. XXI Congresso da Sociedade Brasileira de Computação. Algoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem Escala. 2001. (Congresso).

    Organização de eventos

    • Total de organização de eventos (3)
      1. Mongelli, H.. Fórum de Pró-Reitores de Graduação das Universidades Brasileiras - Encontro Regional Centro-Oeste. 2012. (Congresso).. . 0.
      2. CÁCERES, E. N. ; MONGELLI, H. ; Prasanna, V. ; CIRNE, W.. 20th International Symposium on Computer Architecture and High Performance Computing. 2008. Congresso
      3. MONGELLI, H.; MARTINS, S. L.. Curso de Qualidade - A Construção de Projetos Pedagógicos em Cursos de Computação e Informática. 2006. Outro

    Lista de colaborações

    • Colaborações endôgenas (0)



      (*) Relatório criado com produções desde 2000 até 2024
      Data de processamento: 08/08/2024 12:42:22