Systematic mapping on structural testing criteria for concurrent programs considering dynamic aspects (2017)
- Authors:
- Autor USP: SOUZA, PAULO SERGIO LOPES DE - ICMC
- Unidade: ICMC
- Subjects: SISTEMAS DE INFORMAÇÃO; ENGENHARIA DE SOFTWARE
- Language: Português
- Imprenta:
- Publisher: SBC
- Publisher place: Porto Alegre, RS
- Date published: 2017
- Source:
- Conference titles: Escola Regional de Alto Desempenho de São Paulo - ERAD-SP
-
ABNT
DIAZ, Silvia M. D. e SOUZA, Paulo Sérgio Lopes de. Systematic mapping on structural testing criteria for concurrent programs considering dynamic aspects. 2017, Anais.. Porto Alegre, RS: SBC, 2017. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/023.pdf. Acesso em: 10 nov. 2024. -
APA
Diaz, S. M. D., & Souza, P. S. L. de. (2017). Systematic mapping on structural testing criteria for concurrent programs considering dynamic aspects. In Anais. Porto Alegre, RS: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/023.pdf -
NLM
Diaz SMD, Souza PSL de. Systematic mapping on structural testing criteria for concurrent programs considering dynamic aspects [Internet]. Anais. 2017 ;[citado 2024 nov. 10 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/023.pdf -
Vancouver
Diaz SMD, Souza PSL de. Systematic mapping on structural testing criteria for concurrent programs considering dynamic aspects [Internet]. Anais. 2017 ;[citado 2024 nov. 10 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/023.pdf - Parallel steganography benchmark for ValiPar concurrent program testing tool
- Programação paralela em GPU com o uso da integração CUDA e MATLAB
- 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
- Maquina paralela virtual em ambiente windows
- AMIGO: uma contribuição para a convergência na área de escalonamento de processos
- Uso do GAMESS na modelagem da atrazina e uso de redes de petri na modelagem dp GAMESS
- Structural testing criteria for concurrent programs consideringloop executions
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
