ReP USP - Resultado da busca

Trabalho de evento-resumo
Structural testing criteria for concurrent programs consideringloop executions (2019)
Diaz, Silvia Margarita Diaz ; Souza, Paulo Sérgio Lopes de
Source: Anais Estendidos. Conference titles: Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD. Unidade: ICMC
Subjects: PROGRAMAÇÃO CONCORRENTE, PROGRAMAÇÃO PARALELA, TESTES DE HIPÓTESES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DIAZ, Silvia Margarita Diaz e SOUZA, Paulo Sérgio Lopes de. Structural testing criteria for concurrent programs consideringloop executions. 2019, Anais.. SBC: Porto Alegre, 2019. Disponível em: https://doi.org/10.5753/wscad_estendido.2019.8711. Acesso em: 10 nov. 2025.
APA
Diaz, S. M. D., & Souza, P. S. L. de. (2019). Structural testing criteria for concurrent programs consideringloop executions. In Anais Estendidos. SBC: Porto Alegre. doi:10.5753/wscad_estendido.2019.8711
NLM
Diaz SMD, Souza PSL de. Structural testing criteria for concurrent programs consideringloop executions [Internet]. Anais Estendidos. 2019 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.5753/wscad_estendido.2019.8711
Vancouver
Diaz SMD, Souza PSL de. Structural testing criteria for concurrent programs consideringloop executions [Internet]. Anais Estendidos. 2019 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.5753/wscad_estendido.2019.8711
Dissertação (Mestrado)
Structural testing criteria for concurrent programs considering loop execution (2019)
Diaz, Silvia Margarita Diaz; Souza, Paulo Sérgio Lopes de (Orientador)
Unidade: ICMC
Subjects: PROGRAMAÇÃO CONCORRENTE, PROGRAMAÇÃO PARALELA, SOFTWARES, TESTES DE HIPÓTESES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DIAZ, Silvia Margarita Diaz. Structural testing criteria for concurrent programs considering loop execution. 2019. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21082019-154821/. Acesso em: 10 nov. 2025.
APA
Diaz, S. M. D. (2019). Structural testing criteria for concurrent programs considering loop execution (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21082019-154821/
NLM
Diaz SMD. Structural testing criteria for concurrent programs considering loop execution [Internet]. 2019 ;[citado 2025 nov. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21082019-154821/
Vancouver
Diaz SMD. Structural testing criteria for concurrent programs considering loop execution [Internet]. 2019 ;[citado 2025 nov. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21082019-154821/
Tese (Doutorado)
Metodologia e ferramentas para paralelização de laços perfeitamente aninhados com processamento heterogêneo (2018)
Luz, Cleber Silva Ferreira da; Sato, Liria Matsumoto (Orientador)
Unidade: EP
Subjects: PROGRAMAÇÃO PARALELA, PROGRAMAÇÃO CONCORRENTE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LUZ, Cleber Silva Ferreira da. Metodologia e ferramentas para paralelização de laços perfeitamente aninhados com processamento heterogêneo. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-22052018-134742/. Acesso em: 10 nov. 2025.
APA
Luz, C. S. F. da. (2018). Metodologia e ferramentas para paralelização de laços perfeitamente aninhados com processamento heterogêneo (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-22052018-134742/
NLM
Luz CSF da. Metodologia e ferramentas para paralelização de laços perfeitamente aninhados com processamento heterogêneo [Internet]. 2018 ;[citado 2025 nov. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-22052018-134742/
Vancouver
Luz CSF da. Metodologia e ferramentas para paralelização de laços perfeitamente aninhados com processamento heterogêneo [Internet]. 2018 ;[citado 2025 nov. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-22052018-134742/
Dissertação (Mestrado)
Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela (2015)
Batista, Raphael Negrisoli; Souza, Paulo Sérgio Lopes de (Orientador)
Unidade: ICMC
Subjects: PROGRAMAÇÃO CONCORRENTE, PROGRAMAÇÃO PARALELA, SISTEMAS DISTRIBUÍDOS, CIÊNCIA DA COMPUTAÇÃO (ESTUDO E ENSINO)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BATISTA, Raphael Negrisoli. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/. Acesso em: 10 nov. 2025.
APA
Batista, R. N. (2015). Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/
NLM
Batista RN. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela [Internet]. 2015 ;[citado 2025 nov. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/
Vancouver
Batista RN. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela [Internet]. 2015 ;[citado 2025 nov. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/
Dissertação (Mestrado)
Integração entre veículos aéreos não tripulados e redes de sensores sem fio para aplicações agrícolas (2013)
Costa, Fausto Guzzo da; Ueyama, Jó (Orientador)
Unidade: ICMC
Subjects: WIRELESS, AGRICULTURA DE PRECISÃO, PROGRAMAÇÃO CONCORRENTE, PROGRAMAÇÃO PARALELA, SISTEMAS DISTRIBUÍDOS, REDES DE COMPUTADORES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Fausto Guzzo da. Integração entre veículos aéreos não tripulados e redes de sensores sem fio para aplicações agrícolas. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12042013-150638/. Acesso em: 10 nov. 2025.
APA
Costa, F. G. da. (2013). Integração entre veículos aéreos não tripulados e redes de sensores sem fio para aplicações agrícolas (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12042013-150638/
NLM
Costa FG da. Integração entre veículos aéreos não tripulados e redes de sensores sem fio para aplicações agrícolas [Internet]. 2013 ;[citado 2025 nov. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12042013-150638/
Vancouver
Costa FG da. Integração entre veículos aéreos não tripulados e redes de sensores sem fio para aplicações agrícolas [Internet]. 2013 ;[citado 2025 nov. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12042013-150638/
Dissertação (Mestrado)
Um estudo sobre o design, a implementação e a avaliação de interfaces flexíveis para idosos em telefones celulares (2012)
Gonçalves, Vinicius Pereira; Ueyama, Jó (Orientador)
Unidade: ICMC
Subjects: PROGRAMAÇÃO PARALELA, INTERFACE HOMEM-COMPUTADOR, TELEFONIA CELULAR, PROGRAMAÇÃO CONCORRENTE, MIDDLEWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GONÇALVES, Vinicius Pereira. Um estudo sobre o design, a implementação e a avaliação de interfaces flexíveis para idosos em telefones celulares. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-27062012-170004/. Acesso em: 10 nov. 2025.
APA
Gonçalves, V. P. (2012). Um estudo sobre o design, a implementação e a avaliação de interfaces flexíveis para idosos em telefones celulares (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-27062012-170004/
NLM
Gonçalves VP. Um estudo sobre o design, a implementação e a avaliação de interfaces flexíveis para idosos em telefones celulares [Internet]. 2012 ;[citado 2025 nov. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-27062012-170004/
Vancouver
Gonçalves VP. Um estudo sobre o design, a implementação e a avaliação de interfaces flexíveis para idosos em telefones celulares [Internet]. 2012 ;[citado 2025 nov. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-27062012-170004/
Tese (Doutorado)
Escalonamento de processos: uma abordagem dinâmica e incremental para a exploração de características de aplicações paralelas (2005)
Senger, Luciano José; Santana, Marcos José (Orientador)
Unidade: ICMC
Subjects: SISTEMAS DISTRIBUÍDOS, PROGRAMAÇÃO CONCORRENTE, PROGRAMAÇÃO PARALELA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SENGER, Luciano José. Escalonamento de processos: uma abordagem dinâmica e incremental para a exploração de características de aplicações paralelas. 2005. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2005. . Acesso em: 10 nov. 2025.
APA
Senger, L. J. (2005). Escalonamento de processos: uma abordagem dinâmica e incremental para a exploração de características de aplicações paralelas (Tese (Doutorado). Universidade de São Paulo, São Carlos.
NLM
Senger LJ. Escalonamento de processos: uma abordagem dinâmica e incremental para a exploração de características de aplicações paralelas. 2005 ;[citado 2025 nov. 10 ]
Vancouver
Senger LJ. Escalonamento de processos: uma abordagem dinâmica e incremental para a exploração de características de aplicações paralelas. 2005 ;[citado 2025 nov. 10 ]
Tese (Doutorado)
Um conjunto de recursos para programação paralela orientada a objetos (2001)
Salvador, Laís do Nascimento; Sato, Liria Matsumoto (Orientador)
Unidade: EP
Subjects: PROGRAMAÇÃO ORIENTADA POR OBJETOS, PROGRAMAÇÃO PARALELA, PROGRAMAÇÃO CONCORRENTE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALVADOR, Laís do Nascimento. Um conjunto de recursos para programação paralela orientada a objetos. 2001. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2001. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12112024-141819/pt-br.php. Acesso em: 10 nov. 2025.
APA
Salvador, L. do N. (2001). Um conjunto de recursos para programação paralela orientada a objetos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12112024-141819/pt-br.php
NLM
Salvador L do N. Um conjunto de recursos para programação paralela orientada a objetos [Internet]. 2001 ;[citado 2025 nov. 10 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12112024-141819/pt-br.php
Vancouver
Salvador L do N. Um conjunto de recursos para programação paralela orientada a objetos [Internet]. 2001 ;[citado 2025 nov. 10 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12112024-141819/pt-br.php

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects