O objetivo deste projeto de pesquisa é aperfeiçoar as técnicas de definição da semântica denotacional de linguagens de programação, oferecendo meio apropriados para tratamento dos elementos inerentes às linguagens de grande porte e que ainda são impedimentos à escrita de definições modulares. Como resultado, espera-se desenvolver uma nova metodologia de

Este projeto de pesquisa tem como objetivo principal investigar o desenvolvimento de sistemas de objetos distribuídos incorporando abstrações adequadas a programação em ambinetes de computação móvel. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (1) . Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir Oliveira Di

Propõe-se abordar o problema da eficiência da escalabilidade em sistemas responsáveis por serviços de mineração de dados baseados em sistemas paralelos e distribuídos, como aqueles construídos utilizando a internet.

Neste projeto desenvolveremos PUROMALTE, uma plataforma virtualizada em roteadores de acesso para monitoramento de redes. Usaremos PUROMALTE para monitorar e entender o desempenho observado por clientes de banda larga, bem como desenvolver e avaliar novas tecnologias para localizar e tratar problemas de desempenho em redes. Novas tecnologias desenvolvidas com PUROMALTE

O objetivo deste grupo de pesquisa é permitir, via o desenvolvimento de técnicas de geração e otimização de código, que desenvolvedores de programas melhor usufruam do alto poder de processamento de arquiteturas computacionais paralelas. Tais técnicas possibilitam, portanto, que estes desenvolvedores possam se concentrar em problemas algorítmicos, trabalhando com linguagens

Nesse projeto propomos desenvolver ferramentas de suporte a execução que facilitem o uso sinergístico desses diversos dispositivos na realização de computações dentro do modelo de fluxo de dados.  Integrantes: Renato Antonio Celso Ferreira – Coordenador / Wagner Meira Jr. – Integrante / Dorgival Guedes – Integrante.  

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

Realização de reuniões de trabalho com a equipe francesa, acompanhamento do trabalho de doutorandos brasileiros, apresentação de seminário sobre pesquisa desenvolvida no DCC/UFMG. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (2) . Integrantes: Arnaldo de Albuquerque Araújo – Coordenador /

Esse projeto de pesquisa concentrou-se na investigação e desenvolvimento de técnicas para execução do planejamento e controle de trajetórias para grandes grupos de robôs de forma eficiente e escalável. Basicamente, trabalhou-se em duas linhas principais: na primeira foram desenvolvidos e aperfeiçoados algoritmos de controle descentralizados para permitir que grupos de