Structural testing criteria for concurrent programs consideringloop executions (2019)
- Authors:
- USP affiliated authors: SOUZA, PAULO SERGIO LOPES DE - ICMC ; DIAZ, SILVIA MARGARITA DIAZ - ICMC
- Unidade: ICMC
- DOI: 10.5753/wscad_estendido.2019.8711
- Subjects: PROGRAMAÇÃO CONCORRENTE; PROGRAMAÇÃO PARALELA; TESTES DE HIPÓTESES
- Language: Inglês
- Imprenta:
- Publisher: Porto Alegre
- Publisher place: SBC
- Date published: 2019
- Source:
- Título: Anais Estendidos
- Conference titles: Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
DIAZ, Silvia Margarita Diaz e SOUZA, Paulo Sérgio Lopes de. Structural testing criteria for concurrent programs consideringloop executions. 2019, Anais.. SBC: Porto Alegre, 2019. Disponível em: https://doi.org/10.5753/wscad_estendido.2019.8711. Acesso em: 21 fev. 2026. -
APA
Diaz, S. M. D., & Souza, P. S. L. de. (2019). Structural testing criteria for concurrent programs consideringloop executions. In Anais Estendidos. SBC: Porto Alegre. doi:10.5753/wscad_estendido.2019.8711 -
NLM
Diaz SMD, Souza PSL de. Structural testing criteria for concurrent programs consideringloop executions [Internet]. Anais Estendidos. 2019 ;[citado 2026 fev. 21 ] Available from: https://doi.org/10.5753/wscad_estendido.2019.8711 -
Vancouver
Diaz SMD, Souza PSL de. Structural testing criteria for concurrent programs consideringloop executions [Internet]. Anais Estendidos. 2019 ;[citado 2026 fev. 21 ] Available from: https://doi.org/10.5753/wscad_estendido.2019.8711 - A structural testing tool for MPI programs with loops
- Structural testing criteria for concurrent programs considering loop execution
- Uso do GAMESS na modelagem da atrazina e uso de redes de petri na modelagem dp GAMESS
- Parallel steganography benchmark for ValiPar concurrent program testing tool
- Programação paralela em GPU com o uso da integração CUDA e MATLAB
- Systematic mapping on structural testing criteria for concurrent programs considering dynamic aspects
- Caracterizando o GAMESS como benchmark para o simpleScalar
- Contribuições para o desenvolvimento e a execução de aplicações concorrentes de alto desempenho
- High performance algorithms for counting collisions and pairwise interactions
- Binary SCF: gamess improvements for energy evaluation based on SCF methods
Informações sobre o DOI: 10.5753/wscad_estendido.2019.8711 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
