O objetivo deste projeto é desenvolver técnicas que suportem a paralelização automática de programas. Entre tais técnicas citam-se análises estáticas de programas, e instrumentação de código binário. Este projeto é uma cooperação entre instituições brasileiras (UFMG e CEFET-MG) e o INRIA francês

O presente projeto de pesquisa tem por objetivo maior desenvolver um arcabouço unificado de modelos e ferramentas integradas para dotar sistemas de rede e em especial a Internet de robustez frente às variações tecnológicas e aos diferentes padrões de comportamento de seus usuários mais comumente observados, particularmente os considerados maliciosos,

Este trabalho objetiva a pesquisa de novas ferramentas para criar bases de dados de extratos, moléculas e protéinas apropriados para a indústria farmacêutica. Estas bases de dados demandam um enorme esforço de manutenção. A fim de montarmos as bases de dados descritas neste projetos, pretendemos pesquisar de forma automática bases

Com a evolução da Web 2.0, é cada vez mais fácil de?nir conexões (redes) sociais, as quais podem ser analisadas para descoberta de conhecimento; esse conhecimento pode, e deve, ser disseminado entre os componentes dessa rede. Os dados na Web não são mais apenas conteúdo, pois agregam informação social, o que aumenta ainda

Uma significativa fracao do trafego atual na Internet pode ser categorizado como trafego ilegitimo, isto e, destinado a enderecos que nao existem, servidores que nao estao operantes ou servidores e/ou usuarios finais que nao o solicitaram. O trafego ilegitimo compromete a confiabilidade de varias aplicacoes populares na Internet, afetando a

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 principal criar um ambiente web para realização de suas compras. Espera-se ao final do projeto que possa ser oferecido a Comunidade um sistema de compras eletrônicas totalmente adequado às organizações e caracterizado por apresentar tecnologia no estado da arte, facilmente expansível, com alta escalabilidade e

O uso de imagens de sensoriamento remoto (ISRs) como fonte de informação em aplicações voltadas para o agronegócio é bastante comum. Nessas aplicações, saber como é a ocupação espacial é fundamental. Entretanto, reconhecer e diferenciar regiões de culturas agrícolas em ISRs ainda não é uma tarefa trivial. Embora existam métodos

Entre as prioridades da nossa pesquisa em Robótica, estão problemas paradgmáticos da cooperação entre agentes móveis e estáticos (i.e. redes de sensores sem fio terrestre e robôs aéreos) e a localização e o mapeamento em ambientes externos. Por serem intrinsecamente não estruturados, tais ambientes demandam abordagens que possam lidar com