Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Siflor Cerrado Sistema de informações para planejamento florestal no cerrado brasileiroSimone do Rocio Senger de Souza Cristiano J Santos; Ennio P Lopes; Rafael G Lang; Pedro P. J. S Arantes; Paulo Sérgio Lopes de Souza; Márcio Eduardo Delamaro; Antonio Rioyei Higa; Luciana Duque Silva; Simpósio Brasileiro de Sistemas de Informação - SBSI (19. 2023 Maceió, AL)Anais Estendidos Porto Alegre : SBC, 2023Porto Alegre, RS 2023Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3168882 )(Acessar) |
|
2 |
Material Type: Artigo
|
Comparando algoritmos paralelos para energia de van der waals com técnica de lista de células para predição de estrutura de proteínaDaniel Rodrigo Ferraz Bonetti Gesiel Rios Lopes; Alexandre Cláudio Botazzo Delbem; Paulo Sérgio Lopes de Souza; Kalinka Regina Lucas Jaquie Castelo Branco; Gonzalo TraviesoBrazilian Journal of Development São José dos Pinhais : Brazilian Journals Publicações de Periódicos e Editora v. 5, n. 7, p. 7541-7568, jul. 2019São José dos Pinhais 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2988293 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Comparing parallel algorithms for Van der Waals energy with cell-list technique for protein structure predictionDaniel R. F. Bonetti Gesiel Rios Lopes; Alexandre Cláudio Botazzo Delbem; Paulo Sérgio Lopes de Souza; Kalinka Regina Lucas Jaquie Castelo Branco; Gonzalo Travieso; Congresso da Sociedade Brasileira de Computação - CSBC (38. 2018 Natal, RN); Workshop em Desempenho de Sistemas Computacionais e de Comunicação - WPerformance (17. 2018 Natal, RN)Anais Porto Alegre, RS : Sociedade Brasileira de Computação - SBC, 2018Porto Alegre, RS Sociedade Brasileira de Computação - SBC 2018Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Artigo
|
Contributions for the structural testing of multithreaded programs coverage criteria, testing tool, and experimental evaluationSilvana Morita Melo Simone do Rocio Senger de Souza; Felipe Santos Sarmanho; Paulo Sérgio Lopes de SouzaSoftware Quality Journal v. 26, n. 3, p. 921-959, Set. 2018The Netherlands 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2848446 )(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPICarlos Diego Nascimento Damasceno Paulo Sérgio Lopes de Souza; Adenilso da Silva Simão; Escola Regional de Alto Desempenho de São Paulo - ERAD-SP (8. 2017 São Carlos, SP)Anais Porto Alegre : SBC, 2017Porto Alegre, RS SBC 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2853254 )(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
Avaliação de desempenho de virtualização baseada em contêinerNaylor G. Bachiega (Naylor Garcia Bachiega) Paulo Sérgio Lopes de Souza; Sarita Mazzini Bruschi; Escola Regional de Alto Desempenho de São Paulo - ERAD-SP (8. 2017 São Carlos, SP)Anais Porto Alegre : SBC, 2017Porto Alegre, RS SBC 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2853362 )(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
Parallel steganography benchmark for ValiPar concurrent program testing toolSilvia M. D. Diaz (Silvia Margarita Diaz Diaz) Paulo Sérgio Lopes de Souza; Escola Regional de Alto Desempenho de São Paulo - ERAD-SP (8. 2017 São Carlos, SP)Anais Porto Alegre : SBC, 2017Porto Alegre, RS SBC 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2853291 )(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
Contribuições ao teste de cobertura de aplicações CUDAHelder J. F. Luz (Helder Jefferson Ferreira da Luz) Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Escola Regional de Alto Desempenho de São Paulo - ERAD-SP (8. 2017 São Carlos, SP)Anais Porto Alegre : SBC, 2017Porto Alegre, RS SBC 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2853307 )(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Systematic mapping on structural testing criteria for concurrent programs considering dynamic aspectsSilvia M. D. Diaz (Silvia Margarita Diaz Diaz) Paulo Sérgio Lopes de Souza; Escola Regional de Alto Desempenho de São Paulo - ERAD-SP (8. 2017 São Carlos, SP)Anais Porto Alegre : SBC, 2017Porto Alegre, RS SBC 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2853296 )(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Programação paralela em GPU com o uso da integração CUDA e MATLABGesiel Rios Lopes Paulo Sérgio Lopes de Souza; Escola Regional de Alto Desempenho de São Paulo - ERAD-SP (8. 2017 São Carlos, SP)Anais Porto Alegre : SBC, 2017Porto Alegre, RS SBC 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2853369 )(Acessar) |