skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples

Resultados de 1 a 10 de 56  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: assunto: Programação Concorrente remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhada
Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhada
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhada

Melo, Silvana Morita

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2012-10-11

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

2
SAFE-CRITES developing safety-critical embedded systems supported by reuse techniques
SAFE-CRITES developing safety-critical embedded systems supported by reuse techniques
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

SAFE-CRITES developing safety-critical embedded systems supported by reuse techniques

Rosana Teresinha Vaccare Braga Kalinka Regina Lucas Jaquie Castelo Branco; Onofre Trindade Junior; Luciano de Oliveira Neris; IEEE International Conference on Information Reuse and Integration - IRI (12. 2011 Las Vegas)

Proceedings Piscataway : IEEE, 2011

Piscataway IEEE 2011

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

3
Incorporating certification in feature modelling of an unmanned aerial vehicle product line
Incorporating certification in feature modelling of an unmanned aerial vehicle product line
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Incorporating certification in feature modelling of an unmanned aerial vehicle product line

Rosana Teresinha Vaccare Braga Kalinka Regina Lucas Jaquie Castelo Branco; Onofre Trindade Junior; Jaejoon Lee; International Software Product Line Conference - SPLC 2012 (16. 2012 Salvador)

Proceedings New York : ACM, 2012

New York, NY ACM 2012

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

4
Model-based testing of service-oriented applications via state models
Model-based testing of service-oriented applications via state models
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Model-based testing of service-oriented applications via state models

André Takeshi Endo Adenilso da Silva Simão; IEEE International Conference on Services Computing (8. 2011 Washington, DC)

Proceedings Los Alamitos, CA : IEEE Computer Society, 2011

Los Alamitos, CA IEEE Computer Society 2011

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

5
Search-based mutation testing para programas concorrentes
Search-based mutation testing para programas concorrentes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Search-based mutation testing para programas concorrentes

Rodolfo Adamshuk Silva Simone do Rocio Senger de Souza; Brazilian Conference on Software: theory and practic - CBSoft 2014 (5. 2014 Maceió, Alagoas); Workshop de Teses e Dissertações do CBSoft - WTDSoft 2014 (4. 2014 Maceió, Alagoas)

Anais Porto Alegre, RS : SBC, 2014

Porto Alegre, RS SBC 2014

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

6
Tiriba a new approach of UAV based on model driven development and multiprocessors
Tiriba a new approach of UAV based on model driven development and multiprocessors
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Tiriba a new approach of UAV based on model driven development and multiprocessors

Kalinka Regina Lucas Jaquie Castelo Branco Jorge Marques Pelizzoni; Luciano de Oliveira Neris; Onofre Trindade Junior; Fernando Santos Osório; Denis Fernando Wolf; IEEE International Conference on Robotics and Automation - ICRA 2011 (2011 Shanghai, China)

Proceedings Piscataway : IEEE, 2011

Piscataway IEEE 2011

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

7
Research in concurrent software testing a systematic review
Research in concurrent software testing a systematic review
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Research in concurrent software testing a systematic review

Simone do Rocio Senger de Souza Maria Adelina Silva Brito; Rodolfo Adamshuk Silva; Paulo Sérgio Lopes de Souza; Ed Zaluska; International Symposium on Software Testing and Analysis - ISSTA 2011 (2011 Toronto, ON, Canada); Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2011 (9. 2011 Toronto, ON, Canada)

Proceedings New York, NY : ACM, 2011

New York, NY, USA ACM 2011

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

8
ProLiCES an approach to develop product lines for safety-critical embedded systems
ProLiCES an approach to develop product lines for safety-critical embedded systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

ProLiCES an approach to develop product lines for safety-critical embedded systems

Rosana Teresinha Vaccare Braga Kalinka Regina Lucas Jaquie Castelo Branco; Onofre Trindade Junior; Paulo Cesar Masiero; Luciano de Oliveira Neris; Martin Becker; Conferencia Latinoamericana de Informática - CLEI 2011 (37. 2011 Quito, Equador)

Anais Equador : Pontificia Universidad Católica del Ecuador, 2011

Equador Pontificia Universidad Católica del Ecuador 2011

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

9
Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes
Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes

Brito, Maria Adelina Silva

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2011-11-24

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

10
A tool for structural testing of MPI programs
A tool for structural testing of MPI programs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A tool for structural testing of MPI programs

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; IEEE Latin-American TestWorkshop - LATW (8. 2007 Cuzco)

Proceedings Cuzco, 2007

Cuzco IEEE Computer Society 2007

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

Resultados de 1 a 10 de 56  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. Disponível na Biblioteca (54)
  2. Recursos Online (8)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2012  (9)
  2. 2012Até2013  (10)
  3. 2014Até2015  (20)
  4. 2016Até2018  (15)
  5. Após 2018  (2)
  6. Mais opções open sub menu

Idioma 

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

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Souza, S
  2. Branco, K
  3. Souza, P
  4. Bruschi, S
  5. Estrella, J

Neste Assunto:

  1. Engenharia De Software
  2. Sistemas Distribuídos
  3. Sistemas De Informação
  4. Software Testing
  5. Teste De Software

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

Buscando em bases de dados remotas. Favor aguardar.