Resultados de 1 a 10 de 713 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (156)
- Revistas revisadas por pares (2)
- Disponível na Biblioteca (701)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Bio-inspired optimization to support the test data generation of concurrent softwareRicardo Ferreira Vilela João Choma Neto; Victor Hugo Santiago Costa Pinto; Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de SouzaConcurrency and Computation : Practice and Experience Oxford : Wiley v. 35, n. 2, p. 1-30, 2023Oxford 2023Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3120745 )(Acessar) |
| 2 |
Material Type: Tese de Doutorado
|
|
Uma abordagem para apoiar a identificação de não executabilidade no teste estrutural de softwareJoão Choma Neto Thelma Elita Colanzi Lopes; Simone do Rocio Senger de Souza2023Item não circula. Consulte sua biblioteca.(Acessar) |
| 3 |
Material Type: Tese de Doutorado
|
|
Otimização bioinspirada para apoio à geração de dados de teste para software concorrenteVilela, Ricardo FerreiraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2021-05-10Acesso online |
| 4 |
Material Type: Dissertação de Mestrado
|
|
Study and definition of project attributes for selection of testing techniques for concurrent softwareSantos, Italo De OliveiraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-07-07Acesso online |
| 5 |
Material Type: Artigo de Congresso
|
|
Structural testing criteria for concurrent programs consideringloop executionsSilvia Margarita Diaz Diaz Paulo Sérgio Lopes de Souza; Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD (20. 2019 Campo Grande); Concurso de Teses e Dissertações (2019 Campo Grande)Anais Estendidos Porto Alegre : SBC, 2019SBC Porto Alegre 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2991034 )(Acessar) |
| 6 |
Material Type: Dissertação de Mestrado
|
|
Structural testing criteria for concurrent programs considering loop executionDiaz, Silvia Margarita DiazBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2019-05-24Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Artigo de Congresso
|
|
Effectiveness evaluation of the synchronization sequence testing in Java concurrent programRodolfo Adamshuk Silva Simone do Rocio Senger de Souza; Escola Regional de Engenharia de Software - ERES (3. 2019 Rio do Sul)Anais Porto Alegre : SBC, 2019Porto Alegre SBC 2019Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Artigo de Congresso
|
|
Study and definition of project attributes for selection of testing techniques for concurrent softwareÍtalo de Oliveira Santos Simone do Rocio Senger de Souza; Congresso Brasileiro de Software - CBSoft (10. 2019 Salvador); Workshop de Teses e Dissertações - WTDSoft (2019 Salvador)Proceedings Porto Alegre : SBC,2019Porto Alegre SBC 2019Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Artigo de Congresso
|
|
Bio-inspired optimization of test data generation for concurrent softwareRicardo Ferreira Vilela Victor Hugo Santiago Costa Pinto; Thelma Elita Colanzi; Simone do Rocio Senger de Souza; International Symposium on Search Based Software Engineering - SSBSE (11. 2019 Tallinn, Estonia)Lecture Notes in Computer Science - LNCS Cham : Springer v. 11664, p. 121-136, 2019Cham Springer 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2959518 )(Acessar) |
| 10 |
Material Type: Artigo
|
|
Empirical research on concurrent software testing a systematic mapping studySilvana M. Melo (Silvana Morita Melo) Jeffrey C Carver; Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de SouzaInformation and Software Technology Amsterdam : Elsevier v. 105, p. 226-251, Jan. 2019Amsterdam 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2931703 )(Acessar) |
Resultados de 1 a 10 de 713 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (156)
- Revistas revisadas por pares (2)
- Disponível na Biblioteca (701)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (477)
- Livros (158)
- Produções Acadêmicas (68)
- Produções Técnicas (6)
- Outros (5)
- Materiais Didáticos (4)
-
Mais opções
Assunto
- Programação Concorrente (700)
- Sistemas Distribuídos (550)
- Metodologia E Técnicas De Computação (89)
- Computação Aplicada (77)
- Engenharia De Software (64)
- Sistemas De Informação (49)
- Softwares (40)
- Sistemas Embutidos (36)
- World Wide Web (35)
- Multimídia Interativa (32)
- Sistemas Operacionais (30)
- Arquitetura E Organização De Computadores (28)
- Parallel Processing (Electronic Computers) (23)
- Electronic Data Processing (19)
- Computação Evolutiva (17)
- Operating Systems (Computers) (17)
- Programação Paralela (14)
- Computação Gráfica (12)
- Inteligência Artificial (11)
- Algoritmos Genéticos (11)
- Computers (3)
- Computation By Abstract Devices (2)
- Procesamiento Paralelo (2)
- Kongress (2)
- Congrès (2)
- Congresses (2)
- Teoria Da Computação (2)
- Programming Techniques (2)
- Algorithmes Génétiques (1)
- Algorithme Génétique (1)
- 68t (1)
- Administración De Bases De Datos (1)
- Algoritmizace (1)
- Accès Multiple (1)
- Algorithms (1)
- Algorithm Analysis And Problem Complexity (1)
- Algoritmen (1)
- Algorithme (1)
- Arquitetura E Organização De Computadores (1)
- Algoritmos Computacionales (1)
-
Mais opções
Autor/Criador
- Mello, R (132)
- Santana, M (114)
- Santana, R (107)
- Branco, K (75)
- Ueyama, J (69)
- Estrella, J (66)
- Bruschi, S (55)
- Souza, P (51)
- Moreira, E (39)
- Souza, S (38)
- Yang, L (34)
- Senger, L (27)
- Nakamura, L (24)
- Pessin, G (20)
- Monaco, F (19)
- Villas, L (18)
- Faiçal, B (18)
- Reiff-Marganiec, S (17)
- Filho, G (16)
- Pigatto, D (16)
-
Mais opções
Data de Publicação
- Antes de1983 (20)
- 1983Até1992 (52)
- 1993Até2002 (78)
- 2003Até2013 (366)
- Após 2013 (203)
-
Mais opções
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (681)
- IME - Inst. Matemática e Estatística (68)
- IFSC - Inst. Física de São Carlos (30)
- EPBC - Esc. Politécnica-Bib Central (21)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (9)
- FEA - Fac. Econ. Adm. Contab. e Atuária (4)
- FMRP - Fac. Medicina de Ribeirão Preto (3)
- EACH - Esc. Artes, Ciências e Humanidades (2)
- IEE - Inst. de Energia e Ambiente (2)
- IF - Instituto de Física (2)
- PUSPSC - Prefeitura do Campus USP de São Carlos (2)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (2)
- EESC - Esc. Engenharia de São Carlos (2)
- FEARP - Fac. Econ. Adm. Cont. de R. Preto (1)
- FOB - Fac. Odontologia de Bauru (1)
- EERP - Esc. Enfermagem Ribeirão Preto (1)
- IO - Instituto Oceanográfico (1)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (1)
-
Mais opções
Base de Dados/Biblioteca
- Lecture Notes in Computer Science Archive (through to 1996) (2)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (2)
- Springer Books (2)
- SpringerLINK Lecture Notes in Computer Science (2015) (2)
- SpringerLink Books Lecture Notes in Computer Science Archive (2)
- Springer Books Online Archive (2)
- IngentaConnect Journals (1)
- ScienceDirect eBooks (1)
- eBook - All Access Books [EBAAB] (1)
- DOAJ Directory of Open Access Journals (1)
-
Mais opções
Idioma
- Inglês (517)
- Português (215)
- Espanhol (1)
-
Mais opções
Nome da Publicação
- Proceedings (152)
- Anais (91)
- INFOCOMP : Journal of Computer Science (13)
- Lecture Notes in Computer Science (10)
- IEEE Latin America Transactions (9)
- Journal of Physics: Conference Series (7)
- Revista de Informática Teórica e Aplicada - RITA (6)
- Communications in Computer and Information Science (5)
- Expert Systems with Applications (5)
- Plos One (5)
- International Journal of Parallel, Emergent and Distributed Systems (4)
- International Journal of Security and its Applications (4)
- Agência FAPESP (3)
- Schedule and Abstracts (3)
- International Journal of Distributed Sensor Networks (3)
- International Journal on Artificial Intelligence Tools (3)
- Signal Processing (3)
- International Journal of Services Computing (IJSC) (2)
- Intelligent Data Analysis (2)
- Journal of the Brazilian Computer Society (2)
- Gestão & Produção (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 