Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos

Abordagens Robustas e Discriminativas para Observação de Pessoas

O entendimento automático de atividades desempenhadas por humanos em vídeos apresenta grande interesse pois permite que seja efetuado o monitoramento de ambientes baseado na análise da interação entre indivíduos e de seus comportamentos. Desta maneira, novas tecnologias para prevenção de acidentes e para a identificação de comportamento suspeito podem ser

Saiba mais »

Register Allocation via Coloring of Chordal Graphs

This project consists in the design and implementation of a non-iterative algorithm for register allocation based on graph coloring. We present a simple, linear-time algorithm which is competitive with the iterated register coalescing strategy of George and Appel. We base the new algorithm on the observation that more than 95%

Saiba mais »

Apectos Teóricos de Redes de Comunicação Sem Fio

Este projeto de pesquisa visa estudar aspectos teóricos de Redes de Comunicação Sem Fio. Será dada uma ênfase ao processo de modelagem desse tipo de redes, de forma a propôr novos modelos que facilitem a argumentação analítica e, ao mesmo tempo, a representação de características de modelos físicos mais próximos

Saiba mais »

Verificação Híbrida de Modelos: Ferramentas e Aplicações

Sistemas computacionais são frequentemente utilizados em aplicações críticas como controladores de máquinas industriais aonde falhas podem ter consequências graves. Mesmo em aplicações não industriais erros são frequentemente inaceitáveis. Por exemplo, em um sistema de comércio eletrônico erros podem levar desde a perda de clientes por insatisfação com o serviço até

Saiba mais »

Acesso por PERFIL

Acessar o conteúdo