Programa de Pós-Graduação em Informática
Submissões recentes
-
X : X
(20--)Resumo: Memória virtual foi concebida na década de 1960 para contornar as limitações de uma memória RAM escarça e cara. Nos próximos anos esperamos ter computadores com 264 bytes de memória RAM instalada. A paginação sob ... -
X : X
(20--)Resumo: Novos programas maliciosos são criados e liberados diariamente para enganar usuários e superar soluções de segurança, assim exigindo melhora continua nestes mecanismos (por exemplo, atualização constante de antivírus). ... -
Gestão de informações médicas em unidades básicas de saúde : análise de um caso real e proposta de um modelo de controle de uso de informações médicas sensível ao contexto
(2017)Resumo: No Brasil, o Setor Primário de atendimento de saúde que corresponde às Unidades Básicas de Saúde - UBS, estão, atualmente, em processo de evolução digital. Os prontuários Eletrônicos - PE são direcionados apenas ... -
Correspondência de minúcias utilizando nuvens de poros 3D
(2018)Resumo: Esta dissertação de mestrado propõe uma nova metodologia para a identificação biométrica de indivíduos utilizando recursos em nível 3 (poros), extraídos de imagens de impressões digitais 3D obtidas através da ... -
Proteção de dados de autenticação em um sistema operacional usando enclaves SGX
(2017)Resumo: Quando se trata sobre segurança computacional alguns aspectos devem ser observados. Um principio importante e manter a base de computação confiável (TCB) a menor possível. Desta forma a superfície de ataque fica ... -
Um modelo de provisionamento elástico de recursos baseado em níveis de estresse
(2016)Resumo: A computação em nuvem pode ser definida como um modelo de compartilhamento de recursos computacionais,que podem ser adicionados e removidos de forma dinâmica e elástica possibilitando ajustar os recursos alocados ... -
Um esquema de autenticação resistente a taques de repetição de identidades em redes heterogêneas
(2016)Resumo: O desenvolvimento das redes heterogêneas sem fio (RHSFs) apresentou uma maior abrangência de comunicação suportando a demanda dos usuários de dispositivos móveis. Isso ocorre devido à possibilidade de interoperabilidade ... -
Arco consistência generalizada em codificações SAT relativas
(2017)Resumo: Várias codificações de problemas relevantes para SAT ou suas variações são conhecidas e estudadas pela comunidade. Uma possível maneira de mensurar a eficiência destas codificações consiste em avaliar a manutenção ... -
Um estudo sobre configuração automática do algoritmo de otimização por enxame de partículas multiobjetivo
(2017)Resumo: O desempenho de algoritmos bio-inspirados está diretamente relacionado a uma escolha adequada de componentes e parâmetros de projeto. Para aumentar a robustez destes métodos e facilitar a sua utilização para usuário ... -
Normalisation of imprecise temporal expressions extracted from text
(2016)Resumo: Técnicas e sistemas de extração de informações são capazes de lidar com a crescente quantidade de dados não estruturados disponíveis hoje em dia. A informação temporal está entre os diferentes tipos de informações ... -
A near-data select scan operator for database systems
(2017)Resumo: Um dos grandes gargalos em sistemas de bancos de dados focados em leitura consiste em mover dados em torno da hierarquia de memória para serem processados na CPU. O movimento de dados é penalizado pela diferença ... -
Tolerância a falhas em sistemas MPI com grupos dinâmicos de processos recomendados e registro de mensagens distribuído baseado em paxos
(2017)Resumo: Os sistemas HPC (High-Performance Computing) são geralmente empregados para executar aplicações de longa duração, incluindo, por exemplo, simulações científicas e industriais complexas. Construir sistemas HPC ... -
Análise do impacto das estratégias de seleção de tradicionais MOEAs EM MOEDAs : CMA-ES E UMDA
(2017)Resumo: Pesquisas apontam que, em problemas de otimização mono-objetivo, a capacidade de busca dos algoritmos de estimação de distribuição é fortemente influenciada pelo método de seleção que implementam. O mesmo se observa ... -
Um sistema de identificação antecipada e transmissão prioritária de alertas médicos sobre WBANs e WLANs
(2017)Resumo: Os aplicativos e dispositivos móveis têm sido cada vez mais utilizados no monitoramento dos cuidados com a saúde, como no acompanhamento de atividades físicas. Em 2016, cerca de 7 milhões de pessoas foram monitoradas ... -
Meta-heurísticas e hiper-heurísticas aplicadas ao problema de dobramento de proteínas
(2017)Resumo: Proteínas são estruturas, compostas por aminoácidos, que exercem um papel importante na natureza. Estas estruturas são formadas a partir de um processo de dobramento, no qual uma sequência de aminoácidos inicialmente ... -
Uma abordagem baseada em hiper-heurística e otimização multi-objetivo para o teste de mutação de ordem superior
(2017)Resumo: Determinar um conjunto de casos de teste que possua alta probabilidade de revelar defeitos em um software é um dos principais objetivos da área de teste de software. Dentre os vários critérios propostos na literatura ... -
Algoritmos para o problema da clique máxima : análise e comparação experimental
(2017)Resumo: O problema da Clique Máxima (CM) é um problema fundamental e há uma grande motivação pela busca de algoritmos tão eficientes quanto possível para resolvê-lo de forma exata. Como esperado para um problema NP-difícil, ... -
Um modelo para gerenciamento de transações com controle de cache em um repositório chave-valor
(2017)Resumo: As estratégias mais comuns para alocação de dados em sistemas distribuídos são as tabelas de dispersão distribuídas (DHT) e os sistemas de diretórios distribuídos. As DHTs garantem escalabilidade, porém não dão às ... -
Ambiente interativo tangível de baixo custo para apoio ao letramento Braille
(2017)Resumo: O interesse pelo uso do braille e o domínio do mesmo por parte da população cega tem apresentado queda significativa, caracterizando o fenômeno de "desbraillização". A popularização de leitores de tela facilitou ...
RSS 1.0