Antonio Argeu Moreira de Lima

Idiomas

Áreas de atuação

Participação em eventos

Produções bibliográficas

• LIMA, A. A. M. ; WEBBER, T. ; NETTO, M. A. S. ; CZEKSTER, R. M. ; DE ROSE, C. A. F. ; FERNANDES, P. . OpenMP-based Parallel Algorithms for Solving Kronecker Descriptors. In: In: Workshop on Applications for Multi and Many Core Architectures (WAMMCA'10), 2010, Petrópolis, RJ, Brazil. Proceedings of the 22nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2010. p. 55-60.

• ALMEIDA, A. V. ; LIMA, A. A. M. ; GABRIEL, D. ; HOLBIG, C. A. . Alto Desempenho em Solvers Verificados Paralelos. In: VIII Simpósio de Informática do Planalto Médio, 2008, Passo Fundo, RS. Anais do VIII Simpósio de Informática do Planalto Médio, 2008.

• GABRIEL, D. ; ALMEIDA, A. V. ; LIMA, A. A. M. ; HOLBIG, C. A. . Algoritmos Numéricos Rápidos para programas com C-XSC. In: VIII Simpósio de Informática do Planalto Médio, 2008, Passo Fundo, RS. Anais do VIII Simpósio de Informática do Planalto Médio, 2008.

• GABRIEL, D. ; LIMA, A. A. M. ; HOLBIG, C. A. . Uso da Biblioteca Intervalar C-XSC em Ambientes Paralelos. In: VII Simpósio de Informática do Planalto Médio, 2007, Passo Fundo, RS. Anais Eletrônico do VII SIPM, 2007.

• CZEKSTER, R. M. ; DE ROSE, C. A. F. ; FERNANDES, P. ; LIMA, A. A. M. ; WEBBER, T. . Kronecker Descriptors Partitioning for Parallel Algorithms. In: Spring Simulation Multi-conference (SpringSim '10), 2010, Orlando, FL, USA. Proceedings of the Spring Simulation Multi-Conference (SpringSim '10), 2010.

• LIMA, A. A. M. ; HOLBIG, C. A. . Paralelização de Solver Intervalar para a Resolução de Sistemas Lineares Esparsos. In: IX Escola Regional de Alto Desempenho, 2009, Caxias do Sul, RS, Brasil. Anais da IX Escola Regional de Alto Desempenho, 2009. v. 1. p. 213-216.

• LIMA, A. A. M. ; HOLBIG, C. A. . Paralelização de Solver Intervalar para a Resolução de Sistemas Lineares Esparsos. In: VIII Escola Regional de Alto Desempenho - ERAD, 2008, Santa Cruz do Sul, RS, Brasil. Anais da VIII Escola Regional de Alto Desempenho - ERAD, 2008.

• LIMA, A. A. M. ; DE ROSE, C. A. F. . Implementação Paralela do Algoritmo Split usando a API OpenMP. In: X Escola Regional de Alto Desempenho - ERAD, 2010, Passo Fundo, RS, Brasil. Anais da X Escola Regional de Alto Desempenho - ERAD, 2010.

• LIMA, A. A. M. ; HOLBIG, C. A. . Paralelização de Solver Intervalar para a Resolução de Sistemas Lineares Esparsos. In: XVIII Mostra de Iniciação Científica, 2008, Passo Fundo, RS, Brasil. Anais da XVIII Mostra de Iniciação Científica, 2008.

• GABRIEL, D. ; LIMA, A. A. M. ; HOLBIG, C. A. . Uso da Biblioteca de Alta Exatidão C-XSC em Ambientes Paralelos. In: XVII Mostra de Iniciação Científica, 2007, Passo Fundo, RS. Anais Eletrônico da XVII MIC-UPF, 2007.

Outras produções

Projetos de pesquisa

• 2009 - Atual

  Performance Evaluation Group (PEG), Descrição: Modelagem estocástica e avaliação de desempenho de sistemas. Algoritmos para solução de modelos markovianos com grande espaço de estados, bem como otimização de métodos numéricos adaptados a formalismos estruturados como redes de autômatos estocásticos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (5) / Doutorado: (2) . , Integrantes: Antonio Argeu Moreira de Lima - Integrante / Thais Webber - Integrante / Ricardo M. Czekster - Integrante / Paulo Fernandes - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2009 - Atual

  Modelagem Paleogeográfica e Paleoclimática de Regiões Oceânicas (PALEOPROSPEC ), Descrição: Desenvolvimento de modelos numéricos e aplicações de software que simulem a evolução paleogeográfica e paleoclimática de regiões oceânicas, com ênfase na probabilidade de estabelecimento de condições favoráveis para a deposição e preservação de sedimentos ricos em matéria orgânica. Atividades relacionadas à otimização e desenvolvimento de aplicações seqüenciais e paralelas e suporte na área de alto de desempenho.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (6) / Doutorado: (3) . , Integrantes: Antonio Argeu Moreira de Lima - Integrante / Thais Webber - Integrante / Ricardo M. Czekster - Integrante / César A. F. De Rose - Integrante / Paulo Fernandes - Coordenador / Duncan Dubugras Ruiz - Integrante.

• 2009 - Atual

  Laboratório de Alto Desempenho (LAD-PUCRS), Descrição: O LAD se propõe a ser um Centro de Pesquisa que hospeda vários projetos dedicados a investigar arquiteturas de software e hardware para aprimorar a gerência de recursos em arquiteturas para processamento de alto desempenho. Para este fim o LAD conta atualmente com máquinas agregadas onde servidores são interligados através de redes de alta velocidade. As máquinas e as soluções investigadas são colocadas a disposição dos pesquisadores da universidade. Atuação no projeto na área de gerência/instalação de clusters e servidores e suporte aos projetos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (4) / Doutorado: (3) . , Integrantes: Antonio Argeu Moreira de Lima - Integrante / Marco Aurélio Stelmar Netto - Integrante / César A. F. De Rose - Coordenador.

• 2007 - 2008

  Validação Numérica em Ambientes de Alto Desempenho, Descrição: Muitos simples exemplos mostram que os resultados computacionais obtidos quando se aplica a representação finita de números na resolução de cálculos numéricos usando a aritmética de ponto-flutuante tradicional podem estar totalmente errados. E este problema pode ocorrer de uma maneira mais crítica quando se trabalho com computação paralela. No projeto proposto, sofisticados métodos intervalares serão usados para construir uma biblioteca altamente eficiente para cálculos com validação numérica em típicos agregados de computadores. Uma variedade de solvers com validação numérica para (grandes) sistemas lineares (sistemas densos quadrados, sobre e subdeterminados, sistemas com estrutura esparsa) para dados pontuais e intervalares será investigada e realizada. Nosso objetivo é o desenvolvimento e a implementação de uma biblioteca de alto desempenho com computação verificada (High Performance Validated Computing Library HPVC Library) que soluciona rigorosamente tais sistemas com um custo não maior que 15 vezes ao custo dos solvers aproximativos (no mínimo no caso de sistemas com condicionamento moderado). Nós estamos certos que a possibilidade de calcular eficientemente rigorosos limites superiores e inferiores para sistemas lineares tornar-se-á mais e mais um requisito essencial para software numéricos nos mais diferentes campos de aplicação.... , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) . , Integrantes: Antonio Argeu Moreira de Lima - Integrante / Marcos José Brusso - Integrante / Alexandre Vinícius Almeida - Integrante / Marcelo Trindade Rebonatto - Integrante / Dimas Gabriel - Integrante / Viviane Link Lara - Integrante / Luís Paulo Arendt - Integrante / Felipe Lange Severino - Integrante / Diego Antonio Lusa - Integrante / Carlos Amaral Hölbig - Coordenador.

• 2006 - 2007

  Verified Computing Using C-XSC, Descrição: Este projeto tem como objetivo principal o desenvolvimento de ferramentas computacionais (software) com Validação Numérica para ambientes de alto desempenho (cluster de PC´s) utilizando a biblioteca C-XSC, em especial o desenvolvimento de solvers com alta exatidão para a resolução paralela de sistemas de equações lineares. Os métodos desenvolvidos nesta pesquisa serão testados do ponto de vista de exatidão e de desempenho, para se poder ter uma idéia clara de sua qualidade numérica. Juntamente com esse desenvolvimento, a biblioteca C-XSC será otimizada e alterada, tornando-a mais amigável ao usuário, em especial na elaboração de programas com uma notação mais próxima à notação matemática usual, similar ao que acontece com a linguagem Pascal-XSC. Além disso, esse projeto visa a transferência de tecnologia e conhecimento sobre computação verificada e matemática intervalar da Alemanha para o Brasil e o intercâmbio de tecnologia e conhecimento sobre Computação de Alto Desempenho do Brasil para a Alemanha. Outro objetivo do projeto que está sendo proposto é o desenvolvimento, em conjunto com pesquisadores alemães, de artigos e relatórios científicos referentes aos temas abordados nesta pesquisa e a capacitação científica dos pesquisadores brasileiros. Após o término desse projeto espera-se atuar de maneira mais efetiva em algumas linhas de pesquisa. Pela própria natureza do projeto, pretende-se dar continuidade ao desenvolvimento de métodos numéricos computacionais com alta exatidão para ambientes computacionais de alto desempenho do tipo cluster de PC´s, neste caso não restringindo-se apenas a sistemas de equações lineares (onde este projeto é focado). O projeto obteve financiamento para a realização de missões de trabalho (Brasil para Alemanha e Alemanha para Brasil), bolsas de estudo para alunos de mestrado e doutorado envolvidos no projeto e recursos financeiros para custeio do projeto.... , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (7) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Antonio Argeu Moreira de Lima - Integrante / Alexandre Vinícius Almeida - Integrante / Carlos Amaral Hölbig - Integrante / Tiaraju Asmuz Diverio - Coordenador / Dalcidio Moraes Claudio - Integrante / Gerd Bohlender - Integrante / Mariana Lüderitz Kolberg - Integrante / Rudi Klatte - Integrante.