skip to main content
Idioma:

Resultados de 1 a 10 de 57  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Souza, P remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Concurrent softwre testing a systematic review
Concurrent softwre testing a systematic review
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Concurrent softwre testing a systematic review

Maria A. S. Brito Katia R Felizardo; Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza

São Carlos ICMC-USP 2010

Localização: ICMC - Inst. Ciên. Mat. Computação    (RT-SSC n.353 C743 e.1 ) e outros locais(Acessar)

2
Execução determinística de programas concorrentes durante o teste de mutação
Execução determinística de programas concorrentes durante o teste de mutação
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Execução determinística de programas concorrentes durante o teste de mutação

Rodolfo Adamshuk Silva Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2012 (3. 2012 Natal, RN); Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SAST 2012 (6. 2012 Natal, RN)

Anais Porto Alegre : SBC, 2012

Porto Alegre SBC 2012

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2309303 ) e outros locais(Acessar)

3
Structural testing for multithread programs an experimental evaluation of the cost, strength and effectiveness
Structural testing for multithread programs an experimental evaluation of the cost, strength and effectiveness
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Structural testing for multithread programs an experimental evaluation of the cost, strength and effectiveness

Silvana M. Melo (Silvana Morita Melo) Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; International Conference on Software Engineering and Knowledge Engineering - SEKE 2012 (24. 2012 Redwood City, California)

Proceedings Skokie : Knowledge Systems Institute Graduate School, 2012

Skokie Knowledge Systems Institute Graduate School 2012

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2314979 ) e outros locais(Acessar)

4
Aplicação de teste estrutural para composição de web services
Aplicação de teste estrutural para composição de web services
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Aplicação de teste estrutural para composição de web services

André Takeshi Endo Adenilso da Silva Simão; Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Simpósio Brasileiro de Engenharia de Software 21 2007 João Pessoa

Anais [s.l.s.n.], 2007

s.l. s.n. 2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1626508 ) e outros locais(Acessar)

5
Avaliação do custo e efetividade do teste estrutural para programas concorrentes com memória compartilhada
Avaliação do custo e efetividade do teste estrutural para programas concorrentes com memória compartilhada
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Avaliação do custo e efetividade do teste estrutural para programas concorrentes com memória compartilhada

Silvana 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, 2011

Porto Alegre SBC 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2217301 ) e outros locais(Acessar)

6
ValiPVM - a graphical tool for structural testing of PVM programs
ValiPVM - a graphical tool for structural testing of PVM programs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

ValiPVM - a graphical tool for structural testing of PVM programs

Paulo Sérgio Lopes de Souza Eduardo T Sawabe; Adenilso da Silva Simão; Sílvia Regina Vergílio; Simone do Rocio Senger de Souza; European PVM/MPI User's Group Meeting (15 2008 Irlanda)

Lecture Notes in Computer Science v. 5205, p. 257-264, 2008

Heidelberger Springer 2008

Acesso online. A biblioteca também possui exemplares impressos.

7
Teste de mutação aplicado a programas concorrentes em MPI
Teste de mutação aplicado a programas concorrentes em MPI
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Teste de mutação aplicado a programas concorrentes em MPI

Rodolfo 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, 2011

Porto Alegre SBC 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2217086 ) e outros locais(Acessar)

8
Structural testing for semaphore-based multithread programs
Structural testing for semaphore-based multithread programs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Structural testing for semaphore-based multithread programs

Felipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)

Lecture Notes in Computer Science v. 5101, p. 337-346, 2008

Heidelberger Springer 2008

Acesso online. A biblioteca também possui exemplares impressos.

9
Concurrent Softwre testing a systematic review
Concurrent Softwre testing a systematic review
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Concurrent Softwre testing a systematic review

Maria A. S. Brito Katia R Felizardo; Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Brazilian Workshop on Systematic and Automated Software Testing - SAST (4. 2010 Natal, RN); International Conference on Testing Software and Systems : short papers - ICTSS (22. 2010 Natal, RN); Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal, RN)

Anais Porto alegre : SBC, 2010

Porto Alegre SBC 2010

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2135490 ) e outros locais(Acessar)

10
ValiMPI uma ferramenta para teste de programas paralelos
ValiMPI uma ferramenta para teste de programas paralelos
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

ValiMPI uma ferramenta para teste de programas paralelos

Alexandre Ceolin Hausen Sílvia Regina Vergílio; Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Adenilso da Silva Simão; Simposio Brasileiro de Engenharia de Software (20. 2006 Florianópolis); Sessão de Ferramentas (13. 2006 Florianópolis)

Anais Florianópolis: SBC, 2006

Florianópolis SBC 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1556856 ) e outros locais(Acessar)

Resultados de 1 a 10 de 57  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (11)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (55)
  2. Produções Técnicas  (1)
  3. Produções Acadêmicas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2008  (4)
  2. 2008Até2011  (9)
  3. 2012Até2014  (14)
  4. 2015Até2018  (28)
  5. Após 2018  (2)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (36)
  2. Português  (23)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.