Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Theses inauguraes recuperação, acesso e divulgação de conteúdo históricoMaria Fazanelli Crestana Cibele Araújo Camargo Marques dos Santos; Suely Campos Cardoso; Gildete de Oliveira Batista; Renato Machado Sobral; Seminário Nacional de Bibliotecas Universitárias - SNBU (17. 2012 Gramado, RS)Anais Porto Alegre : UFRGS, 2012Porto Alegre UFRGS 2012Localização: FM - Fac. Medicina (BCSEP 423 2012 )(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Instrumentação eficiente de programas em sistemas embarcados críticosHarry Trinta Pereira da Costa Márcio Eduardo Delamaro; Marcos Lordello Chaim; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Engenharia de Software - SBES 2011 (25. 2011 São Paulo, SP); Simpósio Brasileiro de Linguagens de Programação - SBLP 2011 (15. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS 2011 (5. 2011 São Paulo, SP); Workshop of Theses and Dissertations of the CBSoft - WTDSoft 2011 (2011 São Paulo, SP)Anais Porto Alegre : SBC, 2011Porto Alegre SBC 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2217278 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estados no contexto de sistemas embarcadosArineiza Cristina Pinheiro Adenilso da Silva Simão; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Engenharia de Software - SBES 2011 (25. 2011 São Paulo, SP); Simpósio Brasileiro de Linguagens de Programação - SBLP 2011 (15. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS 2011 (5. 2011 São Paulo, SP); Workshop of Theses and Dissertations of the CBSoft - WTDSoft 2011 (2011 São Paulo, SP)Anais Porto Alegre : SBC, 2011Porto Alegre SBC 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2216766 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Avaliação do custo e efetividade do teste estrutural para programas concorrentes com memória compartilhadaSilvana Morita Melo Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Engenharia de Software - SBES 2011 (25. 2011 São Paulo, SP); Simpósio Brasileiro de Linguagens de Programação - SBLP 2011 (15. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS 2011 (5. 2011 São Paulo, SP); Workshop of Theses and Dissertations of the CBSoft - WTDSoft 2011 (2011 São Paulo, SP)Anais Porto Alegre : SBC, 2011Porto Alegre SBC 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2217301 ) e outros locais(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Teste de mutação aplicado a programas concorrentes em MPIRodolfo Adamshuk Silva Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Engenharia de Software - SBES 2011 (25. 2011 São Paulo, SP); Simpósio Brasileiro de Linguagens de Programação - SBLP 2011 (15. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS 2011 (5. 2011 São Paulo, SP); Workshop of Theses and Dissertations of the CBSoft - WTDSoft 2011 (2011 São Paulo, SP)Anais Porto Alegre : SBC, 2011Porto Alegre SBC 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2217086 ) e outros locais(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
Image segmentation by image foresting transform with non-smooth connectivity functionsLucy Alsina Choque Mansilla Paulo André Vechiatto de Miranda; Conference on Graphics, Patterns and Images - SIBGRAPI (28. 2015 Salvador, BA); Workshop of Theses and Dissertations - WTD (2015 Salvador, BA)Anais Porto Alegre : SBC, 2015Porto Alegre SBC 2015Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Artigo de Congresso
|
Avaliação da qualidade de oráculos de teste utilizando mutaçãoAna Claudia Maciel Márcio Eduardo Delamaro; Workshop on Theses and Dissertations of CBSoft - WTDSoft (5. 2015 Belo Horizonte, MG); Brazilian Conference on Software: Theory and Practice - CBSoft (6. 2015 Belo Horizonte, MG)Anais Porto Alegre, RS : SBC, 2015Porto Alegre, RS SBC 2015Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Artigo de Congresso
|
Neural networks and genetic algorithms for hierarchical multi-label classification problemsRicardo Cerri André Carlos Ponce de Leon Ferreira de Carvalho; Joint Conference on Robotics and Intelligent Systems - JCRIS (2014 São Carlos); Best DSc Theses / MSc Dissertations Contest in Artificial and Computational Intelligence - CTDIAC (9. 2014 São Carlos)Anais Porto Alegre : SBC, 2014Porto Alegre SBC 2014Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2649003 )(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Method for computational analysis of histopathological images to support the diagnosis of cervical cancerGisele Helena Barboni Miranda Júnior Barrera; Edson Garcia Soares; Joaquim Cezar Felipe; Conference on Graphics, Patterns and Images - SIBGRAPI (25. 2012 Ouro Preto, MG); Workshop of Theses and Dissertations - WTD (2012 Ouro Preto, MG)Anais Porto Alegre : SBC, 2012Porto Alegre SBC 2012Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Artigo de Congresso
|
Signal classification by similarity and feature extraction allows an important application in insect recognitionDiego Furtado Silva Gustavo Enrique de Almeida Prado Alves Batista; Joint Conference on Robotics and Intelligent Systems - JCRIS (2014 São Carlos); Best DSc Theses / MSc Dissertations Contest in Artificial and Computational Intelligence - CTDIAC (9. 2014 São Carlos)Anais Porto Alegre : SBC, 2014Porto Alegre SBC 2014Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2648990 )(Acessar) |