Tiarajú Asmuz Divério

Professor Titular do Departamento de Informática Teórica do Instituto de Informática da UFRGS. Aposentou-se em maio de 2017, mas manteve o vinculo de Docente Convidado do Instituto de Informática da UFRGS. Possui graduação em Licenciatura em Matemática pela Universidade Federal do Rio Grande do Sul (1981), mestrado em Computação pela Universidade Federal do Rio Grande do Sul (1986) e doutorado em Computação pela Universidade Federal do Rio Grande do Sul (1995). Preside a Comissão Editorial da Série Livros Didáticos de Informática do INF/UFRGS. Tem experiência na área de Ciência da Computação, com ênfase em Arquitetura de Sistemas de Computação, atuando principalmente nos seguintes temas: processamento de alto desempenho, aplicações de alto desempenho, sistemas lineares, teoria da computação e arquiteturas de computadores.

Informações coletadas do Lattes em 14/09/2025

Acadêmico

Formação acadêmica

Doutorado em Computação

1991 - 1995

Universidade Federal do Rio Grande do Sul
Título: Uso Efetivo da Matemática Intervalar em Supercomputadores Vetoriais
Philippe Olivier Alexandre Navaux. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Computação de Alto Desempenho; Computação Verificada; Processamento Vetorial; Processamento de Alto Desempenho; Matemática Intervalar; Aritmética de Alta Exatidão. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Setores de atividade: Informática; Educação.

Mestrado em Computação

1983 - 1986

Universidade Federal do Rio Grande do Sul
Título: Software Numérico Aplicativo e Instrucional,Ano de Obtenção: 1986
Dalcídio Moraes Claudio.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Sinai-16; Software Instrucional; Software Numérico.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Computação Verificada e Alta Exatidão. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Software Educacional Para Matemática. Setores de atividade: Informática; Educação.

Graduação em Licenciatura em Matemática

1977 - 1981

Universidade Federal do Rio Grande do Sul

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.

Espanhol

Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.

Francês

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.

Organização de eventos

DIVERIO, T. A. ; PADOIN, Edson Luiz ; BARRETO, Marcos Ennes . ERAD 2006 - Escola Regional de Alto Desempenho. 2006. (Congresso).

DIVERIO, T. A. ; CAVALHEIRO, Gerson Geraldo H . ERAD 2002 -Escola Regional de Alto Desempenho. 2002. (Congresso).

DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . ERAD 2001 - Escola Regional de Alto Desempenho. 2001. (Congresso).

Participação em eventos

ERAD 2013.ERAD 2013. 2013. (Encontro).

WSCAD SSC. Assembleia Geral da CRAD RS. 2012. (Congresso).

ERAD 2007 - Escola Regional de Alto Desempenho.ERAD 2007 - Escola Regional de Alto Desempenho. 2007. (Outra).

WSCAD 2007 - 8 Workshop em Sistemas Computacionais de Alto Desempenho. WSCAD 2007 - 8 Workshop em Sistemas Computacionais de Alto Desempenho. 2007. (Congresso).

Escola Regional de Alto Desempenho.ERAD 2006 - Escola Regional de Alto Desempenho. 2006. (Outra).

SBAC-PAD 2006 - 18 Symposium on Computer Architecture and High Performance Computing. SBAC-PAD 2006 - 18 Symposium on Computer Architecture and High Performance Computing. 2006. (Congresso).

SBAC-PAD 2007 - 19 Symposium on Computer Architecture and High Performance Computing. SBAC-PAD 2007 - 19 Symposium on Computer Architecture and High Performance Computing. 2006. (Congresso).

WSCAD 2006 - 7 Workshop em Sistemas Computacionais de Alto Desempenho. WSCAD 2006 - 7 Workshop em Sistemas Computacionais de Alto Desempenho. 2006. (Congresso).

WSPPD 2006 Workshop de Processamento Paralelo e Distribuido.Workshop de Processamento Paralelo e Distribuido. 2006. (Seminário).

ERAD 2005 Escola Regional de Alto Desempenho.ERAD 2005 Escola Regional de Alto Desempenho. 2005. (Outra).

WSCAD 2005 - 6 Workshop em Sistemas Computacionais de Alto Desempenho. WSCAD 2005 - 6 Workshop em Sistemas Computacionais de Alto Desempenho. 2005. (Congresso).

WSPPD 2005 - 3 Workshop de Processamento Paralelo e Distribuido.Workshop de Processamento Paralelo e Distribuido. 2005. (Seminário).

ERAD 2004 Escola Regional de Alto Desempenho.ERAD 2004 Escola Regional de Alto Desempenho. 2004. (Outra).

PARA 04 - Workshop on State of the art in Scientific Computing. PARA 04 - Workshop on State of the art in Scientific Computing. 2004. (Congresso).

SBAC-PAD 2004 - 16 Symposium on Computer Architecture and High Performance Computing. SBAC-PAD 2004 - 16 Symposium on Computer Architecture and High Performance Computing. 2004. (Congresso).

VECPAR 04 - High Performance Computing for Computational Science. VECPAR 04 - High Performance Computing for Computational Science. 2004. (Congresso).

WSCAD 2004 - 5 Workshop em Sistemas Computacionais de Alto Desempenho. WSCAD 2004 - 5Workshop em Sistemas Computacionais de Alto Desempenho. 2004. (Congresso).

WSPPD 2004 - 2 Workshop de Processamento Paralelo e Distribuido.Workshop de Processamento Paralelo e Distribuido. 2004. (Seminário).

ERAD 2003 - Escola Regional de Alto Desempenho.ERAD 2003 - Escola Regional de Alto Desempenho. 2003. (Outra).

ERRI 2003 - 11 Escola Regional de Informatica de Santa Catarina.Escola de Informatica da SBC Santa Catarina. 2003. (Outra).

Escola Regional de Informatica de Santa Catarina.Minicurso: Aplicando Teoria da Computação. 2003. (Outra).

SBAC-PAD 2003 - 15 Symposium on Computer Architecture and High Performance Computing. SBAC-PAD 2003 - 15 Symposium on Computer Architecture and High Performance Computing. 2003. (Congresso).

WSCAD 2003 - 4 Workshop em Sistemas Computacionais de Alto Desempenho. WSCAD 2003 - 4 Workshop em Sistemas Computacionais de Alto Desempenho. 2003. (Congresso).

WSGPPD - Workshop do GPPD da UFRGS.Workshop de Processamento Paralelo e Distribuido. 2003. (Encontro).

Congresso Nacional da Sociedade Brasileira de Computação, XXII. Congresso Nacional da Sociedade Brasileira de Computação, XXII. 2002. (Congresso).

ERAD 2002 Escola Regional de Alto Desempenho.ERAD 2002 Escola Regional de Alto Desempenho. 2002. (Outra).

PDPTA 02 - International Conference on parallel and Distributed Processing Techniques and Applications. PDPTA 02 - International Conference on parallel and Distributed Processing Techniques and Applications. 2002. (Congresso).

Salão de Iniciação Cientifica da UFRGS.Salao de Iniciação Cinetífica da UFRGS, 14 edição.. 2002. (Outra).

SBAC-PAD 2002 Symposium on Computer Architecture and High Performance Computing. SBAC-PAD 2002 - 14 Symposium on Computer Architecture and High Performance Computing. 2002. (Congresso).

SBIE - 13 Simpósio Brasileiro de Informatica na Educação.SBIE 2002 - Simpósio Brasileiro de informática na Eduação. 2002. (Simpósio).

SCAN 2002 - International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. SCAN 2002 - International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. 2002. (Congresso).

SIAM Workshop onValidated Computing. SIAM Workshop onValidated Computing. 2002. (Congresso).

VECPAR 02 - High Performance Computing for Computational Science, 5. VECPAR 02 - High Performance Computing for Computational Science. 2002. (Congresso).

WSCAD 2002 - 3 Workshop em Sistemas Computacionais de Alto Desempenho. WSCAD 2002 - 3 Workshop em Sistemas Computacionais de Alto Desempenho. 2002. (Congresso).

. SBAC-PAD 2001 - 13 Symposium on Computer Architecture and High Performance Computing. 2001. (Congresso).

9 Escola de Informatica da SBC SUL.ERI 2001 - 9 Escola de Informatica da SBC SUL. 2001. (Outra).

CASYS 01 - 5 International Conference on Computing Anticipatory Systems. CASYS 01 - 5 International Conference on Computing Anticipatory Systems. 2001. (Congresso).

CLEI 2001- 27 Conferencia Latinoamericana de Estudios en Informatica. CLEI 2001- 27 Conferencia Latinoamericana de Estudios en Informatica. 2001. (Congresso).

ERAD 2001 Escola Regional de Alto Desempenho.ERAD 2001 Escola Regional de Alto Desempenho. 2001. (Outra).

Salao de Iniciação Cientifica da UFRGS.Salão de Iniciação Científica da UFRGS, 13 Edição. 2001. (Outra).

WSCAD 2001 - 2 Workshop em Sistemas Computacionais de Alto Desempenho. WSCAD 2001 -2 Workshop em Sistemas Computacionais de Alto Desempenho. 2001. (Congresso).

12 Infoeste Semana de Informatica da FIPP.Semana de Informatica da FIPP. 2000. (Encontro).

CLEI 2000- 26 Conferencia Latinoamericana de Estudios en Informatica. CLEI 2000- 26 Conferencia Latinoamericana de Estudios en Informatica. 2000. (Congresso).

Curso de Qualidade de Cursos de Graduação da Area de Computação. Congresso Nacional da Sociedade Brasileira de Computação, XX. 2000. (Congresso).

SBAC-PAD 2000 - 12 Symposium on Computer Architecture and High Performance Computing. SBAC-PAD 2000 - 12 Symposium on Computer Architecture and High Performance Computing. 2000. (Congresso).

WSCAD 2000 -1 Workshop em Sistemas Computacionais de Alto Desempenho. WSCAD 2000 -1 Workshop em Sistemas Computacionais de Alto Desempenho. 2000. (Congresso).

SBAC-PAD 1999 - 11 Symposium on Computer Architecture and High Performance Computing. SBAC-PAD 1999 - 11 Symposium on Computer Architecture and High Performance Computing. 1999. (Congresso).

Participação em bancas

Aluno: Fernado Abrahão Afonso

DIVERIO, T. A.MAILLARD, Nicolas Bruno. Interface MPI com C#. 2008. Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul.

Aluno: Claudio Schepke

Asmuz Diverio, TiarajuMAILLARD, Nicolas BrunoNAVAUX, Philippe Olivier Alexandre. Distribuição de Dados para Implementações Paralelas do Método de Lattice Boltzmann.. 2007. Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul.

Aluno: JOSE FRANK VIANA DA SILVA

BEDEGRAL, B.R.CAsmuz Diverio, Tiaraju; Silva, I S. Uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento controlado. 2007. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Leslie Harlley Watter

DIVERIO, T. A.HEXSEL, Roberto A; ALBINI, Luiz Carlos Pessoa. Avaliação de Desempenho do Protocolo LLC no Kernel do Linux em um Cluster de Computadores. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Guilherme Galante

DIVERIO, T. A.NAVAUX, Philippe Olivier AlexandreMAILLARD, Nicolas BrunoCHARAO, Andrea Schwertner. Métodos Multigrid Paralelos em Malhas não Estruturadas Aplicados à simulação de Problemas de dinâmica de Fluidos Computacional e Transferencia de Calor. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: [Nome removido após solicitação do usuário]

DIVERIO, T. A.MAILLARD, Nicolas BrunoYAMIN, Adenauer CorreaCAVALHEIRO, Gerson Geraldo HNAVAUX, Philippe Olivier Alexandre. Escalonamento Estático de Programas MPI. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Shirlei Ines Sulbach

DIVERIO, T. A.TOSCANI, Laira VieiraRIBEIRO, LeilaMOREIRA, Alvaro FreitasMARTINI, Alfio Ricardo. Definição, Especificação Formal e Análise de Complexidade do Jogo Diferencial Lobos e Cordeiros. 2005. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Leonardo Alves de Paula e Silva

DIVERIO, T. A.NAVAUX, Philippe Olivier AlexandreMAILLARD, Nicolas BrunoSTEIN, Benhur de Oliveira. Implementação da Biblioteca de Comunicação DECK sobre o padrao de Protocolo de Comunicação em nível de usuário VIA. 2005. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Eduardo Rocha Rodrigues

DIVERIO, T. A.STEPHANY, StephanPRETO, Airam Jonatas; SIMÕES, Demigio José; GRANATO, Enzo. Sistema para simulação interativa de Dinâmica Molecular em um ambiente paralelo. 2005. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: André Luís Martinotto

DIVERIO, T. A.GEYER, Cláudio Fernando ResinMAILLARD, Nicolas BrunoNAVAUX, Philippe Olivier Alexandre. Resolução de Sistemas de Equações Lineares atraves de Métodos de Decomposição de Dominio. 2004. Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul.

Aluno: Rodrigo Araujo Real

DIVERIO, T. A.GEYER, Cláudio Fernando ResinPALAZZO, Luiz Antonio MoroNAVAUX, Philippe Olivier Alexandre. TiPs Uma Proposta de Escalonamento Direcionada a Computação Pervasiva. 2004. Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul.

Aluno: Sabrina Bergoch Monteiro Sambatti

DIVERIO, T. A.VELHO, Haroldo Fraga de CamposSTEPHANY, StephanPRETO, Airam Jonatas. Diferentes estratégias de paralelização de um algoritmo genético epidêmico aplicadas na solução de problemas inversos.. 2004. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Mônica Xavier Py

DIVERIO, T. A.TOSCANI, Laira VieiraMOREIRA, Alvaro FreitasOLIVEIRA, Flávio Moreira deCOSTA, Antônio Carlos da Rocha. Análise da maquina de Turing Persistente com Múltiplas fitas de trabalho. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: André Antônio pArmeggiani

DIVERIO, T. A.CESAR NETTO, João; PEREIRA, Carlos Eduardo;CECHIN, Sergio Luis. LAR Laboratorio de Automação Residencial para Analise Comparativa entre Jini e UPnP. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Delcino Picinin Júnior

DIVERIO, T. A.GEYER, Cláudio Fernando ResinNAVAUX, Philippe Olivier AlexandreRIZZI, Rogério Luiz. Paralelizações de métodos numericos em clusters empregando as bibliotecas mpich, deck e pthreads. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Ingrid de Vargas Lima

DIVERIO, T. A.FRANCIOSI, Beatriz Regina TavaresPIMENTA, Marcelo SoaresMEDEIROS, Marilu Fontoura deWAGNER, Paulo Rech. Chatmath: Ferramenta de Comunicação Sincrona para troca de formalismos matemáticos atraves da WEB. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Carlos Tadeu Queiróz de Morais

DIVERIO, T. A.MENEZES, P. F. B.VICARI, Rosa Maria; CAMARGO, Murilo Silva de. Hyper-automato Avaliação interativa de alunos em cursos na web baseados em automatos finitos. 2002. Dissertação (Mestrado em Ciências Biológicas (Bioquímica)) - Universidade Federal do Rio Grande do Sul.

Aluno: Elias César Araújo de Carvalho

DIVERIO, T. A.NAVAUX, Philippe Olivier AlexandreWEBER, Taisy Silva; GONÇALVES, R. A. L.. Particionamento de grafos de aplicações e mapeamento em grafos de arquiteturas heterogêneas. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Fabio Victor Pfeiff

DIVERIO, T. A.MENEZES, P. F. B.COSTA, Antônio Carlos da RochaHAEUSLER, Edward HermannRODRIGUES, V. M.. CaTLeT Ferramenta Computacional de Apoio ao Ensino Aprendizado de Teoria das Categorias. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Tânia Kist

DIVERIO, T. A.LIMA, J. V.RIBEIRO, Alexandre MorettoFRANCIOSI, Beatriz Regina TavaresVICARI, Rosa Maria. Especificação de uma metodologia de avaliação para ambientes de gerenciamento de cursos a distancia. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Ricardo Ferreira de Oliviera

DIVERIO, T. A.; OLIVEIRA, J. B.;OLIVEIRA, Flávio Moreira deFERNANDES, Paulo Henrique Lemelle. SIMPOL um ambiente experimental para manipulação de polinômios baseado em LISP. 2002. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Fabio Abreu Dias de Oliviera

DIVERIO, T. A.NAVAUX, Philippe Olivier AlexandreCARISSIMI, Alexandre da SilvaCAVALHEIRO, Gerson Geraldo H. Uma Biblioteca para programação paralela por troca de mensagem de clusters baseados na tecnologia SCI. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Marcia Rodrigues Notare

DIVERIO, T. A.FRANCIOSI, Beatriz Regina TavaresCAMPOS, Marcia de BorbaMENEZES, P. F. B.VICARI, Rosa Maria. Um sistema de aprendizagem de demonstrações em geometria euclidiana. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Marco Antônio de Castro Barbosa

DIVERIO, T. A.TOSCANI, Laira VieiraRIBEIRO, LeilaBAZZAN, Ana Lucia CetertichORTH, Afonso Inacio. ANAC Uma ferramenta para a automatização da analise da complexidade de algoritmso. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Ana Paula Canal

DIVERIO, T. A.CARISSIMI, Alexandre da SilvaAUDE, Júlio SalekTOSCANI, Laira Vieira. Paralelização de Métodos de Resolução de Sistemas Lineares Esparsos com o DECK em cluster de PCs. 2000. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Carlos Morelli Dutra da Silveira

DIVERIO, T. A.TOSCANI, Laira VieiraOLIVIERA, Romulo Silva deMULLER, Felipe Martins. Estratégia de Tendenciosidade no Grasp. 2000. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Júlio Henrique Araújo Pereira Machado

DIVERIO, T. A.MENEZES, P. F. B.TOSCANI, Laira VieiraVELOSO, Sheila R Murgel. Hyper-Automaton: Hipertextos e Cursos na WEB usando automatos finitos com saida. 2000. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Marcos Ennes Barreto

DIVERIO, T. A.NAVAUX, Philippe Olivier AlexandreDE ROSE, C. A. F.GEYER, Cláudio Fernando Resin; BRIAT, Jacques. DECK Um ambiente para programação paralela em agentes de multiprocessadores. 2000. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Eustáquio Alcides Martinez Jara

DIVERIO, T. A.BARÁN, B.. Una Resolucion Intervalar Paralela del Problema del Flujo de Potencia Electra. 2000. Dissertação (Mestrado em Maestria En Ingenieria de Sistemas) - Universidad Nacional de Asunción.

Aluno: André Luis Andrejew Ferreira

DIVERIO, T. A.; OLIVEIRA, J. B.;CUNHA, Rudnei Dias daCLAUDIO, Dalcídio Moraes. Considerações sobre Avaliação de software no ensino de cálculo. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Rafael Linden Sagula

DIVERIO, T. A.. Modelagem Analítica de Arquiteturas Superescalares. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Débora Schuch da Rosa

DIVERIO, T. A.TOSCANI, Laira VieiraCLAUDIO, Dalcídio Moraes; MARTINS, Weber; SHINTING, Wu. Complexidade Média Algoritmica: Uma Metodologia para o seu Cálculo. 1997. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Renata Hax Sander Reiser

DIVERIO, T. A.CLAUDIO, Dalcídio MoraesTOSCANI, Laira VieiraACIOLY, Benedito Melo; LONGHI, Villi Vitório. Estudo da Categoria Computável dos Espaços Coerentes Gerados por Conjuntos Básicos com Aplicação em Análise Real. 1997. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Úrsula Adriane Lisbôa Fernandes

DIVERIO, T. A.CLAUDIO, Dalcídio MoraesNAVAUX, Philippe Olivier AlexandreBARÁN, B.. Núcleo de Aritmética de Alta Exatidao da Biblioteca Intervalar libavi. 1997. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Carlos Amaral Hölbig

DIVERIO, T. A.NAVAUX, Philippe Olivier AlexandreCLAUDIO, Dalcídio MoraesBRUNETTO, Maria Angelica CamargoCUNHA, Rudnei Dias da. Métodos Intervalares para resolução de sistemas de equações lineares. 1996. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Carlos Amaral Hölbig

NAVAUX, Philippe Olivier AlexandreMAILLARD, Nicolas BrunoREISER, Renata Hax SanderDIMURO, Graçaliz PereiraDIVERIO, T. A.CLAUDIO, Dalcídio Moraes. Ambiente de Alto Desempenho com Alta Exatidão para Resolução de Problemas. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Ricardo Vargas Dorneles

DIVERIO, T. A.NAVAUX, Philippe Olivier Alexandre; SILVA, Renato Simoes;PANETTA, JairoPASIN, Marcelo. Particionamento de Domínio e Balanceamento de Carga no modelo HIDRA. 2003. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Denise Stringhini

DIVERIO, T. A.NAVAUX, Philippe Olivier AlexandreCOSTA, Celso Maciel daPANETTA, Jairo. Depuração de Programas Paralelos Projeto de uma interface intuitiva. 2002. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Jorge Luis Victória Barbosa

DIVERIO, T. A.GEYER, Cláudio Fernando ResinPRICE, Ana Maria de AlencarCAVALHEIRO, Gerson Geraldo HSATO, Liria Matsumoto. Holoparadigma Um modelo multiparadigma orientado ao desenvolvimento de software distribuido. 2002. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Rogério Luis Rizzi

DIVERIO, T. A.NAVAUX, Philippe Olivier Alexandre; MOURA, Carlos Antonio de; SILVA, Renato Simoes. Modelo computacional paralelo para a hidrodinamica e para o transporte de substancias bidimensionais e tridimensional. 2002. Tese (Doutorado em Ciência do Solo) - Universidade Federal do Rio Grande do Sul.

Aluno: Vinicius Gadis Ribeiro

DIVERIO, T. A.. Seguranca de Software. 2001. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Marcos Ennes Barreto

DIVERIO, T. A.GEYER, Cláudio Fernando Resin. Processamento Paralelo. 2001. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Adenauer Correa Yamim

DIVERIO, T. A.CAVALHEIRO, Gerson Geraldo H. Processamento Distribuido. 2000. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Paulo Werlang de Oliveira

DIVERIO, T. A.; OLIVEIRA, J. B.. Matematica da Computacao. 2000. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Jorge Luis Victória Barbosa

DIVERIO, T. A.CAVALHEIRO, Gerson Geraldo H. Processamento Distribuído. 1999. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Javier García López

DIVERIO, T. A.CLAUDIO, Dalcídio Moraes. Processamento Paralelo. 1998. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Liara Aparecida Leal

DIVERIO, T. A.. Complexidade de Algoritmos. 1996. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Aline Vieira Malanovicz

DIVERIO, T. A.BAZZAN, Ana Lucia CetertichLAMB, L. C.. Lógicas Modais: Fundamentos e Aplicações. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Alexsandra Zanetti

DIVERIO, T. A.. Remodelagem e Extensão do Simulador de Politicas de Escalonamento TAMAGOSHI. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Thiago Fernandes Moesch

DIVERIO, T. A.WEBER, Raul FernandoGRANVILLE, Lisandro Zambenedetti. Persistência e segurança no protocolo HTTP. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: INGRID DE VARGAS MITO

DIVERIO, T. A.SOUTO, Matia Aparecida MartinsMENEZES, P. F. B.. Módulo Turing Computável. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Fabiano Seyboth Mallmann

DIVERIO, T. A.. Simulação do Monte Carlo Aplicada ao caso de Compressao de coifas de juntas homocinéticas. 1997. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Rafael Linden Sagula

DIVERIO, T. A.CLAUDIO, Dalcídio MoraesNAVAUX, Philippe Olivier AlexandreCESAR NETTO, João. Análise de Desempenho de software Intervalares. 1997. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Alessandra Dahmer

DIVERIO, T. A.NAVAUX, Philippe Olivier AlexandreCLAUDIO, Dalcídio Moraes. Aritmética de Alto Desempenho: Uma proposta de Ferramenta. 1994. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Luis da Cunha Lamb

DIVERIO, T. A.CLAUDIO, Dalcídio MoraesNAVAUX, Philippe Olivier Alexandre. Algoritmos paralelos de ordenação: aplicações, complexidade e metodologias de desenvolvimento. 1992. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Alfio Ricardo de Brito Martini

DIVERIO, T. A.PINHO, M. S.. Uma interface do usuário baseada em classes de objetos para resolução de problemas numéricos. 1991. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Matemática Computacional) - Universidade Luterana do Brasil.

DIVERIO, T. A.. Concurso para Professor da UFSC. 2017.

Kinast, E JAsmuz Diverio, Tiaraju; Lemos, R.M.; Christoff, M.. Concurso para Professor Assistente da UERGS. 2011. Universidade Estadual do Rio Grande do Sul.

DIVERIO, T. A.MELO, Ana Crisitna Vieira deMOURA, Arnaldo Vieira. Concurso para Professor Adjunto do Departamento de Informatica Teorica. 2002. Universidade Federal do Rio Grande do Sul.

DIVERIO, T. A.; FELINTO, Alan Salvany;BRUNETTO, Maria Angelica Camargo. Concurso para Professor de Teoria da Computação. 2002. Universidade Estadual de Londrina.

DIVERIO, T. A.. Concurso para Professor de Teoria da Computação. 2002. Universidade Federal de Pelotas.

DIVERIO, T. A.CLAUDIO, Dalcídio Moraes. Concurso para Professor de Teoria da Computação. 1998. Universidade de Passo Fundo.

DIVERIO, T. A.; OLIVEIRA, J. B.;BRUNETTO, Maria Angelica Camargo. Concurso para professor adjunto junto ao Departamento de Informática Teórica da UFRGS. 1997. Universidade Federal do Rio Grande do Sul.

DIVERIO, T. A.. Programa PIBIC da UNISINOS. 2002. Universidade do Vale do Rio dos Sinos.

Orientou

Claudio Schepke

Distribuição de dados para implementações paralelas do Método de Lattice Boltzmann; 2007; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

[Nome removido após solicitação do usuário]

Escalonamento estático de programas MPI; 2006; 91 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Tiaraju Asmuz Diverio;

Guilherme Galante

Métodos Multigrid Paralelos em malhas não estruturadas aplicadas à simulação de problemas de dinâmica de fluidos computacional e transferencia de calor; 2006; 102 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Tiaraju Asmuz Diverio;

André Luís Martinotto

Resolução de sistemas de equações lineares através de métodos de decomposição de dominio; 2004; 96 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Tiaraju Asmuz Diverio;

Aline Vieira Malanovicz

Definição Inicial de um sistema de provas rotulado para lógicas do conhecimento; 2004; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Tiaraju Asmuz Diverio;

Delcino Picinin Júnior

Paralelização de Métodos Numéricos em Clusters fazendo uso das bibliotecas: MPICH, DECK e Pthreads; ; 2003; 91 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

INGRID DE VARGAS MITO

ChatMath: Ferramenta de comunicação sincrona para trroca de formalismos matemáticos através da Web; 2003; 149 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

Mônica Xavier Py

Análise da Máquina de Turing Persistente com múltiplas fitas de trabalho; 2003; 70 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

Elias Cesar Carvalho

Particionamento de Grafos de Aplicações e Mapeamento em Grafos de Arquiteturas Heterogêneas; ; 2002; 146 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Tiaraju Asmuz Diverio;

Tânia Kist

Especificação de uma Metodologia de avaliação para ambientes de gerenciamento de cursos a distância; 2002; 114 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Tiaraju Asmuz Diverio;

Marcia Rodrigues Notare

Um Sistema de Aprendizagem de Demonstrações Dedutivas em Geometria Euclidiana; 2001; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Tiaraju Asmuz Diverio;

Ana Paula Canal

Paralelização de Métodos de Resolução de Sistemas Lineares Esparsos com o DECK em um cluster de PCs; ; 2000; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

Eustáquio Alcides Martinez Jara

Una Resolución Intervalar Paralela del Problema del Flujo de Potencia Electra; ; 2000; 0 f; Dissertação (Mestrado em Maestria En Ingenieria de Sistemas) - Universidad Nacional de Asunción,; Coorientador: Tiaraju Asmuz Diverio;

Rafael Linden Sagula

Modelagem Analítica de Arquiteturas Superescalares; 1999; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

Úrsula Adriane Lisbôa Fernandes

Núcleo de Aritmética de Alta Exatidão da Biblioteca Intervalar Libavi; A; 1997; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

Carlos Amaral Hölbig

Métodos Intervalares Para Resolução de Sistemas de Equações Lineares; 1996; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Tiaraju Asmuz Diverio;

Carlos Amaral Hölbig

Ambiente de alto desempenho com alta exatidão para a resolução de problemas; 2005; 103 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Tiaraju Asmuz Diverio;

Ricardo Vargas Dorneles

Particionamento de Domínio e Balanceamento de Carga no modelo HIDRA; 2003; 136 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Tiaraju Asmuz Diverio;

Rogerio Luiz Rizzi

Modelo Computacional Paralelo para a Hidrodinâmica e para o Transporte de substâncias Bidimensional e Tridimensional; ; 2002; 246 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Tiaraju Asmuz Diverio;

Simone Pereira Ferreira

Um passo em direcao a Criação de uma Cultura de Alto Desempenho; ; 2003; 0 f; Monografia; (Aperfeiçoamento/Especialização em Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Tiaraju Asmuz Diverio;

Rodrigo Machado

Especificação de Agente de Desempenho para cluster; 2003; 80 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Tiaraju Asmuz Diverio;

Rodrigo Sanger Alves

Ferramenta para gerenciamento de cluster de alto desempenho SNMP; 2003; 63 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

Diego Fraga Contessa

Uso eficiente da Blas em clkuster; 2003; 80 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Ufrgs Cnpq Pibic; Orientador: Tiaraju Asmuz Diverio;

Aline Vieira Malanovicz

Lógicas Modais: fundamentos e aplicações; 2002; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Tiaraju Asmuz Diverio;

INGRID DE VARGAS MITO

Módulo Turing Computável; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

Rafael Linden Sagula

Análise de Desempenho de Software intervalares; 1997; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Tiaraju Asmuz Diverio;

Fabiano Seyboth Mallmann

Simulação do Monte Carlo aplicado ao caso de Compressão de coifas de juntas homocinéticas; 1997; 100 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Tiaraju Asmuz Diverio;

Alessandra Dahmer

Aritmétic de alto desempenho: uma proposta de ferramenta; 1994; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

Luis da Cunha Lamb

Algoritmos Paralelos de ordenação:aplicações, complexidade e metodologias de desenvolvimento; 1992; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Tiaraju Asmuz Diverio;

Alfio Ricardo Martini

Uma interface do usuário baseada em classes de objetos para resolução de problemas numéricos; 1991; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Matemática Computacional) - Universidade Luterana do Brasil; Orientador: Tiaraju Asmuz Diverio;

Paulo Sergio Morandi Jr

Laboratório de Tecnologias em Cluster; 2005; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Fundação da Ufrgs; Orientador: Tiaraju Asmuz Diverio;

Denise Giacomolli

Storage em cluster da Dell; 2005; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Projeto Lei de Informatica II Dell; Orientador: Tiaraju Asmuz Diverio;

BRUNO DONASSOLO

Tecnologia de Clusters; 2004; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Projeto Lei de Informatica II Dell; Orientador: Tiaraju Asmuz Diverio;

Jose Rodrigo Furianetto de Azambuja

Tecnologia de Clusters; 2004; 0 f; Iniciação Científica; (Graduando em Engenahria da Computação) - Universidade Federal do Rio Grande do Sul, Projeto Lei de Informatica II Dell; Orientador: Tiaraju Asmuz Diverio;

Leonardo Seiji Kuamoto

Diego Fraga Contessa

Laboratório de Computação de Alto Desempenho com Alta Exatidão; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

Bernardo Frederes Krämer Alcalde

Laboratório de Tecnologias em Clusters; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Fundação da Ufrgs; Orientador: Tiaraju Asmuz Diverio;

Gabriel Linden Sagula

Laboratório de Computação de Alto Desempenho com Alta Exatidão; 2003; 0 f; Iniciação Científica; (Graduando em Administração) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

MARCELO CLARO ZEMBRZUSKI

Laboratório deTecnologias em cluster; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Fundação da Ufrgs; Orientador: Tiaraju Asmuz Diverio;

Rodrigo Sanger Alves

Laboratório de Computação de Alto Desempenho com Alta Exatidão; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Ufrgs Cnpq Pibic; Orientador: Tiaraju Asmuz Diverio;

Rodrigo Machado

Laboratório de Tecnologias em Cluster; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Fundação da Ufrgs; Orientador: Tiaraju Asmuz Diverio;

Clarissa C Marquezan

Laboratório de Tecnologia de Cluster; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Tiaraju Asmuz Diverio;

Lisandro Trarbach

Modelo Hidra- hidrodinamica e transporte de massa em corpos hidricos; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Tiaraju Asmuz Diverio;

Julio Gerchman

Laboratório de Computação de Alto Desempenho com Alta Exatidao; 2003; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Ufrgs Cnpq Pibic; Orientador: Tiaraju Asmuz Diverio;

Aline Vieira Malanovicz

Texto didático para o ensino de lógica categorial para graduação; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

Karina Kohl Silveira

Laboratório de Computação de Alto Desempenho com Alta Exatidão; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Tiaraju Asmuz Diverio;

Virgina Papeé de Oliveira

Laboratório de Tecnologias em Clusters; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Fundação da Ufrgs; Orientador: Tiaraju Asmuz Diverio;

Aline Vieira Malanovicz

Laboratório de Computação de alto desempenho com alta exatião; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Ufrgs Cnpq Pibic; Orientador: Tiaraju Asmuz Diverio;

Guilherme Drehmer

Laboratório de Computação de Alto Desempenho com Alta Exatidao; 2001; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Ufrgs Cnpq Pibic; Orientador: Tiaraju Asmuz Diverio;

Luís Francisco Ramos Lima

Simulador da Máquina de Post; 1999; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Tiaraju Asmuz Diverio;

Thiago Fernandes Moesch

Simulador da Máquina de Turing; 1998; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tiaraju Asmuz Diverio;

Produções bibliográficas

Asmuz Diverio, Tiaraju ; MENEZES, P. F. B. . Série Livros Didáticos da Informática da UFRGS: trajetória de sucesso com qualidade.. Sistemas de Informação , v. 5, p. 63-68, 2010.
Amaral Holbig, Carlos ; DIVERIO, T. A. ; Moraes Claudio, Dalcidio . . Revista IEEE América Latina , v. 7, p. 114-121, 2009.
VELHO, Haroldo Fraga de Campos ; PRETO, Airam Jonatas ; STEPHANY, Stephan ; Rodrigues, E R ; PANETTA, Jairo ; Almeida, ES ; Souto, R.S. ; NAVAUX, Philippe Olivier Alexandre ; DIVERIO, T. A. ; MAILLARD, Nicolas Bruno ; DIAS, P.L.S . Grid Computing for Mesoscale Climatology: The GB-RAMS Project. Ciência e Natura , v. 27, p. 349-352, 2005.
DORNELES, Ricardo Vargas ; RIZZI, Rogério Luiz ; MARTINOTTO, André Luis ; PICININ JUNIOR, Delcino ; NAVAUX, Philippe Olivier Alexandre ; DIVERIO, T. A. . Parallel Computational Model with Dynamics Load Balancing in PC Clusters. Lecture Notes in Computer Science , v. 3042, p. 468-479, 2005.
MORANDI JR, Paulo Sergio ; ALCALDE, Bernardo Frederes Kramer ; HÖLBIG, Carlos Amaral ; DIVERIO, T. A. . A integração da Biblioteca de Alta Exatidão C-XSC em Agregados de Computadores.. Revista Eletrônica de Iniciação Científica , Porto Alegre, v. v4, p. 1-15, 2004.
ALCALDE, Bernardo Frederes Kramer ; MORANDI JR, Paulo Sergio ; HÖLBIG, Carlos Amaral ; DIVERIO, T. A. . Resolução de sistemas lineares com Alta Exatidão. Revista Eletrônica de Iniciação Científica , Porto Alegre, v. v4, n.n1, p. 1-11, 2004.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; MORANDI JR, Paulo Sergio ; ALCALDE, Bernardo Frederes Kramer . Selfverification Solvers for linear systems of equations in C -XSC. Lecture Notes in Computer Science , Berlin, v. 3019, p. 292-297, 2004.
MARTINOTTO, André Luis ; PICININ JUNIOR, Delcino ; RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; DIVERIO, T. A. . Solução Paralela de Equações Diferenciais Parciais no Modelo HIDRA. Perspectiva (Erexim) , Erechim, v. 27, n.98, p. 87-94, 2003.
DENARDI, Rúbia Medianeira ; CONTESSA, D. F. ; DIVERIO, T. A. . Uso eficiente da BLAS em Cluster. Perspectiva (Erexim) , Erechim, v. 27, n.98, p. 95-100, 2003.
NOTARE, M. R. ; DIVERIO, T. A. . Sistema para a Aprendizagem de Demonstrações da Geometria Euclidiana Plana - LEEG. Revista Brasileira de Informação na Educação , Porto Alegre, v. 11, n.1, p. 54-59, 2003.
NOTARE, M. R. ; MACHADO, J. P. ; DIVERIO, T. A. ; MENEZES, P. F. B. . Knowledge Anticipation on agents relationship in the geometry proof system. CASYS: International Journal of Computing Anticipatory Systems , Bélgica, v. 12, p. 381-394, 2002.
SILVEIRA, K. K. ; DIVERIO, T. A. . Classificação de Dados em clusters de pcs: complexidade e desempenho. Scientia (Unisinos) , São Leopoldo, v. 13, n.1, p. 1-16, 2002.
ALVES, R. S. ; CONTESSA, D. F. ; MARQUEZAN, C. C. ; DIVERIO, T. A. . Multiplicação de Matrizes: Técnicas de Otimização e Paralelização de Algoritmos. Scientia (Unisinos) , São Leopolodo, v. 13, n.1, p. 17-32, 2002.
GALANTE, Guilherme ; BALBINOT, J. I. ; RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; DIVERIO, T. A. . Processamento de Alto Desempenho aplicados a modelos computacionais de dinâmica de fluidos ambiental. Scientia (Unisinos) , Sao Leopoldo, v. 13, n.1, p. 113-122, 2002.
MARTINOTTO, André Luis ; FRIZZO, Emilia J ; DORNELES, Ricardo Vargas ; DIVERIO, T. A. . Paralelização do método GMRES com MPI e Pthreads. Scientia (Unisinos) , Sao Leopoldo, v. 13, n.1, p. 99-112, 2002.
CONTESSA, D. F. ; MARQUEZAN, C. C. ; POLINA, E. R. ; MACHADO, R. ; PY, M. X. ; DIVERIO, T. A. . Simulador da Máquina de Turing Paralela com Memória Compartilhada. Revista Eletrônica de Iniciação Científica , Campinas, v. 1, p. 1-10, 2001.
MACHADO, J. P. ; NOTARE, M. R. ; COSTA, S. A. ; DIVERIO, T. A. ; MENEZES, P. F. B. . Hyper-Automaton system applied to Geometry Demonstration Environment.. Lecture Notes in Computer Science , Berlin, v. 2178, p. 457-468, 2001.
DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre ; CLAUDIO, Dalcídio Moraes ; HÖLBIG, Carlos Amaral ; FERNANDES, U. A. L. ; SAGULA, R. L. . High Performance with High Accuracy Laboratory. Revista de Informática Teórica e Aplicada , Porto Alegre, v. 3, n.2, p. 35-54, 1997.
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Computational Arithmetic: An Updated View. Revista de Informática Teórica e Aplicada , Porto Alegre, v. 3, n.2, p. 167-181, 1997.
DIVERIO, T. A. ; FERNANDES, U. A. L. ; CLAUDIO, Dalcídio Moraes . Errors in Vector Processing and the libavi.a Library. Reliable Computing, Moscow, v. 2, n.2, p. 103-110, 1996.
DIVERIO, T. A. . Bacharelado em Matemática Computacional - uma proposta de curso. Logos, Canoas, v. 2, n.1, p. 24-33, 1990.
Asmuz Diverio, Tiaraju ; MENEZES, P. F. B. . Teoria da Computação: máquinas Universais e computabilidade. 3. ed. Porto Alegre: Grupo A/Bookman, 2011. v. 1. 288p .
DE ROSE, C. A. F. (Org.) ; Asmuz Diverio, Tiaraju (Org.) ; DORNELES, Ricardo Vargas (Org.) . ERAD 2007 ESCOLA REGIONAL DE ALTO DESEMPENHO. Porto Alegre: SBC/PUCRS/UFRGS/UCS, 2007. 138p .
DIVERIO, T. A. ; PADOIN, Edson Luiz (Org.) . ERAD 2006 ESCOLA REGIONAL DE ALTO DESEMPENHO. 1. ed. Porto Alegre: Sociedade Brasileira de Computação, 2006. v. 1. 214p .
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes ; OLIVEIRA, Paulo Werlang de . Fundamentos da Matematica Intervalar. 2. ed. Porto Alegre: Sagra Luzzatto, 2005. 92p .
DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre (Org.) ; MAILLARD, Nicolas Bruno (Org.) ; OLIVEIRA, Márcio Ramos de (Org.) . WSPPD 2004 - 2 Workshop de Processamento Paralelo e distribuído. 1. ed. Porto Alegre: Instituto de Informática da UFRGS, 2004. v. 1. 182p .
DIVERIO, T. A. ; GEYER, Cláudio Fernando Resin (Org.) ; NAVAUX, Philippe Olivier Alexandre (Org.) . Processamento Paralelo e distribuído na Informática da UFRGS. 1. ed. Porto Alegre: Instituto de Informática da UFRGS, 2003. v. 1. 200p .
DIVERIO, T. A. ; CAVALHEIRO, Gerson Geraldo H (Org.) . ERAD 2002 - ESCOLA REGIONAL DE ALTO DESEMPENHO. 1. ed. Porto Alegre: SBC, UFRGS, UNISINOS, 2002. 298p .
SOUZA, A. F. (Org.) ; DE ROSE, C. A. F. (Org.) ; REIS JUNIOR, N. C. (Org.) ; DIVERIO, T. A. (Org.) . WSCAD 2002 Workshop em Sistemas Computacionais de Alto Desempenho. 1. ed. Vitória, ES.: UFES, CRADRS , SBC, 2002. v. 1. 165p .
NAVAUX, Philippe Olivier Alexandre (Org.) ; DIVERIO, T. A. (Org.) . ERAD 2001 ESCOLA REGIONAL DE ALTO DESEMPENHO. 1. ed. Porto Alegre: SBC/UFRGS/PUCRS, 2001. v. 1. 260p .
DIVERIO, T. A. ; MENEZES, P. F. B. . Teoria da Computação: Máquinas Universais e Computabilidade. 2. ed. Porto Alegre: Editora Sagra Luzzatto LTDA, 2000. 205p .
DIVERIO, T. A. ; MENEZES, P. F. B. . Teoria da Computação: Máquinas Universais e Computabilidade. 1. ed. Porto Alegre: Editora Sagra-Luzzatto, 1999. v. 1. 205p .
DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre (Org.) ; GEYER, Cláudio Fernando Resin (Org.) . SBAC-PAD 99 Proceedings. Porto Alegre: SBC-Informática da UFRGS, 1999. 324p .
DIVERIO, T. A. . Computação de Alta Exatidão e Alto Desempenho. Pelotas: UCPel e UFPel, Escola de Métodos Formais para Qualidade de Software, 1997. v. 1. 40p .
HÖHER, C. L. ; HÖLBIG, Carlos Amaral ; DIVERIO, T. A. . Programando em Pascal XSC. Porto Alegre: Sagra-Luzzatto, 1997. v. 2. 94p .
OLIVEIRA, Paulo Werlang de ; DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Fundamentos da Matemática Intervalar. Porto Alegre: Sagra-Luzzatto, 1997. v. 1. 93pp .
DIVERIO, T. A. . Anais do I Encontro de Verão de Matemática Computacional. Porto Alegre: Instituto de Informática da UFRGS, SBC, 1996. v. 1. 35p .
CLAUDIO, Dalcídio Moraes ; DIVERIO, T. A. ; TOSCANI, Laira Vieira . Fundamentos da Matemática Computacional. Porto Alegre: CD Luzzatto, 1987. 194p .
DIVERIO, T. A. . Breve História da CRAD RS e das ERADs. In: CRADRS - Comissão Regional de Alto Desemepnho. (Org.). Caderno dos Cursos Permanentes ERAD. 1ed.Porto Alegre: Sociedade Brasileira de Computação, 2006, v. 1, p. 65-76.
HÖLBIG, Carlos Amaral ; MORANDI JR, Paulo Sergio ; CLAUDIO, Dalcídio Moraes ; DIVERIO, T. A. . Solving Real Life Applications With High Accuracy. In: Joubert, G.R.; Nagel, W.E.; Peters, F.J.; Plata, O.G.; Tirado, P.. (Org.).. (Org.). Parallel Computing: Current & Future Issues of High-End Computing.. : Jülich, 2006, v. 1, p. 317-324.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; KRÄMER, Walter . An Accurate and efficient selfverifying solver for systems with banded coefficient matrix. In: G. R Joubert; W.E.Negel; F.J. Peters; W.V Walter. (Org.). Parallel Computing software tecnology, algorithms, architectures and applications. 1ed.Amsterdam: North Holland, 2004, v. , p. 283-290.
DIVERIO, T. A. ; PICININ JUNIOR, Delcino ; MARTINOTTO, André Luis ; DORNELES, Ricardo Vargas ; HÖLBIG, Carlos Amaral ; NAVAUX, Philippe Olivier Alexandre . Parallelization of Krilov's Subspace methods in multiprocessor PC clusters. In: G. R. Joubert; W.E.Nagel; F.J. Peters; W.V.Walter (org). (Org.). Parallel Computing Software Technology algorithms, architectures and applications. 1ed.Amsterdam: Elsevier Science BV, 2004, v. 1, p. 543-550.
DIVERIO, T. A. . Aplicando Teoria da Computação. In: Angelo Augusto Frozza;. (Org.). Livro Texto da ERI 2003. 1ed.Lages SC: SBC - UNIPLAC, 2003, v. , p. 65-98.
NOTARE, M. R. ; MENDES, S. C. ; MITO, Ingrid de Vargas ; DIVERIO, T. A. . Historical Overview of computer usage in Brazilian Teaching. In: ANDERSON, J.; WATSON, D.. (Org.). Pos Conference Book WCCE 2001. 1ed.London: Kluwer Academic Publisher, 2002, v. , p. 757-766.
DIVERIO, T. A. ; MITO, Ingrid de Vargas ; MOESCH, T. F. ; LIMA, L. F. R. . Simulators: tools for teaching Theory of Computation. In: ANDERSON, J.; WATSON, D.. (Org.). Pos Conference Book WCCE 2001. 1ed.London: Kluwer Academic Publisher, 2002, v. , p. 483-493.
MENDES, S. C. ; DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Teaching of Discrete Mathematics using Functional Languages in Computer Science Courses. In: ANDERSON, J.; WATSON, D.. (Org.). Pos Conference Book WCCE 2001. 1ed.London: Kluwer Academic Publishers, 2002, v. , p. 443-451.
DIVERIO, T. A. ; TOSCANI, Laira Vieira ; VELOSO, P. S. . Complexidade de Algoritmos Paralelos. In: Diverio, T. A; Cavalheiro, G G H. (Org.). ESCOLA REGIONAL DE ALTO DESEMPENHO, ERAD, 2. Porto Alegre: SBC, UFRGS, UNISINOS, 2002, v. 1, p. 67-106.
FERREIRA, S. P. ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . Levantamento do Ensino de PAD no RS. In: Diverio, T A; Cavalheiro, G G H. (Org.). ESCOLA REGIONAL DE ALTO DESEMPENHO, ERAD, 2.. Porto Alegre: SBC, UFRGS, UNISINOS, 2002, v. 1, p. 199-226.
DIVERIO, T. A. ; MENEZES, P. F. B. . Teoria da Computação e os Profissionais da Área da computação. In: Luciana Porcher Nedel. (Org.). Livro Texto. 1ed.Porto Alegre: SBC E INSTITUTO DE INFORMATICA DA UFRGS, 2001, v. , p. 199-232.
MACHADO, J. P. ; NOTARE, M. R. ; COSTA, S. A. ; DIVERIO, T. A. ; MENEZES, P. F. B. . Hyper-Automaton system applpied to Geometry Demonstration Enviroment. In: Alexis Quesada. (Org.). Lecture Notes Computer Science. Heidelberg: Spring Verlarg, 2001, v. 2178, p. -.
DIVERIO, T. A. ; MITO, Ingrid de Vargas . Foundations for Virtual Enviroments to Support Theory of Computation Teaching. In: SYED, M.R; TARESKI,V.. (Org.). Advances Educational Technologies: multimedia, www and distance education. New York: John Wilei & Sons, 2001, v. , p. 91-96.
DIVERIO, T. A. ; SAGULA, R. L. ; CESAR NETTO, João . Performance Evaluation Technique STU and libavi.a library. In: Tibor Csendes (eD.). (Org.). Development in Reliable Computing. Dordrecht: KluWer Academic Publishers, 1999, v. , p. 131-140.
BERNARDI, K. ; LEITE, L. L. ; DIVERIO, T. A. ; NEULAND, R. ; PRIMO, T. ; MENEZES, P. F. B. . GATE: Uma ferramenta para qualificar o uso de tecnologias na Educação. In: Conferencia Ibero-americana www/internet e computação Aplicada 2014., 2014, Porto. Atas Conferencia Ibero-americana www/internet e computação Aplicada 2014.. Porto: IADS, 2014. p. 59-66.
GALANTE, Guilherme ; RIZZI, Rogério Luiz ; DIVERIO, T. A. . Métodos multigrid paralelos em malhas não estruturadas aplicadas à simulação de problemas de dinâmica de fluidos computacionais e transferência de calor.. In: WSCAD-SSC 2008 Workshop em Sistemas Computacionais de Alto Desempenho, 2008, Campo Grane. Anais. Porto Alegre: SBC, 2008. v. 1. p. 27-34.
GALANTE, Guilherme ; RIZZI, Rogério Luiz ; DIVERIO, T. A. . A multigrid-Schwarz method for solution of hydrodynomics and heat transfer problems in unstructure meshes.. In: SBAC-PAD 2007 International Symposium on Computer Archictecture and High Performance Computing, 2007, Gramado RS. Proceedings.. Los Alamitos:: IEEE Computer Sociey,, 2007. v. 1. p. 87-94.
Souto, R.S. ; ÁVILA, R. B. ; NAVAUX, Philippe Olivier Alexandre ; PY, M. X. ; MAILLARD, Nicolas Bruno ; DIVERIO, T. A. ; VELHO, Haroldo Fraga de Campos ; STEPHANY, Stephan ; PRETO, Airam Jonatas ; PANETTA, Jairo ; Rodrigues, E R ; Almeida, ES ; DIAS, P.L.S . Processing mesoscale climatology in a Grid environment.. In: CCGRID'07 International Symposium on Cluster Computing and Grid, 2007, Rio de Janeiro. Proceedings.. Hoes Lane: IEEE Computer Sociey,, 2007. v. 7. p. 363-370.
GALANTE, Guilherme ; RIZZI, Rogério Luiz ; DIVERIO, T. A. . A multigrid-DDM schur Elliptic Equation Solver in unstructured meshes. In: VECPAR 06 International Meeting on High Performance Computing for Computational Science, 2006, Rio de Janeiro. Proceedings. Rio de Janeiro: UFRJ, 2006. v. 1.
PETEK, Marko ; GOMES, Diego da Silva ; STEENBERG, C. ; GEYER, Cláudio Fernando Resin ; Asmuz Diverio, Tiaraju ; SANTORO, A.F.S. . A model to implement a files and replicas system in Clarens. In: WCGC/ VECPAR 2006 International Meeting on High Performance Computing for Computational Science, 2006, Rio de Janeiro. Proceedings.. Rio de Janeiro: UFRJ, 2006. v. 1.
VELHO, Haroldo Fraga de Campos ; PRETO, Airam Jonatas ; NAVAUX, Philippe Olivier Alexandre ; STEPHANY, Stephan ; PANETTA, Jairo ; Souto, R.S. ; Asmuz Diverio, Tiaraju ; MAILLARD, Nicolas Bruno ; Rodrigues, E R ; Almeida, ES ; DIAS, P.L.S . Grid computing for mesoscale climatology: experimental comparison of three platforms. In: WCGC/ VECPAR 2006 International Meeting on High Performance Computing for Computational Science, 2006, Rio de Janeiro. Proceedings.. Rio de Janeiro: UFRJ, 2006. v. 1. p. 1-6.
PANETTA, Jairo ; Almeida, ES ; Rodrigues, E R ; VELHO, Haroldo Fraga de Campos ; STEPHANY, Stephan ; PRETO, Airam Jonatas ; NAVAUX, Philippe Olivier Alexandre ; MAILLARD, Nicolas Bruno ; Souto, R.S. ; DIVERIO, T. A. ; DIAS, P.L.S . Climatologia em Grade: O projeto GBRAMS. In: ParGov Applications of Parallel Computing to eGov, 2006, Ouro Preto MG. Proceedings.. Brasilia: Governo do Brasil, 2006. v. 1. p. 41-47.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; MORANDI JR, Paulo Sergio ; CLAUDIO, Dalcídio Moraes . Solving Linear Systems on Cluster Computers with High Accuracy. In: PARA 04 Workshop on state of the art in scientific computing, 2005, Lyngby. Complementary Proceedings. Lyngby: University of Denmark, 2005. v. 1. p. 89-96.
DIVERIO, T. A. ; SILVA, Rafael Ennes ; MAILLARD, Nicolas Bruno ; PEZZI, Guilherme . Automatic Data flow Graph Generation of MPI Programs. In: SBAC-PAD 2005 International Symposium on Computer Architecture and High Performance Computing, 2005, Rio de Janeiro. Proceedings. Rio de Janeiro: IEEE Computer Society, 2005. v. 1. p. 93-100.
GALANTE, Guilherme ; DIVERIO, T. A. ; MARTINOTTO, André Luis ; PICININ JUNIOR, Delcino ; DORNELES, Ricardo Vargas ; RIZZI, Rogério Luiz . Comparação entre Métodos de Decomposição de Domínio e Decomposição de Dados na Solução de Sistema de Equações. In: WORKSHOP EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO, WSCAD,, 2004, Foz do Iguaçu. Anais. Porto Alegre: SBC/UFRGS, 2004. p. 98-104.
RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; MARTINOTTO, André Luis ; PICININ JUNIOR, Delcino ; NAVAUX, Philippe Olivier Alexandre ; DIVERIO, T. A. . Parallel Computational Model with Dynamic Load Balancing in PC Clusters. In: Parallel Computational Model with Dynamic Load Balancing in PC Clusters, 2004, Valencia. Conference Proceedings,. Valencia: Universidade Politecnica de Valencia, 2004. v. 2. p. 307-318.
DIVERIO, T. A. ; GEYER, Cláudio Fernando Resin ; NAVAUX, Philippe Olivier Alexandre . O Grupo de Processamento Paralelo e Distribuído da UFRGS. In: I Workshop do GPPD da UFRGS, 2003, Porto Alegre. Cadernos de Informática (UFRGS). Porto Alegre: Instituto de Informatica da UFRGS, 2003. v. 3. p. 3-26.
MITO, Ingrid de Vargas ; FRANCIOSI, Beatriz Regina Tavares ; DIVERIO, T. A. . ChatMath - Uma Ferramenta para Troca de Formalismos Matemáticos na Web.. In: SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO, SBIE, 2003, Rio de Janeiro. Anais. Rio de Janeiro: SBC, 2003. p. 101-110.
SILVA, Rafael Ennes ; PICININ JUNIOR, Delcino ; BARRETO, Marcos Ennes ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . Performance analysis of DECK collective communication service. In: SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, SBAC,, 2003, São Paulo. Proceedings. los Alamitos: IEEE, 2003. p. 64-71.
DORNELES, Ricardo Vargas ; RIZZI, Rogério Luiz ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . Dynamic Load Balancing in PC Clusters: An Application to a Multi-Physics Model. In: SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, SBAC,, 2003, São Paulo. Proceedings. Los Alamitos: IEEE, 2003. p. 192-198.
MORANDI JR, Paulo Sergio ; ALCALDE, Bernardo Frederes Kramer ; HÖLBIG, Carlos Amaral ; DIVERIO, T. A. . O uso da biblioteca de alta exatidão em agregados de computadores.. In: SIMPÓSIO DE INFORMÁTICA DO PLANALTO MÉDIO, SIPM, 2003, Passo Fundo. Anais. Passo Fundo: Universidade de Passo Fundo, 2003. p. x1-x10.
MITO, Ingrid de Vargas ; FRANCIOSI, Beatriz Regina Tavares ; DIVERIO, T. A. . Visualização de formalismos matemáticos através de ferramentas de comunicação sincrona na internet. In: Congresso Internacional de Educação a Distancia, 2003, Porto Alegre. Proceedings. Porto Alegre: ABED/PUCRS, 2003. p. x1-x10.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; ALCALDE, Bernardo Frederes Kramer ; MORANDI JR, Paulo Sergio . Solução de Sistemas Lineares densos com computação Verificada. In: Congreso Nacional de Matematica Aplicada e Computacional CNMAC, 2003, Sao Jose do Rio Preto. resumo das comunicações. Sao Jose do Rio Preto: SBMAC, 2003.
CARVALHO, E. C. ; DORNELES, Ricardo Vargas ; RIZZI, Rogério Luiz ; DIVERIO, T. A. . Modelagem de um Cluster Heterogêneo para ser utilizado em particionamento e mapeamento dinâmico de aplicações paralelizáveis, baseado em programas específicos de Benchmarks. In: WORKSHOP EM AVALIAÇÃO DE DESEMPENHO DE SISTEMAS COMPUTACIONAIS E DE COMUNICAÇÃO, WPERFORMANCE,, 2002, Florianópolis. Anais em CD/ Livro de resumos. FLORIANOPOLIS: SBC, UFSC, 2002. p. 170-170.
RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . Parallel solution in PC Clusters by Schwarz domain decomposition for three-dimensional Hydrodynamics. In: High Performance Computing for Computational Science, VECPAR 2002., 2002, Cidade do Porto. Proceedings. Cidade do Porto:: Universidade do Porto, 2002. v. III. p. 655-667.
SILVEIRA, K. K. ; DIVERIO, T. A. . Performance and Complexity of Parallel rank sort algorithm.. In: The 2002 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, PDPTA 2002., 2002, Las Vegas. Proceedings. Las Vegas: CSREA Press, 2002. v. IV. p. 2023-2028.
PICININ JUNIOR, Delcino ; RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; MARTINOTTO, André Luis ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . Parallelizing conjugate gradient method for clusters using MPI and Threads.. In: The 2002 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, PDPTA 2002., 2002, Las Vegas. Proceedings. Los Angeles: CSREA Press, 2002. v. IV. p. 2010-2015.
DIVERIO, T. A. ; MITO, Ingrid de Vargas ; FRANCIOSI, Beatriz Regina Tavares . Collaborative tool for support mathematics education.. In: INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGIES IN EDUCATION, ICTE 2002, 2002, Badajoz. proceedings. Badajoz: ICTE, 2002.
KIST, T. ; DIVERIO, T. A. ; LIMA, J. V. ; TOLLENS, L. . Benchmark de ambientes de gerenciamento de cursos a distancia. In: Simpósio Brasileiro de Informática na Educação, 2002, São Leopoldo. Anais. Porto Alegre: SBC/UNISINOS, 2002. v. 1. p. 474-483.
PICININ JUNIOR, Delcino ; MARTINOTTO, André Luis ; RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; NAVAUX, Philippe Olivier Alexandre ; DIVERIO, T. A. . Ordenação de Mensagens e Pré-Condicionamento na solução paralela de gradiente conjugado em clusters de PCS Multiprocessados.. In: WORKSHOP EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO. WSCAD, 2002, Vitoria ES. Anais. Vitoria: UFES, SBC, 2002. p. 95-102.
CARVALHO, E. C. ; RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; DIVERIO, T. A. . Estudo comparativo de software para particionamento e mapeamento de grafos.. In: WORKSHOP EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO. WSCAD, 2002, Vitoria. Anais. Vitoria: UFES, CRAD, SBC, 2002. p. 126-133.
DIVERIO, T. A. ; MITO, Ingrid de Vargas ; FRANCIOSI, Beatriz Regina Tavares . Collaborative tool for support mathematics education. In: INTERNATIONAL CONFERENCE on INFORMATION AND COMMUNICATION TECHNOLOGIES IN EDUCATION, ICTE 2002, 2002, Badajoz. Anais Eletrronico. Badajoz: ICTE, 2002.
MACHADO, J. P. ; NOTARE, M. R. ; COSTA, S. A. ; DIVERIO, T. A. ; MENEZES, P. F. B. . Hyper-Automaton system applied to Geometry Demonstration Environment. In: INTERNATIONAL CONFERENCE ON COMPUTER AIDED SYSTEM THEORY, 2001, Las Palmas de Gran Canaria. Formal Methods and Tools for Computer Sciense, Proceedings. Las Palmas de Gran Canaria: IUCTC Universidad de Las Palmas de Gran Canaria,, 2001. v. 1. p. 136-139.
CANAL, A. P. ; DIVERIO, T. A. . Paralelização do Método Gradiente Conjugado utiliando o DECK em um Cluster de PCs. In: Conferência Latino Americana de Informática, 2001, Merida - Venezuela. Annales. Mérida - Venezuela: CLEI/Universodad De Los Andes, 2001.
MENDES, S. C. ; DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Uma Metodologia Alternativa para Ensino de Matemática Discreta utilizando Linguagens Funcionais. In: Conferência Latino Americana de Informática, 2001, Mérida. Annales. Mérida- Venezuela: CLEI - Universidad de los Andes, 2001.
PICININ JUNIOR, Delcino ; DORNELES, Ricardo Vargas ; RIZZI, Rogério Luiz ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . h-Refined Krylov-Schwarz Solution for Hidrodynamics and Mass Transport in a PC Cluster.. In: Simpósio Brasileiro de Arquitetura de Computadores - Processamento de Alto Desempenho, 2001, Pirenópolis. Proceedings. Brasilia: SBC, UNB, 2001. v. 1. p. 17-24.
PY, M. X. ; TOSCANI, Laira Vieira ; LAMB, L. C. ; DIVERIO, T. A. . Learning Parallel Computing Concepts via a Turing Machines Simulator. In: Simpósio Brasileiro de Arquitetura de Computadores - Processamento de Alto Desempenho, 2001, Pirenópilis. Proceedings. Brasilia: SBC, UNB, 2001. p. 134-139.
DIVERIO, T. A. ; NOTARE, M. R. ; DREHMER, G. . Um Sistema de Aprendizagem de Demosntrações da Geometria Euclidiana Plana -LEEG. In: Simpósio Brasileiro de Informática na Educação, 2001, Vitoria (ES). Anais. Vitoria: SBC, UFES, 2001. p. 295-303.
FERREIRA, S. P. ; ALVES, R. S. ; DIVERIO, T. A. . Formalizando Algoritmos Concorrrentes. In: Congreso Argentino de Ciencias de la Computación, 2001, El Calafate. Annales. El Calafate,: CACIC, 2001.
DIVERIO, T. A. ; ZEFERINO, C.A ; RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; NAVAUX, Philippe Olivier Alexandre ; SUSIN, A. A. . Fluvial Flowing of Guaiba River Estuary: A Parallel Solution for the Shallow Water Equations Model.. In: International Meeting on Vector and Parallel Processing, 2000, Cidade do Porto. Proceedings Vecpar 2000. Cidade do Porto, 2000. p. 885-896.
DIVERIO, T. A. ; NOTARE, M. R. ; LEMOS, S. D. C. ; MITO, Ingrid de Vargas . Uso do Computador na Educação: Um Histórico Brasileiro. In: SIMPÓSIO DE INFORMÁTICA DO PLANALTO MÉDIO, 2000, Passo Fundo. Anais. Passo Fundo: Universidade de Passo Fundo, 2000.
DIVERIO, T. A. ; CANAL, A. P. . Paralelização do Gradiente Conjugado em um Cluster de PCs.. In: SEMANA DE INFORMÁTICA DA UFBA, VIII, SEMINFO, 2000, Salvador. Salvador: Universidade Federal da Bahia, 2000. p. 271-283.
DORNELES, Ricardo Vargas ; RIZZI, Rogério Luiz ; ZEFERINO, C.A ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre ; SUSIN, A. A. ; BAMPI, S. . Parallel Solution for Shallow Water Equations Using Data Decomposition. In: WORKSHOP DE SISTEMAS DISTRIBUIDOS Y PARALELISMO, 2000, Santiago, Chile. Proceedings. Santiago: USC, 2000.
DORNELES, Ricardo Vargas ; RIZZI, Rogério Luiz ; ZEFERINO, C.A ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre ; SUSIN, A. A. ; BAMPI, S. . PC Cluster Implementation of Mass Transport Two-Dimensional Model. In: SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, 2000, São Pedro, SP. Procedings of SBAC-PAD 2000. São Carlos: UFSC/SBC, 2000. p. 191-198.
JARA, E. A. M. ; DIVERIO, T. A. ; BARÁN, B. . Resolucion Paralela Intervalar del Problema de Flujo de Potencia Eléctrica Baseada en el Método de Newton Intervalar com Bisección Generalizada.. In: Conferência Latino Americana de Informática, 2000, Cidad del Mexico. Annales (disponível em CD- a000217.pdf ). Cidad del Mexico: ITSEM, 2000.
MENEZES, P. F. B. ; TOSCANI, Laira Vieira ; DIVERIO, T. A. ; RIBEIRO, Leila ; ZENI, L. C. ; GONZALES, M. M. . Proposta de Plano Pedagógico para a Matéria Matemática. In: WORKSHOP SOBRE EDUCAÇÃO EM INFORMÁTICA, wei2000, 2000, Curitiba, PR. Qualidade de Cursos de Graduação da Área de Computação e Informática. Curitiba: Champagnat, 2000. p. 65-102.
DIVERIO, T. A. ; GONÇALVES, R. A. L. ; SAGULA, R. L. ; NAVAUX, Philippe Olivier Alexandre . Process Prefetching for a Simultaneous Multithreaded Architeture. In: Symposium on Computer Architecture and High Performance Computing, 1999, Natal. SBAC-PAD 99, 11, 1999. p. 59-66.
DIVERIO, T. A. ; SAGULA, R. L. ; GONÇALVES, R. A. L. ; NAVAUX, Philippe Olivier Alexandre . A Utilização de Modelagem Analítica no Projeto de Arquiteturas de Processadores. In: Conferência Latino Americana de Informática, 1999, Assunção. Annales CLEI 99, 25, 1999. v. 1. p. 75-86.
JARA, E. A. M. ; DIVERIO, T. A. ; BARÁN, B. . Matemática Intervalar en la Resolución del Problema del Flujo de Potencia Eléctrica. In: Conferência Latino Americana de Informática, 1999, Assunção. Annales CLEI 99, 25. Assunção: CLEI, 1999. v. 2. p. 637-648.
DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre ; LINS, R. D. ; CLAUDIO, Dalcídio Moraes . ArInPar Parallel Interval Arithmetic. In: Workshop of International Evaluation of the PROTEM-CC Programs, 1998, Belo Horizonte. Proceedings do 1 Workshop of International Evaluation of the PROTEM-CC Programs, 1998. p. 382.
MENEZES, P. F. B. ; RIBEIRO, Leila ; TOSCANI, Laira Vieira ; DIVERIO, T. A. ; NUNES, D. J. ; RODRIGUES, V. M. . Desenvolvimento na Área Formal da Computação no Instituto de Informática da UFRGS. In: Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. Anais do I WBMF. Porto Alegre: Informática UFRGS, 1998. p. 1-12.
DIVERIO, T. A. ; MOESCH, T. F. ; LUTZ, F. ; CARVALHO, F. S. ; GRANDI, R. H. . Simuladores de Máquinas Abstratas: Ferramentas de Apoio ao Ensino de Informática Teórica. In: Simpósio Brasileiro de Informática na Educação, 1998, Fortaleza. Anais SBIE 98, 9. Fortaleza: SBC, 1998. p. 16-20.
DIVERIO, T. A. ; MOESCH, T. F. ; LUTZ, F. ; GRANDI, R. H. . Ferramentas de Apoio ao Ensino de Teoria da Computação. In: Conferência Latino Americana de Informática, 1998, Quito. Annales CLEI 98, 21, 1998. v. 1. p. 13-24.
DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . ArInPar: Parallel Interval Arithmetic. In: ProTeM-CC Conference Projects Fase II, 1998, Belo Horizonte. Proceedings ProTeM-CC Conference Projects Fase II. Brasília: CNPq, 1998. p. 1-23.
DIVERIO, T. A. ; FERNANDES, U. A. L. . Resultados Confiáveis no Cray. In: Conferência Latino Americana de Informática, 1997, Val Paraíso. Annales CLEI 97, 23, 1997. v. 1. p. 357-366.
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes ; HÖLBIG, Carlos Amaral ; SAGULA, R. L. ; OLIVEIRA, Paulo Werlang de . Introdução a Teoria dos Intervalos. In: Escola de Inverno de Matemática Aplicada e Computacional - EIMAC, 1996, Porto Alegre. Coletânea das Notas de Aula dos Mini-Cursos. Porto Alegre: UFRGS, 1996. p. 213-244.
DIVERIO, T. A. ; SAGULA, R. L. ; DAHMER, A. ; NAVAUX, Philippe Olivier Alexandre . Uma Ferramenta Intervalar em um Ambiente de Processamento Vetorial. In: Congreso Argentino de Ciencias de la Computación, 1996, San Luis. CACIC, 2, 1996. p. 246-257.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; SAGULA, R. L. ; FERNANDES, U. A. L. ; CLAUDIO, Dalcídio Moraes . Laboratório de Alta Exatidão e Alto Desempenho. In: Congreso Argentino de Ciencias de la Computación, 1996, San Luis. CACIC, 2, 1996. p. 235-245.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcídio Moraes . Bibliotecas Aplicativas Intervalares. In: Jornadas Argentinas de Informática e Investigación Operativa, 1996, Buenos Aires. JAIIO, 25, 1996. p. 49-60.
DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre ; FERNANDES, L. G. L. . Parallel Interval Arithmetic on Transputers. In: Workshop on Computer Arithmetic, Interval and Symbolic Computation, 1996, Recife. Anais WAI'96, 2. Recife: UFPE-DI, 1996. p. 30-32.
DIVERIO, T. A. ; HÖHER, C. L. ; SAGULA, R. L. . PCAM Methodology Study Applied to Interval Software. In: Workshop on Computer Arithmetic, Interval and Symbolic Computation, 1996, Recife. Anais WAI'96, 2. Recife: UFPE-DI, 1996. p. 39-41.
DIVERIO, T. A. ; LEIVAS, C. F. ; HÖLBIG, Carlos Amaral . The Library of Interval Methods: libselint.a. In: Worshop on Computer Arithmetic, Interval and Symbolic Computation, 1996, Recife. Anais WAI'96, 2. Recife: UFPE-DI, 1996. p. 55-57.
DIVERIO, T. A. ; SAGULA, R. L. . Interval Software Performance: introduction study. In: Worshop on Computer Arithmetic, Interval and Symbolic Computation, 1996, Recife. Anais WAI'96, 2. Recife: UFPE-DI, 1996. p. 79-81.
DIVERIO, T. A. ; FERNANDES, U. A. L. . High Accuracy Arithmetic in the Cray. In: Workshop on Computer Arithmetic, Interval and Symbolic Computation, 1996, Recife. Anais WAI'96, 2. Recife: UFPE-DI, 1996. p. 33-35.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcídio Moraes . Interval Methods for Solution of Systems of Linear Equations. In: Workshop on Computer Arithmetic, Interval and Symbolic Computation, 1996, Recife. Anais WAI'96, 2. Recife: UFPE-DI, 1996. p. 42-44.
DIVERIO, T. A. ; FRANCIOSI, Beatriz Regina Tavares . Experiência do GMC no Desenvolvimento de Software Instrucional. In: Conferência Latino Americana de Informática, 1996, Santafé de Bogotá. Annales CLEI 96, 22, 1996. v. 2. p. 1003-1012.
DIVERIO, T. A. ; HÖHER, C. L. ; NAVAUX, Philippe Olivier Alexandre ; PAGOT, C. A. . Linguagens para Computação Científica - características desejáveis. In: Congresso Nacional da Matemática Aplicada e Computacional, 1995, Curitiba. CNMAC 95, 18. Curitiba: UFPR, 1995. v. 1. p. 398-402.
DIVERIO, T. A. ; TARTARUGA, I. G. P. . Noções de Verificação Automática do Resultado. In: Congresso Nacional da Matemática Aplicada e Computacional, 1995, Curitiba. CNMAC 95, 18. Curitiba: UFPR, 1995. v. 1. p. 380-384.
DIVERIO, T. A. ; SAGULA, R. L. ; LEIVAS, C. F. . A Interface da Biblioteca Intervalar Libavi.a. In: Congresso Nacional da Matemática Aplicada e Computacional, 1995, Curitiba. Anais CNMAC 95, 18. Curitiba: UFPR, 1995. v. 1. p. 143-146.
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes ; NAVAUX, Philippe Olivier Alexandre . Biblioteca de Rotinas Intervalares em Ambiente Vetorial. In: Congresso Nacional da Matemática Aplicada e Computacional, 1995, Curitiba. CNMAC 95, 18. Curitiba: UFPR, 1995. v. 1. p. 147-149.
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes ; NAVAUX, Philippe Olivier Alexandre . Alto Desempenho e Eficiência em Processamento Numérico. In: Simpósio Brasileiro de Arquitetura de Computadores - Processamento de Alto Desempenho, 1995, Canela. SBAC-PAD, 7. Porto Alegre: UFRGS/SBC, 1995. p. 257-269.
DIVERIO, T. A. ; DAHMER, A. . Processamento Vetorial e Aritmética Intervalar. In: Seminário de Supercomputação Aplicada, 1994, Porto Alegre. Anais SUPERCOMP 94. Porto Alegre: CESUP/UFRGS, 1994. p. 253-256.
DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre ; PORCIÚNCULA, C. B. . Uso de Transputers na Matemática Intervalar. In: Congresso Nacional da Matemática Aplicada e Computacional, 1994, Vitória. CNMAC 94, 17, 1994. v. 1. p. 132-136.
DIVERIO, T. A. ; FERNANDES, U. A. L. . Aplicações da Matemática Intervalar. In: Congresso Nacional da Matemática Aplicada e Computacional, 1994, Vitória. CNMAC 94, 17, 1994. v. 1. p. 374-378.
DIVERIO, T. A. ; TARTARUGA, I. G. P. ; TOSMANN, I. R. . Métodos Intervalares Iterativos para Resolução de Sistemas de Equações Lineares. In: Congresso Nacional da Matemática Aplicada e Computacional, 1994, Vitória. CNMAC 94, 17, 1994. v. 1. p. 325-329.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral . A Proximidade da Singularidade dos Sistemas de Equações Lineares. In: Congresso Nacional da Matemática Aplicada e Computacional, 1994, Vitória. CNMAC 94, 17, 1994. v. 1. p. 304-308.
DIVERIO, T. A. ; FRANCIOSI, Beatriz Regina Tavares ; LEYSER, M. . Sistema Instrucional LEPMAC: relato de uma experiência. In: Simpósio Brasileiro de Informática na Educação, 1993, Recife. Anais SBIE, 4. Recife: SBC, 1993. p. 85-94.
DIVERIO, T. A. ; MARTINI, Alfio Ricardo ; PINHO, M. S. . MACOBJ - A Class-Based Tool for Numerical Problem Solving. In: Conferência Latino Americana de Informática, 1992, Las Palmas de Gran Canaria. Annales CLEI 92, 18, 1992. p. 722-727.
DIVERIO, T. A. ; LAMB, L. C. ; OLIVEIRA, A. C. . Software de Apoio ao Ensino de Estatística Orientado a Objetos. In: Congresso Ibero-Americano de Informática Educativa, 1992, Santo Domingo. Memórias del Congreso Iberoamericano de Informática Educativa, 1992. v. 1. p. 217-223.
DIVERIO, T. A. ; KORZENOWSKI, H. ; LEYSER, M. ; CLAUDIO, Dalcídio Moraes . Versões Intervalares do Método de Newton. In: Reunião Regional da Sociedade Brasileira de Matemática Aplicada e Computacional, 1991, Rio Claro. Anais Reunião Regional da SBMAC, 14. Semana de Estudos da Computação da UNESP, 1, 1991. v. 1. p. 46-48.
DIVERIO, T. A. ; LAMB, L. C. ; OLIVEIRA, A. C. . Desenvolvimento de Software Estatístico Orientado a Objetos. In: Reunião Regional da Sociedade Brasileira de Matemática Aplicada e Computacional, 1991, Rio Claro. Anais Reunião Regional da SBMAC, 14. Semana de Estudos da Computação da UNESP, 1, 1991. v. 1. p. 109-111.
DIVERIO, T. A. . Vetorização e Paralelização - Técnicas de Programação. In: Reunião Regional da Sociedade Brasileira de Matemática Aplicada e Computacional, 1991, Rio Claro. Anais Reunião Regional da SBMAC, 14. Semana de Estudos da Computação da UNESP, 1, 1991. v. 1. p. 101-103.
DIVERIO, T. A. ; MARTINI, Alfio Ricardo . Interfaces de Software Matemáticos - Sistemas Orientados por Comandos. In: Simpósio Brasileiro de Informática na Educação, 1991, Porto Alegre. SBIE 91, 2, 1991.
DIVERIO, T. A. ; LAMB, L. C. ; OLIVEIRA, A. C. ; CLAUDIO, Dalcídio Moraes . Experiência de Ensino de Linguagens Formais Através de Software de Apoio. In: Simpósio Brasileiro de Informática na Educação, 1991, Porto Alegre. SBIE 91, 2, 1991.
MARTINI, Alfio Ricardo ; DIVERIO, T. A. . A descrição de uma Interface Gráfica Interativa para Matemática Computacional. In: Conferência Latino Americana de Informática, 1991, Caracas. Annales. Caracas, Venezuela: USB, 1991. v. 1. p. 949-969.
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes ; FRANCIOSI, Beatriz Regina Tavares . Software Instrucionais em Matemática - experiência e evolução na matemática da UFRGS. In: Simpósio Brasileiro de Informática na Educação, 1990, Rio de Janeiro. SBIE 90, 1, 1990. p. 124-136.
DIVERIO, T. A. ; ROTAVA, T. M. ; TRINDADE, A. L. O. . SINAI-AM: Software Interativo Numérico Aplicativo e Instrucional em Ambiente Multiprogramável. In: Congressso Nacional de Informática, 1988, Rio de Janeiro. SUCESU'88, 1988. v. 1. p. 1082-1085.
DIVERIO, T. A. ; ROMBALDI, V. . SINAI-16 - um exemplo de software instrucional. In: Congresso Nacional da Matemática Aplicada e Computacional, 1987, Gramado. CNMAC 87, 10, 1987. v. 2. p. 796-799.
DIVERIO, T. A. . Desenvolvimento de Software Numérico Instrucional. In: Congresso Nacional da Matemática Aplicada e Computacional, 1987, Gramado. CNMAC 97, 10, 1987. v. 2. p. 225-229.
DIVERIO, T. A. ; TRINDADE, A. L. O. ; ROTAVA, T. M. . O Laboratório de Cálculo Numérico da PUC/RS. In: Congresso Nacional da Matemática Aplicada e Computacional, 1987, Gramado. CNMAC 87, 10, 1987. v. 2. p. 990-995.
DIVERIO, T. A. ; NEDEL, L. P. ; MACHADO, R. C. . Potencialidades do Pascal-SC na Matemática Computacional. In: Congresso Nacional da Matemática Aplicada e Computacional, 1987, Gramado. CNMAC 87, 10, 1987. v. 2. p. 670-675.
DIVERIO, T. A. . A problemática do Desenvolvimento do Software Numérico. In: Conferência Latino Americana de Informática, 1987, Bogotá. CLEI PANEL'87, 13, 1987. p. 398-414.
DIVERIO, T. A. . Resolução de Equações - uma metodologia de estudo. In: Conferência Latino Americana de Informática, 1987, Bogotá. CLEI PANEL'87, 13, 1987. p. 190-203.
GOMES, Diego da Silva ; PETEK, Marko ; GEYER, Cláudio Fernando Resin ; DIVERIO, T. A. . Um sistema de gerencia de réplicas para grades baseado em redes par-a-par.. In: ERAD2007 Escola Regional de Alto Desempenho, 2007, Porto Alegre. Anais. Porto Alegre: SBC/PUCRS/UFRGS, 2007. v. 1. p. 79-80.
NEVES, Marcelo Veigas ; MAILLARD, Nicolas Bruno ; DIVERIO, T. A. . Escalonamento dinâmico de programas MPI com migração de processos.. In: ERAD2007 Escola Regional de Alto Desempenho, 2007, Porto Alegre. Anais. Porto Alegre: SBC/PUCRS/UFRGS, 2007. v. 1. p. 53-54.
ROMANO, G. ; DIVERIO, T. A. ; MAILLARD, Nicolas Bruno . Paralelização do algoritmo de geração de cadeias aleatórias contínuas de carbono.. In: ERAD2007 Escola Regional de Alto Desempenho, 2007, Porto Alegre. Anais. Porto Alegre: SBC/PUCRS/UFRGS, 2007. v. 1. p. 65-66.
SCHEPKE, Claudio ; DIVERIO, T. A. ; MAILLARD, Nicolas Bruno . Paralelização do modelo bidimensional do método de Lattice Boltzmann.. In: ERAD2007 Escola Regional de Alto Desempenho, 2007, Porto Alegre. Anais. Porto Alegre: SBC/PUCRS/UFRGS, 2007. v. 1. p. 67-68.
SCHEPKE, Claudio ; Asmuz Diverio, Tiaraju ; MAILLARD, Nicolas Bruno . Influência das estratégias de particionamento de dados no desempenho de aplicações numéricas paralelas.. In: WSPPD2005 Workshop de Processamento Paralelo e Distribuído, 2007, Porto Alegre. Anais. Porto Alegre: Informática da UFRGS, 2005. v. 1. p. 87-90.
GALANTE, Guilherme ; RIZZI, Rogério Luiz ; DIVERIO, T. A. . Solução Paralela de sistemas de equações através de métodos multigrid. In: Escola REGIONAL DE ALTO DESEMPENHO, ERAD, 2006, Ijui. Anais. Porto Alegre: Sociedade Brasileira de Computação, 2006. v. 1. p. 99-100.
GOMES, Diego da Silva ; PETEK, Marko ; DIVERIO, T. A. ; GEYER, Cláudio Fernando Resin . Middleware Clarens no contexto da fisica de altas energias. In: ESCOLA REGIONAL DE ALTO DESEMPENHO, ERAD, 2006, IJUI. Anais. Porto Alegre: Sociedade Brasileira de Computação, 2006. v. 1. p. 91-92.
HÖLBIG, Carlos Amaral ; DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Ambiente de alto desempenho com alta exatidão para resolução de problemas. In: ESCOLA Regional de Alto Desempenho, ERAD, 2006, IJUI. ANAIS. Porto Alegre: Sociedade Brasileira de Computação, 2006. v. 1. p. 63-64.
SCHEPKE, Claudio ; DIVERIO, T. A. . Uso do Método de Lattice Boltzmann em aplicações da hidrodinâmica. In: Escola REGIONAL DE ALTO DESEMPENHO, ERAD, 2006, Ijui. Anais. Porto Alegre: Sociedade Brasileira de Computação, 2006. v. 1. p. 111-112.
SILVA, Rafael Ennes ; MAILLARD, Nicolas Bruno ; DIVERIO, T. A. . Escalonamento estático de programas MPI baseado na análise de grafos. In: Escola Regional de Alto Desempenho, ERAD, 2006, Ijui. Anais. Porto Alegre: Sociedade Brasileira de Computação, 2006. v. 1. p. 77-78.
DIVERIO, T. A. ; GOMES, Diego da Silva . Tendências na Construção de Grades Computacionais. In: WSPPD 2005 - 3 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2005, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2005. v. 1. p. 51-54.
DIVERIO, T. A. ; GALANTE, Guilherme ; RIZZI, Rogério Luiz . Paralelização de métodos Multigrid para solução de sistemas de equações em clusters de PCs.. In: WSPPD 2005 - 3 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2005, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2005. v. 1. p. 23-26.
DIVERIO, T. A. ; DONASSOLO, Bruno Luis de Moura ; KUAMOTO, Leonardo Seiji ; AZAMBUJA, José Rodrigo Furlanetto de ; NAVAUX, Philippe Olivier Alexandre . Aplicação de Curso na Área de Cluster de Alto Desempenho.. In: WSPPD 2005 - 3 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2005, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2005. v. 1. p. 115-116.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcídio Moraes . Obtendo Alta Exatidão em Clusters: resolução de SELAS. In: WSPPD 2005 - 3 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2005, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2005. v. 1. p. 33-38.
DIVERIO, T. A. ; SILVA, Rafael Ennes ; PEZZI, Guilherme ; MAILLARD, Nicolas Bruno . Projeto de uma Biblioteca para o Escalonamento Estático de Programas MPI. In: WSPPD 2005 - 3 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2005, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2005. v. 1. p. 94-97.
DIVERIO, T. A. ; SCHEPKE, Claudio ; CHARAO, Andrea Schwertner ; NEVES, Marcelo Veigas . Panorama de Ferramentas para Gerenciamento de Clusters.. In: WSPPD 2005 - 3 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2005, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2005. v. 1. p. 109-112.
DIVERIO, T. A. ; MORANDI JR, Paulo Sergio ; HÖLBIG, Carlos Amaral . Análise da Integração entre as Bibliotecas C-XSC e MPICH.. In: ERAD 2005 - 5 ESCOLA REGIONAL DE ALTO DESEMPENHO, 2005, Canoas. Anais. Porto Alegre: Sociedade Brasileira de Computação CRADRS, 2005. v. 1. p. 165-168.
RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; PICININ JUNIOR, Delcino ; MARTINOTTO, André Luis ; HÖLBIG, Carlos Amaral ; NAVAUX, Philippe Olivier Alexandre ; DIVERIO, T. A. . Parallel Computational Model with Local Refinement and Dynamic Load Balancing for 3D Hydrodynamics and Substances Transportation.. In: INTERNATIONAL CONGRESS ON COMPUTATIONAL AND APPLIED MATHEMATICS, 2004, Leuven. Abstracts of ICCAM. Leuven: Katholieke Universiteit Leuven, 2004.
GALANTE, Guilherme ; RIZZI, Rogério Luiz ; MARTINOTTO, André Luis ; DIVERIO, T. A. . Solução Paralela de Sistemas de Equações Lineares através de Métodos de Decomposição de Domínio. In: Solução Paralela de Sistemas de Equações Lineares através de Métodos de Decomposição de Domínio, 2004, Pelotas. Anais da 4 ERAD. Pelotas: SBC//UFSM/UFPEL, 2004. p. 253-256.
MORANDI JR, Paulo Sergio ; ALCALDE, Bernardo Frederes Kramer ; HÖLBIG, Carlos Amaral ; DIVERIO, T. A. . O Uso da biblioteca de Alta Exatidão C-XSC no Cluster LabTeC.. In: O Uso da biblioteca de Alta Exatidão C-XSC no Cluster LabTeC., 2004, Pelotas. Anais da 4 ERAD. Pelotas: SBC//UFSM/UFPEL, 2004. p. 205-208.
ZEMBRZUSKI, Marcelo Claro ; TRARBACH, Lisandro ; MARTINOTTO, André Luis ; PICININ JUNIOR, Delcino ; DIVERIO, T. A. . Estudo comparativo na exploração de paralelismo em ambientes de memória compartilhada.. In: ESCOLA REGIONAL DE ALTO DESEMPENHO, ERAD, 2004, Pelotas. Anais da 4 ERAD. Pelotas: SBC//UFSM/UFPEL, 2004. p. 235-236.
TRARBACH, Lisandro ; ZEMBRZUSKI, Marcelo Claro ; MARTINOTTO, André Luis ; PICININ JUNIOR, Delcino ; DIVERIO, T. A. . Uso de contadores de hardware para análise de desempenho e otimização. In: ESCOLA REGIONAL DE ALTO DESEMPENHO, ERAD, 2004, Pelotas. Anais da 4 ERAD. Pelotas: SBC//UFSM/UFPEL, 2004. p. 241-244.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcídio Moraes . Resolução de sistemas lineares com alta exatidão no ambiente de agregados.. In: ESCOLA REGIONAL DE ALTO DESEMPENHO, ERAD, 2004, Pelotas. Anais da 4 ERAD. Pelotas: SBC//UFSM/UFPEL, 2004. p. 153-154.
MARTINOTTO, André Luis ; PICININ JUNIOR, Delcino ; DORNELES, Ricardo Vargas ; DIVERIO, T. A. . Paralelização de Métodos Numéricos para a solução de sistemas de equações lineares. In: Escola Regional de Alto Desempenho, ERAD, 2004, Pelotas. Anais da 4 ERAD. Pelotas: SBC//UFSM/UFPEL, 2004. p. 161-162.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcídio Moraes . Resolução de Sistemas Lineares com Alta Exatidão no cluster labtec. In: WSPPD 2004 - 2 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2004, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2004. v. 1. p. 81-86.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; MORANDI JR, Paulo Sergio ; ALCALDE, Bernardo Frederes Kramer . Integrando a biblioteca MPICH e a biblioteca C-XSCno cluster Labtec. In: WSPPD 2004 - 2 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2004, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2004. v. 1. p. 87-89.
DIVERIO, T. A. ; RIZZI, Rogério Luiz ; MARTINOTTO, André Luis ; PICININ JUNIOR, Delcino ; DORNELES, Ricardo Vargas ; GALANTE, Guilherme . UnHidra: um modelo computacional paralelo Multifisica. In: WSPPD 2004 - 2 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2004, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2004. v. 1. p. 99-102.
DIVERIO, T. A. ; SILVA, Rafael Ennes ; MAILLARD, Nicolas Bruno . Escalonamento Estático de Programas MPIusando particionamento de grafos: Estudo de Complexidade sobre o LU. In: WSPPD 2004 - 2 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2004, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2004. v. 1. p. 145-150.
PICININ JUNIOR, Delcino ; MARTINOTTO, André Luis ; RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; DIVERIO, T. A. . Paralelizações de métodos numéricos em clusters empregando bibliotecas Mpich, Deck e Pthreads.. In: Workshop do Grupo de Processamento Paralelo e Distribuído, WSGPPD II UFRGS, 1,, 2003, Porto Alegre. Caderno de Informática. Porto Alegre: Instituto de Informática da UFRGS, 2003. v. 3. p. 49-54.
DENARDI, Rúbia Medianeira ; CONTESSA, D. F. ; DIVERIO, T. A. . Utilização da BLAS em algoritmos otimizados para clusters. In: Workshop do Grupo de Processamento Paralelo e Distribuído, WSGPPD II UFRGS, 1,, 2003, Porto Alegre. Caderno de Informática. Porto Alegre: Instituto de Informática da UFRGS, 2003. v. 3. p. 55-62.
MARTINOTTO, André Luis ; PICININ JUNIOR, Delcino ; RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; DIVERIO, T. A. . Método de decomposição de domínio na solução de equações diferenciais parciais. In: Workshop do Grupo de Processamento Paralelo e Distribuído, WSGPPD II UFRGS, 1,, 2003, Porto Alegre. Caderno de Informática. Porto Alegre: Instituto de Informática da UFRGS, 2003. v. 3. p. 97-102.
DORNELES, Ricardo Vargas ; RIZZI, Rogério Luiz ; NAVAUX, Philippe Olivier Alexandre ; DIVERIO, T. A. . Um modelo paralelo de hidrodinamica e transporte de substâncias. In: Workshop do Grupo de Processamento Paralelo e Distribuído, WSGPPD II UFRGS, 1,, 2003, Porto Alegre. Caderno de Informática. Porto Alegre: Instituto de Informática da UFRGS, 2003. v. 3. p. 127-132.
HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcídio Moraes ; DIVERIO, T. A. . Computação Verificada em agregados de computadores.. In: Workshop do Grupo de Processamento Paralelo e Distribuído, WSGPPD II UFRGS, 1,, 2003, Porto Alegre. Caderno de Informática. Porto Alegre: Instituto de Informática da UFRGS, 2003. v. 3. p. 147-152.
ALCALDE, Bernardo Frederes Kramer ; MORANDI JR, Paulo Sergio ; HÖLBIG, Carlos Amaral ; DIVERIO, T. A. . Resolução de sistemas lineares com alta exatidão em ambientes de alto desempenho. In: WORKSHOP EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO, WSCAD,, 2003, São Paulo. Anais. São Paulo: SBC/USP, 2003. p. 168-171.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; MORANDI JR, Paulo Sergio ; CLAUDIO, Dalcídio Moraes . Solving Real Life applications with high accuracy. In: PARCO 05 International Conference on Parallel Computing, 2005, Málaga. Abstracts. Malaga Espanha: Universidad de Malaga, 2005. p. 98-98.
DIVERIO, T. A. ; SILVA, Rafael Ennes ; PEZZI, Guilherme ; MAILLARD, Nicolas Bruno . Escalonamento Estático de Programas MPI usando particionamento de grafos: análise da decomposição LU.. In: ERAD 2005 - 5 ESCOLA REGIONAL DE ALTO DESEMPENHO, 2005, Canoas. Anais. Porto Alegre: Sociedade Brasileira de Computação CRADRS, 2005. v. 1. p. 101-102.
DIVERIO, T. A. ; GALANTE, Guilherme ; RIZZI, Rogério Luiz . Geração de malhas e métodos de solução do modelo UnHidra.. In: ERAD 2005 - 5 ESCOLA REGIONAL DE ALTO DESEMPENHO, 2005, canoas. Anais. Porto Alegre: Sociedade Brasileira de Computação CRADRS, 2005. v. 1. p. 91-92.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcídio Moraes . Implementação de métodos numéricos em C-XSC no cluster labtec. In: ERAD 2005 - 5 ESCOLA REGIONAL DE ALTO DESEMPENHO, 2005, Canoas. Anais. Porto Alegre: Sociedade Brasileira de Computação CRADRS, 2005. v. 1. p. 117-118.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral . Solving linear systems on cluster computers with high accuracy.. In: WORKSHOP ON STATE-OF-THE-ART IN SCIENTIFIC COMPUTING, PARA 2004, 2004, Copenhagen - Lyngby. Abstracts. Copenhagen: DTU, 2004. v. 1. p. 89-96.
HÖLBIG, Carlos Amaral ; KOLBERG, Mariana Luderitz ; MORANDI JR, Paulo Sergio ; ALCALDE, Bernardo Frederes Kramer ; DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Linear Systems: Solvers with High Accuracy on Cluster Computers.. In: MODERN COMPUTATIONAL METHODS IN APPLIED MATHEMATIC, 2004, Bedlewo. Abstracts. Varsóvia: Polish Academy of Sciences/Universidade de Varsovia, 2004. p. 20-20.
HÖLBIG, Carlos Amaral ; KOLBERG, Mariana Luderitz ; CLAUDIO, Dalcídio Moraes ; DIVERIO, T. A. . Solving Linear Systems with High Accuracy on Cluster Computers. In: Annual Scientific Conference, GAMM 2004, 2004, Dresden. Book of Abstract. Dresden: GAMM/Technische Universitat Dresden, 2004. v. 1. p. 259.
DIVERIO, T. A. ; RIZZI, Rogério Luiz ; ZAGO, Raphael Laércio . Geração de Particionamento de Malhas em Coordenadas Generalizadas. In: WSPPD 2004 - 2 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2004, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2004. v. 1. p. 21-22.
DIVERIO, T. A. ; ALCALDE, Bernardo Frederes Kramer ; MORANDI JR, Paulo Sergio ; HÖLBIG, Carlos Amaral . Uma Proposta de Simulador de Ponto Flutuante. In: WSPPD 2004 - 2 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2004, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2004. v. 1. p. 25-26.
DIVERIO, T. A. ; RIZZI, Rogério Luiz ; SCHMIDT, Cristine Cunha . O Modelo ELCIRC como Benchmark para o Modelo UnHidra. In: WSPPD 2004 - 2 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2004, Porto Alegre. Anais. Porto Alegre: Porto Alegre. v. 1. p. 89-90.
DIVERIO, T. A. ; PERLIN, Hugo Alberto ; RIZZI, Rogério Luiz . Paralelização de Esquemas Semi-Lagrangeanos: uma abordagem via decomposição de domínio. In: WSPPD 2004 - 2 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2004, Porto Alegre. Anais. Porto Alegre: Instituto de Informática da UFRGS, 2004. v. 1. p. 91-92.
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Origem da Matematica Computacional no Brasil. In: Congresso nacional da Matemática Aplicada e Computacional, 2004, Porto Alegre. Resumo das Comunicações. Porto Alegre: SBMAC / PUCRS, 2004. p. 27.
DIVERIO, T. A. ; LAMBOIA, Fabianay ; PERLIN, Hugo Alberto ; RIZZI, Rogério Luiz . Visualização científica aplicada a modelos complexos. In: WSPPD 2004 - 2 WORKSHOP DE PROCESSAMENTO PARALELO E DISTRIBUÍDO, 2004, Porto Alegre. Anais do WSPPD. Porto Alegre: Instituto de Informatica da UFRGS, 2004. v. 1. p. 19-20.
HÖLBIG, Carlos Amaral ; KOLBERG, Mariana Luderitz ; MORANDI JR, Paulo Sergio ; ALCALDE, Bernardo Frederes Kramer ; DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Solvers with High Accuracy to Linear Systems on Clusters. In: ELEVENTH INTERNATIONAL CONGRESS ON COMPUTATIONAL AND APPLIED MATHEMATICS, 2004, Leuven ICCAM 2004. Abstracts of. Leuven: Katholieke Universiteit Leuven, 2004. p. 70-70.
MORANDI JR, Paulo Sergio ; ALCALDE, Bernardo Frederes Kramer ; HÖLBIG, Carlos Amaral ; DIVERIO, T. A. . Implementação do módulo LSS em C-XSC: Solucionador de sistemas lineares com alta exatidão. In: Escola Regional de Alto Desempenho, ERAD, 2003, Santa Maria. Anais. Santa Maria: SBC/UNISINOS/UFSM, 2003. v. 1. p. 265-268.
DIVERIO, T. A. ; ALVES, R. S. ; CONTESSA, D. F. ; MARQUEZAN, C. C. ; ÁVILA, R. B. ; NAVAUX, Philippe Olivier Alexandre . Procedimentos eficazes de instalação automatizada em nodos de um agregado. In: Escola Regional de Alto Desempenho, ERAD, 2003, Santa Maria. Anais. Santa Maria: SBC/UNISINOS/UFSM, 2003. v. 1. p. 277-280.
ALCALDE, Bernardo Frederes Kramer ; MORANDI JR, Paulo Sergio ; HÖLBIG, Carlos Amaral ; DIVERIO, T. A. . Biblioteca com Alta Exatidão para solução de sistemas lineares densos. In: Workshop do Grupo de Processamento Paralelo e Distribuído, WSGPPD II UFRGS, 1,, 2003, Porto Alegre. Caderno de Informatica. Porto Alegre: Instituto de Informatica da UFRGS, 2003. v. 3. p. 27-28.
ALVES, R. S. ; MARQUEZAN, C. C. ; GRANVILLE, Lisandro Zambenedetti ; DIVERIO, T. A. . Usando SNMP no gerenciamento de clusters de alto desempenho. In: Workshop do Grupo de Processamento Paralelo e Distribuído, WSGPPD II UFRGS, 1,, 2003, Porto Alegre. Caderno de Informatica. Porto Alegre: Instituto de Informática da UFRGS, 2003. v. 3. p. 29-30.
GALANTE, Guilherme ; BALBINOT, J. I. ; RIZZI, Rogério Luiz ; DIVERIO, T. A. . Estratégias de paralelização de algoritmos numéricos. In: Workshop do Grupo de Processamento Paralelo e Distribuído, WSGPPD II UFRGS, 1,, 2003, Porto Alegre. Caderno de Informatica. Porto Alegre: Instituto de Informática da UFRGS, 2003. v. 3. p. 33-34.
GERCHMAN, Julio ; DIVERIO, T. A. . Avaliando o desempenho de clusters através de benchmarks.. In: Workshop do Grupo de Processamento Paralelo e Distribuído, WSGPPD II UFRGS, 1,, 2003, Porto Alegre. Caderno de informatica. Porto Alegre: Instituto de Informática da UFRGS, 2003. v. 3. p. 35-36.
MORANDI JR, Paulo Sergio ; ALCALDE, Bernardo Frederes Kramer ; HÖLBIG, Carlos Amaral ; DIVERIO, T. A. . Resolução de sistemas lineares esparsos com alta exatidão em clusters.. In: Workshop do Grupo de Processamento Paralelo e Distribuído, WSGPPD II UFRGS, 1,, 2003, Porto Alegre. Caderno de Informática. Porto Alegre: Instituto de Informática da UFRGS, 2003. v. 3. p. 39-40.
ZEMBRZUSKI, Marcelo Claro ; DIVERIO, T. A. . Análise comparativa em Pthreads e OpenMP. In: Workshop do Grupo de Processamento Paralelo e Distribuído, WSGPPD II UFRGS, 1,, 2003, Porto Alegre. Caderno de informática. Porto Alegre: Instituto de Informática da UFRGS, 2003. v. 3. p. 45-46.
PICININ JUNIOR, Delcino ; MARTINOTTO, André Luis ; HÖLBIG, Carlos Amaral ; RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; DIVERIO, T. A. . Parallelization of Krylov's Subspace Methods in Multiprocessor PC Clusters. In: Parallel Computing 2003, ParCo 2003,, 2003, Dresden. Abstracts. Dresden: ZHR, 2003. p. 39-39.
HÖLBIG, Carlos Amaral ; KRÄMER, Walter ; DIVERIO, T. A. . An accurate and efficient selfverifiying solver for systems with banded coefficient matrix. In: International Conference on Parallel Computing 2003, ParCo 2003,, 2003, Dresden. Abstracts. Dresden: ZHR/Technical University of Dresden, 2003. p. 58.
HÖLBIG, Carlos Amaral ; TESCHE, Paulo Sérgio ; ALCALDE, Bernardo Frederes Kramer ; DIVERIO, T. A. . Selfverifying solvers for linear systems of equations in C-XSC. In: INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING AND APPLIED MATHMATICS, PPAM 2003, 2003, Czestochowa. abstracts. Czestochowa: Czestochowa University of Technology, 2003. p. 161-161.
MARQUEZAN, C. C. ; CONTESSA, D. F. ; ALVES, R. S. ; NAVAUX, Philippe Olivier Alexandre ; DIVERIO, T. A. . An evolution of simple and efficient optimazation techniques for matrix multiplication. In: The 2002 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, PDPTA 2002., 2002, Las Vegas. Proceedings. Las Vegas: CSREA Press, 2002. v. IV. p. 2029-2034.
JARA, E. A. M. ; BARÁN, B. ; DIVERIO, T. A. . Solving electrical power load flow problems using intervals.. In: VALIDADE COMPUTING, 2002, Toronto. Extended abstracts. Toronto: SIAM, 2002. p. 114-117.
MARQUEZAN, C. C. ; CONTESSA, D. F. ; ALVES, R. S. ; DIVERIO, T. A. . Análise de complexidade e desempenho de algoritmos para multiplicação de matrizes.. In: Escola Regional de Alto Desempenho, ERAD, 2002, São Leopoldo. Anais. Porto Alegre: SBC, UFRGS, UNISINOS, 2002. v. 1. p. 239-242.
GALANTE, Guilherme ; BALBINOT, J. I. ; RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; DIVERIO, T. A. . Processamento de Alto Desempenho aplicados a modelos computacionais de dinâmica de fluídos. In: Escola Regional de Alto Desempenho, ERAD, 2002, São Leopoldo. Anais. Porto Alegre: SBC, UFRGS, UNISINOS, 2002. v. 1. p. 271-274.
SILVEIRA, K. K. ; DIVERIO, T. A. . Algoritmos paralelos para classificação de dados. In: Escola Regional de Alto Desempenho, ERAD, 2002, São Leopoldo. Anais. Porto Alegre: SBC, UFRGS, UNISINOS, 2002. v. 1. p. 235-238.
GALANTE, Guilherme ; BALBINOT, J. I. ; MARTINOTTO, André Luis ; RIZZI, Rogério Luiz ; DIVERIO, T. A. . Avaliação do Desempenho de duas versões do algoritmo do gradiente conjugado paraleizado em cluster de PCs. In: WORKSHOP EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO. WSCAD, 2002, Vitoria. Anais. Vitória: UFES, CRAD RS, SBC, 2002. p. 162-163.
HÖLBIG, Carlos Amaral ; NOTARE, M. R. ; DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes ; KRÄMER, Walter ; BOHLENDER, G. . Automatic Verification in the Environment of High Performance Computing. In: International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2002, Paris. Book of Abstract. Paris: GAMM IMACS, 2002. v. 1. p. 83-84.
HÖLBIG, Carlos Amaral ; BILIBIO, R. L. ; OTTONI, J. ; DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Computação Verificada em Ambientes de Alto Desempenho. In: Simpósio de Informática do Planalto Médio, 2002, Passo Fundo. Anais. Passo Fundo: UPF, 2002. v. 3.
RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; CANAL, A. P. ; GOULART, P. C. ; DIVERIO, T. A. . Aplicações de Alto Desempenho: Modelos Computacionais 2-D e 3-D para a Hidrodinâmica e o Transporte de Massa. In: Escola Regional de Alto Desempenho, ERAD, 2001, Gramado, RS. Anias da ERAD 2001. Porto Alegre: SBC/UFRGS/PUCRS, 2001. p. 226-228.
PY, M. X. ; FERREIRA, S. P. ; CARVALHO, E. C. ; DIVERIO, T. A. . Considerações sobre o Ensino de Alto Desempenho. In: Escola Regional de Alto Desempenho, ERAD, 2001, Gramado. Anais da ERAD 2001. Porto Alegre: SBC/UFRGS/PUCRS, 2001. p. 223-225.
NOTARE, M. R. ; DIVERIO, T. A. . Aprendiz's learning in Geometry Demonstration.. In: WORLD CONFERENCE ON COMPUTER EDUCATION, 2001, Copenhagen. Book of Abstracts. Copenhagen: IFIP/UNI.C, 2001. p. 160.
NOTARE, M. R. ; MENDES, S. C. ; MITO, Ingrid de Vargas ; DIVERIO, T. A. . Historical overview of computer usage in Brazilian Teaching.. In: WORLD CONFERENCE ON COMPUTER EDUCATION, 2001, Copenhagen. Book of Abstracts. Copenhagen: Kluver Academic Publischers, 2001. p. 79.
MITO, Ingrid de Vargas ; DIVERIO, T. A. ; MOESCH, T. F. ; LIMA, L. F. R. . Simulators: tools for teaching Theory of Computation.. In: WORLD CONFERENCE ON COMPUTER EDUCATION, 2001, Copenhagen. Proceedings. London: Kluver Acedemic Publischers, 2001. p. 68.
MENDES, S. C. ; DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Teaching of Discrete Mathematics in the Computer Science courses by using Functional Languages.. In: WORLD CONFERENCE ON COMPUTER EDUCATION, 2001, Copenhagen. Post Conference Book. London: Kluver Academic Publischers, 2001. p. 67.
MITO, Ingrid de Vargas ; DIVERIO, T. A. . Foundations of Virtual Environment to Support Theory of Computation Teaching. In: INTERNATIONAL CONFERENCE INTELLIGENT MULTIMEDIA AND DISTANCE EDUCATION, ICIMADE 2001, 2001, Fargo - Dakota do Norte. Proceedings. New York: John Wiley and Sons, 2001.
NOTARE, M. R. ; MACHADO, J. P. ; DIVERIO, T. A. ; MENEZES, P. F. B. . Knowledge Anticipation on agents relationship in the Geometry proof system. In: INTERNATIONAL CONFERENCE ON COMPUTING ANTICIPATORY SYSTEMS, CASYS 2001, 2001, Liege. Abstract Book. Liege (Belgica): HEC, 2001. p. 3.
PICININ JUNIOR, Delcino ; DORNELES, Ricardo Vargas ; RIZZI, Rogério Luiz ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . Paralelização de Métodos Iterativos do subespaço de Krylov em clusters multiprocessados. In: Congresso Nacional da Matemática Aplicada e Computacional, 2001, Belo Horizonte. Livro dos Resumos. Belo Horizonte: SBMAC - UFMG, 2001.
LOUGH, T. ; SCHIMIDT, E. ; FETT, C. ; DIVERIO, T. A. . Robotics: An Agent of Change for ICT. In: WORLD CONFERENCE ON COMPUTER EDUCATION, 2001, Copenhagen. Book of Abstract, 2001. p. 253.
REINFELD, J. ; ROY, P. V. ; DIVERIO, T. A. . The Next Generation of Programming Languages.. In: WORLD CONFERENCE ON COMPUTER EDUCATION, 2001, Copenhagen. Book of Abstract, 2001. p. 256.
DIVERIO, T. A. ; CANAL, A. P. . Paralelização do Método Gradiente Conjugado utilizando o DECK em um Cluster de PCs. In: Conferência Latino Americana de Informática, 2001, Mérida. Libro de Resúmenes. Mérida - Venezuela: CLEI - Universidad de Los Andes, 2001. p. 58-58.
MENDES, S. C. ; DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Uma Metodologia Alternativa para Ensino de Matemática Discreta Utilizando Linguagens Funcionais. In: Conferência Latino Americana de Informática, 2001, Mérida. Libro de Resúmenes. Mérida - Venezuela: Clei - Universidad de Los Andes, 2001. p. 122-122.
DIVERIO, T. A. ; CARVALHO, E. C. . Modelagem de um cluster heterogêneo para ser utilizado em particionamento e mapeamento de domínios de aplicações paralelizáveis, destinadas a resolver problemas computacionais de larga escala. In: ENCONTRO DE PRODUÇÃO CIENTÍFICA DO CESUMAR, EPCC, 2001, Maringa. Livro de Resumos. Maringa: Cesumar, 2001. p. 36.
JARA, E. A. M. ; DIVERIO, T. A. ; BARÁN, B. . Interval Newton/Generalized Bisection in the resolution of Electrical Power load Flow Problem. In: INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING, COMPUTER ARITHMETIC AND VALIDATE NUMERICS/INTERNATIONAL CONFERENCE ON INTERVAL METHODS IN SCIENCE AND ENGINEERING, 2000, Karlsruhe, Alemanha. Book of Abstracts SCAN 2000 / INTERVAL 2000. Karlsruhe: GAMM-IMACS, 2000. p. 90-91.
DIVERIO, T. A. ; RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas . Implementação da Equação do Transporte Usando o Método ADI.. In: Congresso Nacional da Matemática Aplicada e Computacional, 1999, Santos. Resumo das Comunicações CNMAC, 22. Santos: SBMAC, 1999. p. 86.
CANAL, A. P. ; DIVERIO, T. A. . Complexidade Computacional de Sistemas Lineare - uma análise comparativa. In: Congresso Nacional da Matemática Aplicada e Computacional, 1999, Santos. Resumo das Comunicações CNMAC, 22. Santos: Sociedade Brasileira de Matemática Aplicada e Computacional - SBMAC, 1999. p. 359.
DIVERIO, T. A. ; SAGULA, R. L. ; CESAR NETTO, João . Uso da Técnica STU para Avaliação do Desempenho de Bibliotecas Intervalares. In: Simpósio Brasileiro de Arquitetura de Computadores - Processamento de Alto Desempenho, 1998, Búzios. Anais SBAC-PAD 98, 10, 1998. p. 267-270.
DIVERIO, T. A. ; SAGULA, R. L. ; CESAR NETTO, João . Performance Evaluation of Interval Libraries Using STU. In: IMAGS/GAMM International Symposium on Scientific Computing, Computer Arithmetic, and Validaded Numerics, 1998, Budapest. Volume of Extended Abstracts SCAN 98, 1998. p. 149-150.
DIVERIO, T. A. ; LEMOS, S. D. C. . Métodos de Inclusão Intervalar para Integração Numérica. In: Congresso Nacional da Matemática Aplicada e Computacional, 1997, Gramado. Resumos CNMAC 97, 20, 1997. p. 592-593.
DIVERIO, T. A. ; SAGULA, R. L. . Interval Software Performance. In: International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 1997, Lyon. SCAN 97, 1997. p. III-1-3.
DIVERIO, T. A. ; FERNANDES, U. A. L. . High Accuracy Arithmetic Kernel of libavi.a interval library. In: International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 1997, Lyon. SCAN 97, 1997. p. III.4-5.
DIVERIO, T. A. ; SAGULA, R. L. . Avaliação de Desempenho de Software para Matemática Intevalar. In: Congresso Nacional da Matemática Aplicada e Computacional, 1996, Goiânia. CNMAC 96, 19, 1996. p. 220-221.
DIVERIO, T. A. ; HÖHER, C. L. ; SAGULA, R. L. . Metodologia PCAM Aplicada a Software Intervalar. In: Congresso Nacional da Matemática Aplicada e Computacional, 1996, Goiânia. CNMAC 96, 19, 1996. p. 228-229.
DIVERIO, T. A. ; BRONFMAN, P. N. ; SILVEIRA, R. . Paralelização de Operações Aritméticas Intervalares. In: Congresso Nacional da Matemática Aplicada e Computacional, 1996, Goiânia. CNMAC 96, 19, 1996. p. 234-235.
DIVERIO, T. A. ; TRARBACH, L. L. ; LEIVAS, C. F. ; HÖLBIG, Carlos Amaral . Biblioteca Aplicativa Intervalar libselint.a. In: Congresso Nacional da Matemática Aplicada e Computacional, 1996, Goiânia. CNMAC 96, 19, 1996. p. 210-211.
DIVERIO, T. A. ; PEIXOTO, C. ; HÖLBIG, Carlos Amaral . Técnicas Intervalares de Solução de Sistemas Lineares. In: Congresso Nacional da Matemática Aplicada e Computacional, 1996, Goiânia. CNMAC 96, 19, 1996. p. 124-125.
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; SAGULA, R. L. ; FERNANDES, U. A. L. ; CLAUDIO, Dalcídio Moraes . High Accuracy and High Performance Environment. In: Interval Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, 1996, Würzburg. Extended Abstracts Interval'96. Würzburg: International Journal Reliable Computing, 1996. p. 51-52.
DIVERIO, T. A. ; HÖHER, C. L. ; OLIVEIRA, Paulo Werlang de ; NAVAUX, Philippe Olivier Alexandre ; FERNANDES, L. G. L. . Interval Arithmetic & Parallelism. In: International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, 1996, Würzburg. Extended Abstracts Interval'96. Würzburg: International Journal Reliable Computing, 1996. p. 123-124.
DIVERIO, T. A. . Projetos de Pesquisa do GMC/UFRGS. In: Encontro de Verão de Matemática Computacional, 1996, Porto Alegre. Anais EVMC, 1. Porto Alegre: Informática da UFRGS, SBC, 1996. p. 28-32.
DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre ; DAHMER, A. . Una Herramienta para la Obtención de una Aritmética de Alto Desempeño. In: Congreso Internacional de Tecnologia y Aplicaciones Informáticas, 1995, Asunción. Annales CITA 95, 2. Asunción: Universidad Católica Nuestra Señora de la Asunción, 1995. p. 25.
DIVERIO, T. A. ; MACIEL, E. A. ; PORCIÚNCULA, C. B. . Aritmética Intervalar en Transputers: un ensayo. In: Congreso Internacional de Tecnologia y Aplicaciones Informáticas, 1995, Asunción. CITA 95, 2. Asunción: Universidad Católica Nuestra Señora de la Asunción, 1995. p. 25.
DIVERIO, T. A. ; FERNANDES, U. A. L. . Fallas en los Cálculos Utilizando Procesamiento Vectorial. In: Congreso Internacional de Tecnologia y Aplicaciones Informáticas, 1995, Asunción. CITA 95, 2. Asunción: Universidad Católica Nuestra Señora de la Asunción, 1995. p. 27.
DIVERIO, T. A. ; FERNANDES, U. A. L. . Fontes de Erros no Processamento Vetorial. In: Colloquia em Computação Científica e Alto Desempenho, 1995, Rio de Janeiro. C3AD'95. Rio de Janeiro: LNCC, 1995.
DIVERIO, T. A. ; FERNANDES, U. A. L. ; CLAUDIO, Dalcídio Moraes . Errors in Vector Processing. In: International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 1995, Wuppertal. SCAN 95. Wuppertal, 1995. p. 39.
DIVERIO, T. A. . Processamento Vetorial e Paralelo. In: Seminário de Supercomputação Aplicada, 1994, Porto Alegre. Anais SUPERCOMP'94. Porto Alegre: CESUP/UFRGS, 1994. p. 397-398.
DIVERIO, T. A. ; FRANCIOSI, Beatriz Regina Tavares . LEPMAC: uma experiência no desenvolvimento de software instrucional. In: Congresso Ibero-Americano de Informática Educativa, 1994, Lisboa. Actas II Congresso Ibero-americano de Informática na Educação. Lisboa: RIBIE, 1994.
DIVERIO, T. A. ; LEYSER, M. ; CLAUDIO, Dalcídio Moraes . Operações Aritméticas Podem Apresentar Surpresas?. In: Congresso Nacional da Matemática Aplicada e Computacional, 1993, Uberlândia. CNMAC 93, 16, 1993. p. 152.
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes ; MAÇADA, D. L. . O Sigma como Ferramenta de Ensino para Matemática Computacional. In: Congresso Nacional da Matemática Aplicada e Computacional, 1993, Uberlândia. CNMAC 93, 16, 1993. p. 75.
DIVERIO, T. A. ; DAHMER, A. . Uma Análise das Propriedades Algébricas dos Números no Cray. In: Congresso Nacional da Matemática Aplicada e Computacional, 1993, Uberlândia. CNMAC 93, 16, 1993. p. 108.
DIVERIO, T. A. ; BARBOSA, A. P. M. . Tirando Proveito da Vetorização no Cray. In: Congresso Nacional da Matemática Aplicada e Computacional, 1993, Uberlândia. CNAMC 93, 16, 1993. p. 110.
DIVERIO, T. A. ; TRAININI, P. R. S. . Calculador Intervalar Vetorial. In: Congresso Nacional da Matemática Aplicada e Computacional, 1993, Uberlância. CNMAC 93, 16, 1993. p. 106.
DIVERIO, T. A. ; LEYSER, M. ; KORZENOWSKI, H. . Métodos de Newton intervalar sob o Paradigma do Paralelismo. In: Congresso Nacional da Matemática Aplicada e Computacional, 1992, São Carlos. CNMAC 92, 15, 1992. p. 152.
DIVERIO, T. A. ; LEYSER, M. ; KORZENOWSKI, H. ; CLAUDIO, Dalcídio Moraes . Versions of Newton Interval Method. In: Congreso Internacional sobre Metodos Numericos en Engenieria y Ciencias Aplicadas, 1992, Concepción. Annales CIMNI, 1992.
MARTINI, Alfio Ricardo ; DIVERIO, T. A. . A Descrição de uma Interface Orientada a Objetos para Matemática Computacional. In: Congresso Nacional da Matemática Aplicada e Computacional, 1991, Nova Friburgo, RJ. Resumo das Comunicações. Rio de Janeiro: SBMAC, 1991. p. 44-44.
DIVERIO, T. A. ; OLIVEIRA, A. C. ; LAMB, L. C. ; CLAUDIO, Dalcídio Moraes . Método de Cramer Através de Estrutura de Dados Hibrida. In: Congresso Nacional da Matemática Aplicada e Computacional, 1991, Nova Friburgo. Resumo das Comunicações CNMAC 91, 14, 1991. p. 141.
DIVERIO, T. A. ; MARTINI, Alfio Ricardo . O Projeto de uma Linguagem de Comandos para Matemática Computacional. In: Congresso Nacional da Matemática Aplicada e Computacional, 1991, Nova Friburgo. Resumo das Comunicações CNMAC 91, 14, 1991. p. 49.
DIVERIO, T. A. ; KORZENOWSKI, H. ; LEYSER, M. ; CLAUDIO, Dalcídio Moraes . Ensaio de Análise das Versões Intervalares de Newton. In: Congresso Nacional da Matemática Aplicada e Computacional, 1991, Nova Friburgo. Resumo das Comunicações CNMAC 91, 14, 1991. p. 36.
DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . Vetorização de Algoritmos Numéricos no Convex C210. In: Congresso Nacional da Matemática Aplicada e Computacional, 1991, Nova Friburgo. Resumo das Comunicações CNMAC 91, 14, 1991. p. 48.
DIVERIO, T. A. ; FRANCIOSI, Beatriz Regina Tavares ; CLAUDIO, Dalcídio Moraes . Oraculus System: An Educational Program in Interactive Information Retreival System. In: International Conference on Technology an Education, 1991, Harbour Castle Westin. Proceedings International Conference on Technology an Education, 8, 1991.
DIVERIO, T. A. ; GELLER, M. . Formação de Professores e Pesquisadores em Matemática Computacional. In: Simpósio Brasileiro de Informática na Educação, 1990, Rio de Janeiro. SBIE 90, 1, 1990. p. 168.
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Matemática Computacional: um sistema de software numérico. In: Congresso Nacional da Matemática Aplicada e Computacional, 1990, Águas de Lindóia. Resumo das Comunicações CNMAC 90, 13, 1990. p. 129.
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . SINAI 16 Numerical Software: an example or a methodology. In: Siam Conference on Control in the 90's: Achievements, Opportunities, and Challenges, 1989, San Francisco, Califórnia. SIAM, 1989.
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Some Considerations about Control of Quality of Numerical Software. In: Computer Applications in Design, Simulation and Analysis, 1989, Reno, Nevada. ISMM International Conference Computer Applications in Design, Simulation and Analysis, 1989.
DIVERIO, T. A. ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcídio Moraes ; BELLAVER, V. A. . Software Numérico para o LABO8034. In: Reunião Regional da Sociedade Brasileira de Matemática Aplicada e Computacional, 1983, São Carlos. Resumo dos Trabalhos. Reunião Regional da SBMAC, I, 1983.
MARQUEZAN, C. C. ; POLINA, E. R. ; DIVERIO, T. A. . Evolução do raciocínio no desenvolvimento de algoritmos paralelos para cálculo de x2. 2001. (Apresentação de Trabalho/Congresso).
CONTESSA, D. F. ; DIVERIO, T. A. . Processamento de uma máquina de Turing Paralela: criação de cabeças e desempenho. 2001. (Apresentação de Trabalho/Congresso).
MARQUEZAN, C. C. ; POLINA, E. R. ; GAASPARY, D. F. ; DIVERIO, T. A. . Learning concurrency using Parallel Turing Machine. 2001. (Apresentação de Trabalho/Comunicação).
MALANOVICZ, A. V. ; DIVERIO, T. A. ; MENEZES, P. F. B. . Formalizando Concorrência com Lógica Categorial.. Porto Alegre: Instituto de Informática da UFRGS, 2002 (Relatório de Pesquisa).
HÖLBIG, Carlos Amaral ; NOTARE, M. R. ; ANGELO, N. P. ; DIVERIO, T. A. . Modelagem Computacional do Controle de qualidade de combustíveis: avaliação de metodologias.. Porto Alegre: Programa de Pós-Graduação em Computação, 2002 (Relatório de Pesquisa).
KIST, T. ; DIVERIO, T. A. ; LIMA, J. V. . Ambientes de Gerenciamento de cursos a distância.. Porto Alegre: Programa de Pós-Graduação em Computação, 2002 (Relatório de Pesquisa).
VIZZOTTO, Juliana Kaizer ; DIVERIO, T. A. ; MALANOVICZ, A. V. . Prototipando uma linguagem imperativa na lógica de reescrita. Porto Alegre: PPGC UFRGS, 2002 (Trabalho Individual).
MALANOVICZ, A. V. ; LAMB, L. C. ; DIVERIO, T. A. . Sistemas de dedução para lógicas modais proposicionais. Porto Alegre: PPGC da UFRGS, 2002 (Trabalho Individual).
MARTINOTTO, André Luis ; DIVERIO, T. A. . Estudo de Pré-Condicionadores para métodos Iterativos do subespaço de krylov. Porto Alegre: PPGC da UFRGS, 2002 (Trabalho Individual).
DORNELES, Ricardo Vargas ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . Particionamento de Domínio e Balanceamento de Carga em Arquiteturas Heterogeneas: Aplicação a modelos hidrodinamicos e de transporte de massa 2d e 3d. Porto Alegre: PPGC da UFRGS, 2001 (Proposta de Tese de Doutorado).
RIZZI, Rogério Luiz ; DIVERIO, T. A. . Modelo Computacional Paralelo para a Hidrodinamica e para o Transporte de Massa 2d e 3d. Porto Alegre: PPGC da UFRGS, 2001 (Proposta de Tese de Doutorado).
FERREIRA, S. P. ; DIVERIO, T. A. . Linguagens Paralelas: Análise das Facilidades de ensino de concorrência e da semântica dos comandos paralelos.. Porto Alegre: PPGC da UFRGS, 2000 (Trabalho Individual).
GOULART, P. C. ; DIVERIO, T. A. . O Cluster de Alto Desempenho da UFRGS- funcionalidade e aplicabilidade.. Porto Alegre: PPGC da UFRGS, 2000 (Trabalho Individual).
NOTARE, M. R. ; DIVERIO, T. A. . Evolução Cronológica da Informática Educativa na Informática da UFRGS. Porto Alegre: PPGC da UFRGS, 2000 (Trabalho Individual).
DORNELES, Ricardo Vargas ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . Paralelização de Modelos Atmosféricos. Porto Alegre: PPGC da UFRGS, 2000 (Exame de Qualificação).
DIVERIO, T. A. ; RIZZI, Rogério Luiz ; DORNELES, Ricardo Vargas ; RIGONI, E. H. . Tópicos de Cálculo, Equações Diferenciais e Mecânica dos Fluídos, RP 298. Porto Alegre: PPGC da UFRGS, 1999 (Relatório de Pesquisa).
GOULART, P. C. ; CAMPOS, T. J. ; SIQUEIRA, M. L. ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . Paralelismo: Algoritmos e complexidade. Porto Alegre: PPGC da UFRGS, 1999 (Relatório de Pesquisa).
RIGONI, E. H. ; ÁVILA, R. B. ; BARRETO, Marcos Ennes ; SCHLEMER, E. ; DE ROSE, C. A. F. ; DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre . Introdução à Programação em Cluster de Alto Desempenho. Porto Alegre: PPGC da UFRGS, 1999 (Relatório de Pesquisa).
RIZZI, Rogério Luiz ; DIVERIO, T. A. . Simulação Numérica de Modelos Meteorológicos: Parte 2 Modelos Matemáticos, Discretização e Computação Paralela.. Porto Alegre: PPGC da UFRGS, 1999 (Trabalho Individual).
SAGULA, R. L. ; DIVERIO, T. A. . Modelagem Analítica: Formalismos e Ferramentas.. Porto Alegre: PPGC da UFRGS, 1999 (Trabalho Individual).
DIVERIO, T. A. ; DORNELES, Ricardo Vargas . Modelos Atmosféricos Regionais: Levantamento e Descrição.. Porto Alegre: PPGC da UFRGS, 1999 (Trabalho Individual).
CANAL, A. P. ; DIVERIO, T. A. . Métodos para resolução de sistemas lineares e suas aplicações em computações de alto desempenho. Porto Alegre: PPGC da UFRGS, 1999 (Trabalho Individual).
RIZZI, Rogério Luiz ; DIVERIO, T. A. . Técnicas Matemáticas e Computacionais para Modelos Atmosféricos. Porto Alegre: PPGC da UFRGS, 1999 (Exame de Qualificação).
DIVERIO, T. A. ; DAMIANI, L. R. ; SAGULA, R. L. ; NAVAUX, Philippe Olivier Alexandre ; MITO, A. V. . Uma Visão Geral de Processamento Paralelo: bibliografia e sumário, RP 287. Porto Alegre: CPGCC da UFRGS, 1998 (Relatório de Pesquisa).
RIZZI, Rogério Luiz ; DIVERIO, T. A. . Simulação Numérica de Modelos Meteorológicos: Parte 1 - Cálculo de Várias Variáveis, Equações Diferenciais e Mecânica de Fluídos.. Porto Alegre: PPGC da UFRGS, 1998 (Trabalho Individual).
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; TRARBACH, L. L. ; PEIXOTO, C. . Sistemas Lineares Esparsos: tipos, armazenagem e aplicações, RP 281. Porto Alegre: CPGCC da UFRGS, 1997 (Relatório de Pesquisa).
DIVERIO, T. A. ; TRARBACH, L. L. . Introdução ao Fortran 90 - curso básico, RP 280. Porto Alegre: CPGCC da UFRGS, 1997 (Relatório de Pesquisa).
DIVERIO, T. A. ; HÖHER, C. L. ; NAVAUX, Philippe Olivier Alexandre ; SUTIL, C. B. . Introdução aos Processadores Transputers, RP 275. Porto Alegre: CPGCC da UFRGS, 1997 (Relatório de Pesquisa).
DIVERIO, T. A. ; MENEZES, P. F. B. . Introdução à Teoria da Computação. Porto Alegre: Instituto de Informática, 1997 (Apostila de Aula).
DIVERIO, T. A. ; NAVAUX, Philippe Olivier Alexandre ; FERNANDES, L. G. L. . Introdução à Linguagem C++ - Série Matemática Computacional e Processamento Paralelo, v. 3. Porto Alegre: Informática da UFRGS/ProTeM-CC, 1996 (Série Livros Didáticos).
DIVERIO, T. A. ; HÖHER, C. L. . Programando em Pascal-XSC - Série Matemática Computacional e Processamento Paralelo, v. 2. Porto Alegre: Informática da UFRGS/ProTeM-CC, 1996 (Série Livros Didáticos).
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes ; OLIVEIRA, Paulo Werlang de . Fundamentos da Matemática Intervalar - Série Matemática da Computação e Processamento Paralelo, v. 1. Porto Alegre: Informática da UFRGS/ProTeM-CC, 1996 (Série Livros Didáticos).
LEMOS, S. D. C. ; DIVERIO, T. A. . Aplicações de métodos computacionais na resolução de integrais. Porto Alegre: CPGCC da UFRGS, 1996 (Trabalho Individual).
DIVERIO, T. A. ; TARTARUGA, I. G. P. . Validação e Verificação Automática do Resultado, RP 250. Porto Alegre: CPGCC da UFRGS, 1995 (Relatório de Pesquisa).
DIVERIO, T. A. . LIBAVI.A Biblioteca de Rotinas Intervalares - verificação e validação 1995 (Manual).
DIVERIO, T. A. . LIBAVI.A Biblioteca de Rotinas Intervalres - manual de utilização 1995 (Manual).
DIVERIO, T. A. . Uso Efetivo da Matemática Intervalar em Supercomputadores Vetoriais. Porto Alegre: CPGCC da UFRGS, 1995 (Tese de Doutorado).
DIVERIO, T. A. ; FERNANDES, U. A. L. ; DAHMER, A. . Limitações do Processamento Vetorial no Cray Y-MP2E, RP 248. Porto Alegre: CPGCC da UFRGS, 1995 (Relatório de Pesquisa).
FERNANDES, U. A. L. ; DIVERIO, T. A. . Produto escalar ótimo no Cray Y-MP2E. Porto Alegre: CPGCC da UFRGS, 1995 (Trabalho Individual).
HÖLBIG, Carlos Amaral ; DIVERIO, T. A. . Sistemas Lineares: Aplicabilidade, Resolução e Verificação Automática.. Porto Alegre: CPGCC da UFRGS, 1995 (Trabalho Individual).
DIVERIO, T. A. . PASCAL-XSC - Pascal para Computação Científica: descrição, instalação e aplicações, RP 245. Porto Alegre: CPGCC da UFRGS, 1994 (Relatório de Pesquisa).
DIVERIO, T. A. ; PORCIÚNCULA, C. B. ; NAVAUX, Philippe Olivier Alexandre . Uso de Transputers para Definição de uma Aritmética Intervalar Paralela, RP 236. Porto Alegre: CPGCC da UFRGS, 1994 (Relatório de Pesquisa).
DIVERIO, T. A. ; FERNANDES, U. A. L. . Aplicações de Intervalos, RP 235. Porto Alegre: CPGCC da UFRGS, 1994 (Relatório de Pesquisa).
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; FERNANDES, U. A. L. . Sistemas de Equações Lineares: Instabilidade, Análise Sensitiva e Métodos Intervalares, RP 228. Porto Alegre: CPGCC da UFRGS, 1994 (Relatório de Pesquisa).
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral ; NORONHA, C. R. . Sistema de Ponto Flutuante e o Padrão IEEE 754, RP 225. Porto Alegre: CPGCC da UFRGS, 1994 (Relatório de Pesquisa).
DIVERIO, T. A. ; HÖLBIG, Carlos Amaral . Aritmética Intervalar - uma nova abordagem. Porto Alegre: CPGCC da UFRGS, 1993 (Monografia).
DIVERIO, T. A. ; TRAININI, P. R. S. ; BARBOSA, A. P. M. ; DAHMER, A. ; NAVAUX, Philippe Olivier Alexandre . Supercomputador Cray Y-MP2E: arquitetura, características e acesso remoto, RP 210. Porto Alegre: CPGCC da UFRGS, 1993 (Relatório de Pesquisa).
DIVERIO, T. A. . Aritmética Vetorial Intervalar para Supercomputadores Vetoriais - Proposta de Tese. Porto Alegre: CPGCC da UFRGS, 1993 (Relatório Técnico).
MAÇADA, D. L. ; CLAUDIO, Dalcídio Moraes ; DIVERIO, T. A. . Análise de uma ferramenta para o ensino da matemática computacional. Porto Alegre: CPGCC da UFRGS, 1993 (Trabalho Individual).
LEYSER, M. ; DIVERIO, T. A. . Propriedades Algébricas e Intervalares: Estudo comparativo. Porto Alegre: CPGCC da UFRGS, 1993 (Trabalho Individual).
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes ; NAVAUX, Philippe Olivier Alexandre . Divisão e Conquista: uma técnica para paralelização de algorítmos, RP 177. Porto Alegre: CPGCC da UFRGS, 1992 (Relatório de Pesquisa).
DIVERIO, T. A. ; TRAININI, P. R. S. ; CARISSIMI, L. S. . Manual de Utilização das Estações de Trabalho Sun. Porto Alegre: CPGCC da UFRGS, 1992 (Relatório Técnico).
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes ; KORZENOWSKI, H. ; LEYSER, M. ; LAMB, L. C. . Introdução à Teoria dos Intervalos, RP 172. Porto Alegre: CPGCC da UFRGS, 1992 (Relatório de Pesquisa).
DIVERIO, T. A. . Máquina CONVEX C210 primeiros passos: utilização e programação. Porto Alegre: CPGCC da UFRGS, 1991 (Relatório Técnico).
DIVERIO, T. A. ; KORZENOWSKI, H. ; LEYSER, M. ; CLAUDIO, Dalcídio Moraes . Versões Intervalares do Método de Newton, RP 161. Porto Alegre: CPGCC da UFRGS, 1991 (Relatório de Pesquisa).
DIVERIO, T. A. . Processamento Vetorial e Vetorização de Algoritmos na Máquina Convex C210, RP 160. Porto Alegre: CPGCC da UFRGS, 1991 (Relatório de Pesquisa).
DIVERIO, T. A. . LEPMAC - Material Didático de Apoio - Módulo de SELAS. Porto Alegre: UFRGS, 1990 (Relatório Técnico).
DIVERIO, T. A. . LEPMAC - Material Didático de Apoio - Módulo de REATS. Porto Alegre: UFRGS, 1990 (Relatório Técnico).
DIVERIO, T. A. . Levantamento bibliográfico de métodos numéricos. Porto Alegre: CPGCC da UFRGS, 1990 (Relatório Técnico).
DIVERIO, T. A. ; GELLER, M. . Aspectos Gerais de Software Matemáticos. Canoas: Labin Ulbra, 1990 (Relatório Técnico).
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Controle de Qualidade de Algoritmos Numéricos. Porto Alegre: CPGCC da UFRGS, 1988 (Relatório Técnico).
DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes . Considerações sobre a Metodologia de Desenvolvimentos de Software Numérico. Porto Alegre: CPGCC da UFRGS, 1988 (Relatório Técnico).
DIVERIO, T. A. . Overview of Numerical Software. Porto Alegre: Instituto de Informática da PUC/RS, 1988 (Relatório Técnico).
DIVERIO, T. A. . SINAI-16 - Manual de Manutenção do Programa. Porto Alegre: CPGCC da UFRGS, 1986 (Manual).
DIVERIO, T. A. . SINAI-16 - Manual Instrucional do Usuário. Porto Alegre: CPGCC da UFRGS, 1986 (Manual).
DIVERIO, T. A. . Software Numérico Aplicativo e Instrucional. Porto Alegre: CPGCC da UFRGS, 1986 (Dissertação de Mestrado).
DIVERIO, T. A. ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcídio Moraes ; MARINS, J. M. ; KNAUTH, N. L. ; SCHÄFFER, M. I. ; BARRINUEVO, J. A. . Introdução à Computação Científica em Minicalculadoras Programáveis - Manual de Aplicações. Porto Alegre: CPD da UFRGS, 1982 (Apostila).
DIVERIO, T. A. ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcídio Moraes ; MARINS, J. M. ; KNAUTH, N. L. ; BARRINUEVO, J. A. . Introdução à Computação Científica em Minicalculadoras Programáveis - Manual do Usuário. Porto Alegre: CPD da UFRGS, 1982 (Apostila).
DIVERIO, T. A. ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcídio Moraes ; BARRINUEVO, J. A. . Laboratório de Cálculo Numérico - manual do usuário. Porto Alegre: CPGCC da UFRGS, 1981 (Relatório Técnico).

Outras produções

DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes ; FRANCIOSI, Beatriz Regina Tavares ; OLIVEIRA, J. B. ; MARTINI, Alfio Ricardo ; BRONZATTI, R. A. ; TRAININI, P. R. S. ; GELLER, M. . Lepmac - Laboratorio de Ensino e Pesquisa Em Matematica Aplicada e Computacional. 1995.

DIVERIO, T. A. ; CLAUDIO, Dalcídio Moraes ; DAHMER, A. ; SAGULA, R. L. ; HÖLBIG, Carlos Amaral ; FERNANDES, U. A. L. . Libavi.a - Biblioteca de Rotinas Intervalares em Ambiente Vetorial. 1995.

DIVERIO, T. A. . Sinai-16 - Software Interativo Numérico Aplicativo e Instrucional em Micro de 16bits. 1986.

DIVERIO, T. A. . LEPMAC - Caderno de Exercícios do Sistema de Software do Laboratório. 1990. (Desenvolvimento de material didático ou instrucional - material didático de Apoio).

Prêmios

2012

Membro Honorário da CRAD RS, SBC/CRAD RS.

Histórico profissional

Endereço profissional

Universidade Federal do Rio Grande do Sul, Instituto de Informática, Departamento de Informática Teórica. , Av Bento Gonçalves 9500 Bloco IV Informatica, Agronomia, 91501170 - Porto Alegre, RS - Brasil - Caixa-postal: 15064, Telefone: (51) 33086815, Fax: (51) 33087308, URL da Homepage:

Experiência profissional

2017 - Atual

Universidade Federal do Rio Grande do Sul

Vínculo: Servidor Público, Enquadramento Funcional: Docente Convidado do Inf UFRGS

1989 - 2017

Universidade Federal do Rio Grande do Sul

Vínculo: , Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Professor Concursado no Departamento de Informática Teórica do Instituto de Informática da UFRGS. Chefe do Departamento - 2011 a 2012. Professor Titular - novembro de 2014.

Atividades

01/1997
Direção e administração, Instituto de Informática, .,Cargo ou função, Vice Coordenador e Membro da Comissao Editorial da Serie Livros Didaticos do Instituto de Informatica UFRGS.
03/1996
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria da Computação N
12/1989
Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.,Linhas de pesquisa
01/2011 - 12/2012
Direção e administração, Instituto de Informática, Departamento de Informática Teórica.,Cargo ou função, Chefe de Departamento.
03/1996 - 01/2008
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Computação Simbólica e Numérica
05/1995 - 12/2007
Ensino, Computação, Nível: Pós-Graduação,Disciplinas ministradas, Aritmética Computacional e Intervalos, Paralelismo: Algoritmos e Complexidade, Processamento Paralelo e Distribuido, Teoria da Computação
03/2006 - 01/2007
Direção e administração, Instituto de Informática, Departamento de Informática Teórica.,Cargo ou função, Chefe de Departamento.
08/2002 - 12/2003
Treinamentos ministrados , Instituto de Informática, Departamento de Informática Teórica.,Treinamentos ministrados, Curso Montagem e Configuracao de Clustes - LABTEC UFRGS/DELL, Curso Programação Paralela em Clusteres - LABTEC UFRGS/DELL
05/2002 - 12/2003
Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.,Linhas de pesquisa
01/2001 - 12/2002
Direção e administração, Programa de Pós Graduação Em Computação, Programa de Pós Graduação Em Computação.,Cargo ou função, Membro de comissão temporária (Mandato de 2 anos).
01/1999 - 12/2002
Direção e administração, Instituto de Informática, Departamento de Informática Teórica.,Cargo ou função, Membro de comissão permanente.
05/1998 - 08/2002
Direção e administração, Instituto de Informática, Departamento de Informática Teórica.,Cargo ou função, Coordenador da Comissão Editorial da Serie Livros Didáticos.
10/1998 - 12/2001
Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.,Linhas de pesquisa

1987 - 1990

Universidade Luterana do Brasil

Vínculo: Professor/Coordenador do LABIN, Enquadramento Funcional: Pesquisador-Professor, Regime: Dedicação exclusiva.

Atividades

01/1988 - 01/1990
Extensão universitária , Unidade Universitária de Canoas, Pró Reitoria de Pesquisa.,Atividade de extensão realizada, Coordenador do Laboratório de Informática.
07/1987 - 01/1990
Extensão universitária , Unidade Universitária de Canoas, Pró Reitoria de Pesquisa.,Atividade de extensão realizada, Assessor da Pró-Reitoria de Pesquisa.

1988 - 1989

Universidade de Caxias do Sul

Vínculo: Celetista formal, Enquadramento Funcional: Professor Nivel Superior, Carga horária: 8

Outras informações:
Professor de Calculo Numerico para turmas de Engenharia e Computação. Na Epoca era apenas mestre.

1983 - 1988

Pontifícia Universidade Católica do Rio Grande do Sul

Vínculo: Professor Pesquisador, Enquadramento Funcional: Professor Adjunto, Carga horária: 40

Atividades

08/1983 - 06/1988
Extensão universitária , Faculdade de Informática, Departamento de Computação Aplicada.,Atividade de extensão realizada, Coordenador do Depto. Computação Aplicada; Membro do Conselho Departamental.
08/1983 - 06/1988
Extensão universitária , Faculdade de Informática, Departamento de Computação Aplicada.,Atividade de extensão realizada, Prof. de Métodos Computacionais I, II, Cálculo Numérico.

1979 - 1989

Governo do Estado do Rio Grande do Sul

Vínculo: Servidor Público, Enquadramento Funcional: Professor Estadual, Carga horária: 20

Outras informações:
Professor de Matematica (5 a 8 series) nas Escolas: Escola Estadual Gov. Walter Jobim (em Viamão) Instituto de Educação Gen Flores da Cunha (Porto Alegre) Escola Estadual Dom Diogo de Souza (Porto Alegre) - ministrou aula de proc de dados

1996 - 2003

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador 2B (Bolsa de Pesquisa), Carga horária: 10

Outras informações:
Projeto Laboratorio de Computacao de Alto desempenho com alte exatidao

Atividades

03/1996 - 07/2003
Extensão universitária , Ufrgs, Instituto de Informatica.,Atividade de extensão realizada, Laboratório de Computação de Alto Desempenho com Alta Exatidão - Projeto 522082/95-5.

2001 - 2001

Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul

Vínculo: Outro, Enquadramento Funcional: Colaborador, Carga horária: 6

Outras informações:
Coordenador da Comissão Assessora de Cooperação Internacional (CACI) da FAPERGS

Atividades

03/2001 - 12/2001
Direção e administração, Caci Comissão Assessora de Cooperação Internacional, FAPERGS.,Cargo ou função, Coordenador da CACI.