Navegação 40001016034P5 Programa de Pós-Graduação em Informática por título
Itens para a visualização no momento 339-358 of 481
-
Planejamento módulo teorias : estudo e análise de desempenho para um novo domínio usando tempo e recursos
(2019)Resumo: À medida que a pesquisa de planejamento se torna mais relevante para aplicações no mundo real, aumentam as demandas de poder expressivo na linguagem de modelagem. Em particular, existe um novo formalismo de ... -
Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos
(2012-10-05)Resumo -
Planejamento semi-autônomo : uma nova abordagem para a segmentação de planos em ambientes multiagente
(2020)Resumo: Nesta dissertação é apresentada uma extensão ao planejador HEART publicado em (Gréa et al., 2018). O planejador HEART apresenta um mecanismo para a solução do problema de planejamento através do uso de rede de ... -
Uma plataforma NFV-MANO para suporte e orquestração de serviços de rede virtualizados em nuvem CloudStack
(2021)Resumo: A Virtualização de Funções de Rede (Network Functions Virtualization - NFV) permite que funções de rede tradicionalmente executadas em hardware especializado sejam implementadas em software e instanciadas como VNFs ... -
Plataforma para desenvolvimento e avaliação de resolvedores SAT
(2012-02-06)Resumo: Este estudo apresenta a criação de uma plataforma para o desenvolvimento e a avaliação de algoritmos que visam resolver o problema de definir a satisfatibilidade de uma fórmula em lógica proposicional. Muitos estudos ... -
Uma plataforma robusta para gerência de recursos em nuvens IaaS
(2016)Resumo: Neste trabalho e descrita uma plataforma robusta para gerência de recursos em nuvens IaaS (Infrastructure as a Service). A plataforma e construída sobre o Aurora Cloud Manager, que e um gerenciador de nuvem IaaS ... -
Popularização da ciência : a pesquisa-ação como instrumento de construção do conhecimento científico e inclusão social
(2021)Resumo: A pesquisa-ação é uma proposta metodológica que está atrelada a uma ação coletiva, com o objetivo de transformação da realidade. A popularização da ciência, por sua vez, visa instrumentalizar o cidadão para um ... -
Porting machine learning algorithms to vector-in-memory architecture
(2020)Resumo: A Aprendizagem de Maquina surgiu por volta de 1960, com o foco na capacidade de aprendizagem do computador e, desde entao, se tornou uma ferramenta util para analisar a vasta quantidade de dados que e gerada em ... -
Predição de movimento em jogos distribuídos baseada em aprendizado de máquina
(2015)Resumo: Em jogos distribuídos multiplayer os jogadores mantém uma visão consistente das posições uns dos outros através da troca periódica de informações sobre a movimentação de seus personagens. As mensagens de atualização, ... -
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 ... -
Preservando o estilo arquitetural no projeto baseado em busca de produto software
(2015)Resumo: A adoção de estilos arquiteturais contribui para melhorar uma Arquitetura de Linha de Produto de Software (ALP) ao prover uma organização específica para os elementos, melhorando sua flexibilidade, extensibilidade ... -
Priorização de casos de teste baseada em aprendizado de máquina no contexto de ambientes de integração contínua
(2022)Resumo: Com a adoção de praticas de integração continua pela maioria das empresas de software, o uso de técnicas de priorização de casos de teste (do inglês: Test Case Prioritizaion, TCP) tornou-se fundamental para reduzir ... -
Profiling Halide DSL with performance events for schedule optimization
(2019)Resumo: Aplicações de processamento de imagens atualmente requerem otimizações e especializações apropriadas para que possam atingir boa performance em hardwares paralelos e heterogêneos disponíveis. Um problema existente ... -
Programação genética baseada em árvores para classificação com uma classe com ênfase na geração de anomalias
(2012-01-18)Resumo: A PG (Programação Genetica) e aplicada com sucesso em Classicação. Entretanto, a pesquisa voltada a aplicação de PG para OCC (One-Class Classication) encontra-se em estagios iniciais, pois os poucos trabalhos ... -
Programação matemática e imersões métricas para aproximações em problemas de corte
(2014)Resumo: Os algoritmos de aproximação são capazes de gerar soluções próximas da ótima demandando tempo de execução polinomial. Vários dos algoritmos de aproximação existentes na literatura solucionam problemas com base em ... -
Uma proposta de aplicação integrada para a transferência automática de documentos estruturados por meio da web, utilizando serialização de objetos e meta-linguagem XML
(2001)Resumo: A dificuldade de localizar e resgatar conteúdos na WEB, pela falta de padrões na estruturação de informações, pode gerar incompatibilidades na troca de dados entre pessoas e/ou organizações. Este fato motivou este ... -
Uma proposta de framework para gestão de requesitos em produtos de software livre
(2014)Resumo: O modelo de desenvolvimento adotado pelas comunidades de software livre costuma ser bastante eficaz, porém entre os maiores desafios atuais está a busca de melhorias no processo de desenvolvimento que possam ... -
Proposta de um modelo computacional para representação de sinais em uma arquitetura de serviços HCI-SL para línguas de sinais
(2015)Resumo: A falta de acesso à informação e ao conhecimento científico tem sido um grande obstáculo enfrentado por algumas comunidades minoritárias. Este é o caso das comunidades de Surdos que, historicamente, têm sofrido ... -
Proposta de uma área de convergência Nuvem-HPC para a redução do número de violações de tempo de resposta em centrais de dados
(2017)Resumo: A computação de alto desempenho vem permitindo à ciência avançar rapidamente em muitas áreas do conhecimento. Por sua vez, as tecnologias de computação em nuvem proporcionam o acesso a recursos computacionais a ...