Browsing 40001016034P5 Programa de Pós-Graduação em Informática by Title

Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista

Ribas, Bruno César (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

Souza, Lucelia de (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

Bungama, Patrick Andjasubu (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

Novacoski, Jonilso (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

Savaris, Alexandre (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

Fior, Alessandro Gustavo Farias (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

Bombardelli, Felipe Gustavo (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

Pereira, Angela Cristina (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

Andrade, Diogo de (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 ...

Uso de grafos na recuperaçăo de imagens por conteúdo /

Ferreira, Cloris Ragna (2005)

Orientador: André Luiz Pires Guedes

O uso de múltiplos enxames na otimização de problemas com vários objetivos

Campos Junior, Arion de (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

Guizzo, Giovani (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

Ribas, Luiz Vinicius Marra (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

Kultz, Rene (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

Sousa, Rafael de Andrade (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

Galvan, Rodrigo (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 ...