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

O objetivo principal desse projeto é investigar, desenvolver e avaliar algoritmos para o controle e a coordenação de grandes grupos de robôs. Especificamente, pretende-se desenvolver algoritmos de coordenação que explorem as ca-ra-cterísticas dos enxames (grande número de indivíduos, comunicação e sensoriamento locais, tolerância a falhas, etc.), possibilitando a implementação de

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 objetivo do projeto é avançar em direção a modelos que ofereçam uma visão ampla da Web. O foco deste projeto é um estudo quantitativo, tanto do ponto de vista experimental quanto teórico, de sistemas distribuídos em larga escala, como a internet/web, usando uma visão oferecida pela estrutura de grafos

O objetivo deste projeto é o estudo e o desenvolvimento de metáforas e tecnologias de visualização capazes de representar o volume e a alta dimensionalidade de dados de Bioinformática, evidenciando os padrões neles presentes e sua evolução, facilitando a compreensão da informação apresentada. Integrantes: Raquel Cardoso de Melo Minardi –

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

Desenvolvimento de uma nova plataforma de hardware para o scanner automotivo Scanycar, sem o uso de cartuchos. Essa plataforma deveria ser capaz de se comunicar com as diferentes redes de comunicação de dados existentes nos veículos atuais e com a interface serial RS-232 de um computador pessoal (PC). Alunos envolvidos:

O objetivo deste projeto consistiu em estudar, desenvolver e avaliar algoritmos para a coordenação de grandes grupos de robôs, normalmente chamados de enxames de robôs ou swarms. Como mencionado no projeto, embora a coordenação de pequenos grupos de robôs tenha sido razoavelmente estudada na literatura nos últimos anos, a coordenação

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,