Buscar
Itens para a visualização no momento 1-10 of 20
Método para verificação de propriedades de redes de petri utilizando resolvedores SMT
(2013-09-13)
Resumo: Este trabalho apresenta um método para verificar as propriedades de alcançabilidade e de bloqueio em rede de Petri. Rede de Petri e um modelo formal utilizado para modelar sistemas. O metodo proposto consiste em ...
Metodologia para implementação de estratégias colaborativas mediadas por ferramentas de interação síncronas
(2013-09-19)
Resumo: Neste trabalho é criada e proposta uma metodologia geral com um modelo de processos para a realização de sessões de aprendizagem, considerando um entorno colaborativo com interação síncrona mediada por ferramentas ...
A tuning approach based on evolutionary algorithm and data sampling for boosting performance of mapreduce programs
(2013)
Resumo: O software de processamento de dados Apache Hadoop está introduzido em um ambiente complexo composto de enormes cluster de máquinas, grandes conjuntos de dados e vários programas de processamento. Administrar tal ...
Hyperdht-dht de um salto baseada em hipercubo virtual distribuido
(2013-08-02)
Resumo: Um problema chave das redes P2P é a localização de um peer, ou nodo, que armazena um determinado recurso ou conteúdo. Os primeiros sistemas P2P desenvolvidos utilizavam métodos de localização por inundação ou ...
Avaliação de sistema baseado em MapReduce para carregamento de modelos
(2013)
Resumo: O sucesso do desenvolvimento de software baseado em modelos levou ao estudo e aplicação destas técnicas em situações bastante diversas, como migração de sistemas legados, que antes não eram previstas. Isto exigiu ...
Um modelo de execução de fluxos de trabalho científico utilizando técnicas de planejamento automático
(2013-06-24)
Resumo: Experimentos científicos produzem grande quantidade de informações que necessitam de processamento para uma posterior análise. Um cientista, que não é da área da computação, nem sempre possui as habilidades para ...
A Virtual-Machines-MIB
(2013-02-19)
Resumo: Este trabalho apresenta a Virtual-Machines-MIB, uma MIB para a gerˆencia de m´aquinas virtuais baseada no Simple Network Management Protocol (SNMP). A Virtual-Machines- MIB define uma interface padronizada para a ...
Reconstrução precisa de modelos 3D comaplicação na preservação digital de patrimônios naturais e culturais
(2013-03-13)
Resumo: A preservação digital de patrimônios naturais e culturais é uma das aplicações mais desafiadoras para a reconstrução 3D, já que seus resultados exigem alta fidelidade tanto da geometria quanto da textura do modelo ...
Avatar 3D para síntese automática de sinais da língua de sinais brasileira
(2013-04-23)
Resumo: A Libras, Língua de Sinais Brasileira, utilizada por pessoas com deficiência auditiva, tem impulsionado estudos nos mais diversos campos. Na área de tecnologia de informação não e diferente. Para pessoas com esta ...
Escalonamento de tarefas no fechamento de lacunas em plataformas de sequenciamento genético de nova geração
(2013)
Resumo: Este trabalho propõe um escalonador de tarefas para controlar a demanda de envio de lacunas de genoma para o processamento obtidas pelo processo, considerando os recursos computacionais disponíveis. O objetivo do ...