skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Estudo de VIM - Movimentos Induzidos por Vórtices em plataformas do tipo monocoluna: abordagem  numérico-experimental e impactos no sistema de amarração.
Estudo de VIM - Movimentos Induzidos por Vórtices em plataformas do tipo monocoluna: abordagem  numérico-experimental e impactos no sistema de amarração.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Estudo de VIM - Movimentos Induzidos por Vórtices em plataformas do tipo monocoluna: abordagem  numérico-experimental e impactos no sistema de amarração.

Cueva, Marcos Salles

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2011-02-23

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

2
Development of a force actuator for hybrid model tests in a wave tank.
Development of a force actuator for hybrid model tests in a wave tank.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Development of a force actuator for hybrid model tests in a wave tank.

Huang, Alex Saratani

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2021-04-14

Acesso online

3
Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos
Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos

Dusse, Flávio

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

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

4
Evaluating finite state machine based testing methods on RBAC systems
Evaluating finite state machine based testing methods on RBAC systems
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Evaluating finite state machine based testing methods on RBAC systems

Damasceno, Carlos Diego Nascimento

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

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

5
Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados
Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados

Pinheiro, Arineiza Cristina

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-06-22

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

6
Precision tests of the standard model at high energy colliders XVIII International Meeting on Fundamental Physics and XXI G.I.F.T. International Seminar on Theoretical Physics : Santander, Cantabria, Spain, June 4-9, 1990
Precision tests of the standard model at high energy colliders XVIII International Meeting on Fundamental Physics and XXI G.I.F.T. International Seminar on Theoretical Physics : Santander, Cantabria, Spain, June 4-9, 1990
Material Type:
Livro 		Adicionar ao Meu Espaço

Precision tests of the standard model at high energy colliders XVIII International Meeting on Fundamental Physics and XXI G.I.F.T. International Seminar on Theoretical Physics : Santander, Cantabria, Spain, June 4-9, 1990

International Meeting on Fundamental Physics (18th 1990 Santander, Spain) F. del Aguila; A Méndez; A Ruiz; International Seminar on Theoretical Physics (21st 1990 Santander, Spain)

Singapore Teaneck, NJ World Scientific c1991

Localização: IF - Instituto de Física    (530.106 I61p 1990 )(Acessar)

7
hW-inference a heuristic approach to retrieve models through black box testing
hW-inference a heuristic approach to retrieve models through black box testing
Material Type:
Artigo 		Adicionar ao Meu Espaço

hW-inference a heuristic approach to retrieve models through black box testing

Roland Groz Nicolas Bremond; Adenilso da Silva Simão; Catherine Oriat

Journal of Systems and Software New York : Elsevier v. 159, p. 1-19, 2020

New York 2020

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2974003 )(Acessar)

8
An assessment of extended finite state machine test selection criteria
An assessment of extended finite state machine test selection criteria
Material Type:
Artigo 		Adicionar ao Meu Espaço

An assessment of extended finite state machine test selection criteria

Khaled El-Fakih Adenilso da Silva Simão; Noshad Jadoon; José Carlos Maldonado

The Journal of Systems and Software Amsterdm : Elsevier v. 123, p. 106-118, Jan. 2017

Amsterdam 2017

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2782530 )(Acessar)

9
Structural testing for CUDA programming model
Structural testing for CUDA programming model
Material Type:
Artigo 		Adicionar ao Meu Espaço

Structural testing for CUDA programming model

Helder Jefferson Ferreira da Luz Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza

Concurrency and Computation: Practice and Experience Oxford : Wiley, 2024 In press

Oxford 2024

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-3190766 )(Acessar)

10
Model based testing of service oriented applications
Model based testing of service oriented applications
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Model based testing of service oriented applications

Endo, André Takeshi

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

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (137.127)
  2. Revistas revisadas por pares (100.417)
  3. Disponível na Biblioteca (106)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (112.645)
  2. Anais de Congresso  (19.637)
  3. Reports  (1.291)
  4. Newsletter Articles  (1.067)
  5. Book Chapters  (956)
  6. magazinearticle  (681)
  7. Livros  (446)
  8. Conjunto de Dados  (169)
  9. Dissertações  (106)
  10. Verbetes  (91)
  11. Resenhas  (54)
  12. Produções Acadêmicas  (52)
  13. Recursos Textuais  (18)
  14. Standards  (13)
  15. Outros  (11)
  16. Web Resources  (6)
  17. Artigos de Jornal  (6)
  18. Videos  (3)
  19. Imagens  (3)
  20. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1962  (135)
  2. 1962Até1976  (648)
  3. 1977Até1991  (4.195)
  4. 1992Até2007  (33.172)
  5. Após 2007  (99.612)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (136.630)
  2. Japonês  (11.064)
  3. Francês  (537)
  4. Português  (364)
  5. Alemão  (234)
  6. Chinês  (181)
  7. Espanhol  (138)
  8. Russo  (102)
  9. Norueguês  (42)
  10. Persa  (31)
  11. Tcheco  (28)
  12. Polonês  (28)
  13. Holandês  (22)
  14. Croatian  (20)
  15. Italiano  (19)
  16. Turco  (11)
  17. Eslovaco  (10)
  18. Coreano  (10)
  19. Ucraniano  (8)
  20. Esloveno  (7)
  21. Indeterminado  (1)
  22. Mais opções open sub menu

Nome da Publicação 

  1. Arxiv.Org  (4.787)
  2. Plos One  (1.950)
  3. Arxiv  (1.715)
  4. Journal Of Physics. Conference Series  (1.474)
  5. Journal Of Physics: Conference Series  (1.442)
  6. Iop Conference Series. Materials Science And Engineering  (1.147)
  7. Iop Conference Series. Earth And Environmental Science  (1.061)
  8. Iop Conference Series: Earth And Environmental Science  (1.000)
  9. Mechanics Of Advanced Materials And Structures  (979)
  10. Ieee Access  (941)
  11. Journal Of Statistical Computation And Simulation  (65)
  12. Communications In Statistics - Theory And Methods  (5)
  13. Communications in Statistics - Theory and Methods  (4)
  14. Proceedings  (3)
  15. Lecture Notes In Computer Science  (3)
  16. Economia Aplicada  (2)
  17. Brazilian Journal Of Probability And Statistics  (2)
  18. Lecture Notes in Computer Science  (2)
  19. Brazilian Journal of Probability and Statistics  (2)
  20. Resenhas do Instituto de Matemática e Estatística da Universidade de São Paulo  (1)
  21. Estilos da Clinica  (1)
  22. Journal of Statistical Computation and Simulation  (1)
  23. Proceedings  (1)
  24. Revista USP  (1)
  25. Linha D'Água  (1)
  26. Revista de Antropologia  (1)
  27. Revista de Estudios Brasileños  (1)
  28. Cadernos de Filosofia Alemã: Crítica e Modernidade  (1)
  29. S1678-91992012000200001-en.pdf  (1)
  30. Revista Brasileira de Genetica. Ribeirao Pret: Soc Brasil Genetica  (1)
  31. 9ª Arte (São Paulo)  (1)
  32. Cadernos de Psicologia Social do Trabalho  (1)
  33. Revista do Instituto de Medicina Tropical de São Paulo  (1)
  34. Revista de Italianística  (1)
  35. Revista de Saúde Pública  (1)
  36. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Botter, D
  3. Ferrari, S
  4. Maldonado, J
  5. Souza, P

Neste Assunto:

  1. Science & Technology
  2. Technology
  3. Engineering
  4. Mathematical Models
  5. Model Testing

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

Buscando em bases de dados remotas. Favor aguardar.