Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
![]() |
Contribuindo para a avaliação do teste de programas concorrentes: uma abordagem usando benchmarksDourado, George Gabriel MendesBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2015-11-18Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo de Congresso
|
![]() |
ValiPar service structural testing of concurrent programs as a web service compositionRafael R Prado (Rafael Regis do Prado) Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; George G. M Dourado (George Gabriel Mendes Dourado); Raphael N Batista (Raphael Negrisoli Batista); International Conference on Information Technology : New Generations - ITNG 2016 (13. 2016 Las Vegas, Nevada, USA)Information Technology: New Generations Cham, SZ : Springer, 2016Cham, SZ Springer 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2762886 )(Acessar) |
3 |
Material Type: Artigo de Congresso
|
![]() |
Extracting static and dynamic structural information from java concurrent programs for coverage testingRafael R Prado (Rafael Regis do Prado) Paulo Sérgio Lopes de Souza; George G. M Dourado (George Gabriel Mendes Dourado); Simone do Rocio Senger de Souza; Júlio Cezar Estrella; Sarita Mazzini Bruschi; João Lourenço (João Manuel dos Santos Lourenço); Latin American Computing Conference - CLEI 2015 (41st. 2015 Arequipa, Perú)Proceedings Piscataway, NJ : IEEE, 2015Piscataway, NJ IEEE 2015Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2730683 )(Acessar) |
4 |
Material Type: Artigo de Congresso
|
![]() |
A suite of Java message-passing benchmarks to support the validation of testing models, criteria and toolsGeorge G. M Dourado (George Gabriel Mendes Dourado) Paulo Sérgio Lopes de Souza; Rafael R Prado (Rafael Regis do Prado); Raphael N Batista (Raphael Negrisoli Batista); Simone do Rocio Senger de Souza; Júlio Cezar Estrella; Sarita Mazzini Bruschi; João Lourenço (João Manuel dos Santos Lourenço); International Conference On Computational Science - ICCS 2016 (16. 2016 San Diego, California, U.S.A.)Procedia Computer Science Amsterdam : Elsevier v. 80, p. 2226-2230, 2016Amsterdam Elsevier 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2762142 )(Acessar) |
5 |
Material Type: Artigo
|
![]() |
Mapping features and patterns of accelerometry data on human movement in different age groups and associated health problems a cross-sectional studyMarcela Martins Chiudo Patricia Bet; Giovana Fondato Costa; Maria do Socorro Morais Pereira Simões; Moacir Antonelli Ponti; Victor Zuniga Dourado; Paula Costa CastroExperimental Gerontology Kidlington v. 168, p. 1-9, Oct. 2022Kidlington 2022Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3094957 )(Acessar) |