Navegação Teses por assunto "Algorítmos de computador"
Itens para a visualização no momento 1-4 of 4
-
Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista
(2015)Resumo: Ao longo da última década, resolvedores de Satisfatibilidade Booleana (SAT) e Programação Inteira Linear (ILP) melhoraram significativamente com a introdução de novos algoritmos, que permitiram o tratamento de um ... -
A multi-armed bandit approach for enhancing test case prioritization in continuous integration environments
(2021)Resumo: A Integração Contínua (do inglês Continuous Integration, CI) é uma prática comum e amplamente adotada na indústria que permite a integração frequente de mudanças de software, tornando a evolução do software mais ... -
Planejamento de caminhos 3D em ambiente estático
(2023)Resumo: O Planejamento de caminhos no R3 é um problema computacional que tem despertado o interesse dos pesquisadores por sua vasta aplicabilidade em otimização. Dados um ambiente 3D com obstáculos, um ponto origem e um ... -
A preference-based approach for reducing the number of objectives applied to the variability testing of software product line
(2019)Resumo: Algoritmos evolutivos para multiplos e muitos objetivos tem sido aplicados para selecionar produtos para o teste de variabilidade de Linhas de Produtos de Software (LPS). Esse problema refere-se a selecao de um ...