Projeto de Pesquisa aprovado no programa FAP Ação Transversal. O objetivo do projeto é o desenvolvimento de firmware e automatização de testes de firmware para o Produto Spectrum PIART. O Spectrum PIART, é um medidor de energia elétrica ativa, energia reativa indutiva e capacitiva, classe de presisão 1%, 2 ou

O presenteprojeto tem como objetivo o desenvolvimento de um framework para recuperação de imagens que opera a partir da combinação de descritores de conteúdo (cor, textura e forma) e de múltiplas evidencias textuais. Nossa motivação é contribuir com o desenvolvimento de mecanismos de busca capazes de representar de uma maneira mais ?dedigna as

Este projeto visa investigar as interacoes entre grandes grupos sociais e sistemas distribuidos em larga escala. E constituido de tres sub-areas principais: desempenho de sistemas par-a-par, no qual participo, caracterização do impacto do tempo de resposta no comportamento do usuários de serviços Internet, e planejamento de capacidade. Alunos envolvidos: Graduação:

O contexto deste projeto de pesquisa envolve algoritmos de otimização explorados em problemas clássicos de Combinatória, mas com grande potencial de aplicação a problemas reais, mas também a três temas de aplicação amarrados a outras linhas clássicas da computação: Engenharia de Software, Robótica, Visão Computacional e Jogos, e Redes de

O objetivo deste projeto é oferecer meios para avaliação empírica dos efeitos positivos e negativos de diferentes mecanismos de composição de uma família de sistemas na estabilidade e na robustez dos produtos de software. Ao fim deste projeto espera-se obter os seguintes resultados: (i) identificar, documentar e formalizar diferentes formas

Este projeto tem como objetivo central o desenvolvimento de ferramentas computacionais para a construção automática de ambientes virtuais realísticos, a partir de fotografias e vídeos digitais de objetos e cenas reais. Pretendemos utilizar os ambientes desenvolvidos em aplicações de tele-imersão, através de projeto e desenvolvimento de interfaces hápticas. Além das

Com a complexidade dos circuitos integrados (CIs) crescendo exponencialmente, as técnicas tradicionais de verificação nem sempre são suficientes para localizar todos os erros de um projeto. Uma das técnicas mais utilizadas nos dias de hoje é a verificação baseada em asserções. asserções são monitores instanciados pelo projetista do circuito integrado

Devido à existência de um grande volume de dados obtidos a partir de câmeras de vigilância, o entendimento e a interpretação automática de atividades desempenhadas por humanos em vídeos apresenta grande interesse de modo a auxiliar a tarefa de agentes de segurança. O monitoramento automático de ambientes vigiados possibilitará o

O objetivo deste projeto é desenvolver técnicas de otimização de código que modifiquem programas CUDA automaticamente, para mitigar o custo de divergências na execução de aplicações paralelas. Alunos envolvidos: Graduação: (1) . Integrantes: Fernando Magno Quintão Pereira – Coordenador / Fernando Carvalho Coelho – Integrante.