Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Aplicação de teste estrutural para programas multithreads baseados em semáforosFelipe Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Symposium on Computer Architecture and High Performance Computing (19 Gramado 2007); Workshop on Languages and Tools for Parallel and Distributed Programming - LTPD (2007 Gramado)[Proceedings] Gramado, 2007Porto Alegre 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1636292 ) e outros locais(Acessar) |
2 |
Material Type: Artigo
|
![]() |
Structural testing criteria for message-passing parallel programsSimone do Rocio Senger de Souza S. R Vergilio; Paulo Sérgio Lopes de Souza; Adenilso da Silva Simão; A. C HausenConcurrency and Computation: Practice and Experience New Jersey v. 20, n. 16, p. 1893-1916, 2008Hoboken 2008Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Artigo
|
![]() |
Structural testing criteria for message-passing parallel programsSimone do Rocio Senger de Souza S. R Vergilio; Paulo Sérgio Lopes de Souza; Adenilso da Silva Simão; A. C HausenConcurrency and Computation: Practice and Experience New Jersey v. 20, n. 16, p. 1893-1916, 2008Hoboken 2008Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Artigo de Congresso
|
![]() |
A tool for structural testing of MPI programsAlexandre Ceolin Hausen Sílvia Regina Vergílio; Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Adenilso da Silva Simão; IEEE Latin-American TestWorkshop - LATW (8. 2007 Cuzco)Proceedings Cuzco, 2007Cuzco IEEE Computer Society 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1590427 ) e outros locais(Acessar) |
5 |
Material Type: Artigo de Congresso
|
![]() |
Using coverage and reachability testing to improve concurrent program testing qualitySimone do Rocio Senger de Souza Paulo Sérgio Lopes de Souza; Mario Cesar da Cunha Machado; Mário Santos Camillo; Adenilso da Silva Simão; Ed Zaluska; International Conference on Software Engineering & Knowledge Engineering - SEKE (23. Miami 2011)Proceedings Skokie : Knowledge Systems Institute Graduate School, 2011Skokie Knowledge Systems Institute Graduate School 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2195110 )(Acessar) |