Este projeto de pesquisa versa sobre a credibilidade em serviços da Web. Cabe ressaltar que o que motivou a escolha do tema foi o grau de importância que este tem para a sociedade hoje e a vastidão de desafios e questões de pesquisa que surgem desse tema de investigação. Também

Este projeto de pesquisa se propõe a estudar e implementar uma nova heurística para alocação de registradores usando uma técnica denominada Crescimento de Domínio Ativo (Live Range Growth). Esta técnica foi proposta para se resolver o problema de alocação de referências a vetores em registradores de endereçamento, dentro de laços

Este Projeto Pesquisador Mineiro foi solicitado para apoiar as pesquisas do Grupo de Engenharia de Software Aplicada (ASERG) do DCC/UFMG. As pesquisas atuais do grupo estão organizadas em quatro linhas: (a) Conformidade Arquitetural, (b) Métricas, Predição e Gerenciamento de Bugs; (c) Documentação de APIs; (d) Novas Visões Modulares.   Alunos

The e-phenology is a multidisciplinary project that explores innovative solutions for plant monitoring in the tropics, combining research in Computer Science, Phenology, and Ecology. On-the-ground phenological observations preclude large areas of study and are laborious and time consuming. Near-surface remote phenology with digital cameras is still area-limited but reduces considerably

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

Neste projeto, propomos a investigação de cinco problemas de otimização combinatória que surgem no contexto de aplicações em Telecomunicações, Logística e em suas conexões com Teoria dos Jogos. São eles: O Problema das Árvores Geradoras Completamente Independentes, O Problema do Ciclo Elementar de Custo Mínimo de um Grafo, O Problema

Pretende-se desenvolver um ambiente baseado em FPGA que possa ser utilizado em aplicações que possuam processamento de alto desempenho e realizar um estudo comparativo com a mesma aplicação desenvolvida em microcontroladores. Pretende-se desenvolver ainda os diversos drivers que permitirá o interfaceamento do hardware com o sistema operacional. A execução deste

Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal. Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.  

Neste projeto de pesquisa, pretende-se especificar, projetar, implementar e analisar sistemas de middleware que viabilizem a implementação de forma modular de requisitos não-funcionais que são típicos de aplicações distribuídas. A idéia é que um desenvolvedor de aplicações distribuídas possa dispor de sistemas de middleware que confinem em módulos bem definidos