Browsing 40001016034P5 Programa de Pós-Graduação em Informática by Title
Now showing items 520-539 of 559
-
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 ... -
Um modelo de proveniência para extração de tendências em séries temporais
(2014)Resumo: Muitas áreas do conhecimento estão relacionadas com a análise de séries temporais, as quais são constituídas por uma sequencia de observações de dados sobre o tempo. A análise de séries temporais difere da análise ... -
Um repositório chave-valor com garantia de localidade de dados
(2016)Resumo: Grandes volumes de dados produzidos diariamente trouxeram desafios envolvendo a definição de formas eficientes de como extraí-los, armazená-los e acessá-los. Entretanto, soluções tradicionais de bancos de dados não ... -
Uma introdução à complexidade computacional parametrizada
(2013)Resumo: A Complexidade Parametrizada é uma maneira de analisar a complexidade computacional de um problema computacional. Nesta dissertação damos uma Introdução à Complexidade Computacional Parametrizada com atenção aos ... -
Uma proposta de arquitetura de alto desempenho para sistemas PACS baseada em extensões de banco de dados
(2014)Resumo: O uso de imagens digitais no processo de diagnóstico médico é observável em diferentes escalas e cenários de aplicação, tendo evoluído em termos de volume de dados adquiridos e número de modalidades de exame ... -
Under pressure benchmark
(2013-05-09)Resumo: A disponibilidade de um sistema refere-se a probabilidade dele estar totalmente operacional (i.e., sem falhas) em um determinado momento [32]. Considerando que todo ambiente computacional e susceptível a falhas, ... -
URF (Framework Unificado de Robótica) : proposta de interface para sistemas distribuídos
(2017)Resumo: Em robótica, sistemas distribuídos têm sido utilizados para organizar os projetos de software em módulos, facilitando o desenvolvimento, compartilhamento, manutenção e testes. No entanto, esta modularização traz o ... -
Using NLP to generate user stories from software specification in natural language
(2018)Resumo: O processo de elicitar as Histórias de Usuário requeridas para o desenvolvimento de software exige tempo e dedicação, e pode apresentar muito retrabalho se as conversas com partes interessadas não fornecerem ... -
O uso de cadeias de assinaturas para distribuição e gerenciamento de chaves em redes tolerantes a atrasos e desconexões
(2013-10-07)Resumo: As Redes Tolerantes a Atrasos e Desconexões (DTNs) são parte das redes Ad-Hoc e, desta forma, herdam seus problemas, dentre eles, o problema de prover segurança. Por serem redes que usam sinais de radio para ... -
O uso de múltiplos enxames na otimização de problemas com vários objetivos
(2014)Resumo: A computação bioinspirada permite a resolução de uma gama de problemas computacionais. Dentre as várias meta-heurísticas existentes, o algoritmo PSO (Particle Swarm Optimization) tem sido aplicado eficientemente ... -
Uso de padrões em projeto arquitetural baseado em busca de linha de produto de Software
(2014)Resumo: Padrões de projeto visam a melhorar o entendimento e o reúso de arquiteturas de software. No projeto baseado em busca eles têm sido aplicados com sucesso por meio de operadores de mutação em processos evolutivos. ... -
Uso de redes neurais na previsao de desvios em arquiteturas superescalares
(2012-03-12)Os processadores comerciais atuais usam técnicas agressivas para a extração do paralelismo em nível de instrução com o objetivo de atingir maior desempenho. Uma destas técnicas, a previsão de desvios, é usada para antecipar ... -
Utilização de Heurísticas de Planejamento no desdobramento de redes de Petri
(2010-08-30)Resumo: Diversos trabalhos envolvema relação existente entre os problemas de Planejamento Clássico e os problemas de alcançabilidade de redes de Petri, em virtude da proximidade existente entre estes dois formalismos. Uma ... -
Utilização de múltiplas representações externas para construção de fractais em ambientes exploratórios de aprendizagem
(2012-10-10)Resumo: Este trabalho aborda a utilização de Múltiplas Representações Externas como invólucros de instruções complexas durante o processo de construção de figuras geométricas conhecidas como fractais. Dada a dificuldade ... -
Utilizando algoritmos de busca meta-heurística para estabelecer sequências de teste de integração para programas orientados a aspectos
(2011-08-29)Resumo: O uso de novos paradigmas, tais como os de orientação a objetos e a aspectos, trouxe novos desafios para o teste de software, atividade considerada fundamental na maioria das organizações de software. Estes desafios ... -
Utilizando análise de mutantes no teste de programas prolog
(2011-02-10)Resumo: Diversos critérios e ferramentas de teste têm sido propostos ultimamente com o objetivo de auxiliar a seleção e a avaliação de um conjunto de dados de teste. Dentre esses critérios, destacam-se os critérios baseados ... -
Utilizando análise de mutantes para realizar o teste de documentos XML Schema /
(2006)Orientadora: Silvia Regina Vergílio -
Utilizando fotografias digitais de alta qualidade na geração de textura para modelos 3D
(2010-05-28)Resumo: A Preservação Digital 3D é uma área da Computação Gráfica que visa gerar modelos tridimensionais virtuais de objetos que possuem valor cultural ou cientifico. A preservação digital possibilita a visualização ... -
Utilizando meta-aprendizado para seleçăo de modelos de confiabilidade de software /
(2008)Inclui apęndices