O propósito deste projeto é dar continuidade à pesquisa nas áreas de Robótica e Visão Computacional. Em particular, serão investigados problemas relacionados à inserção de robôs autônomos e semi-autônomos em ambientes externos, isto é, em ambientes não controlados e não estruturados.  

Estabelecimento de um programa de cooperação e intercâmbio científico entre a JABIL e o DCC/UFMG abrangendo atividades de pesquisa, desenvolvimento, formação e treinamento de recursos humanos, geração, absorção, e transferência de tecnologias e prestação de serviços tecnológicos na área de informática e automação. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico:

Com a complexidade dos circuitos integrados (CIs) crescendo exponencialmente, as técnicas tradicionais de verificação nem sempre são suficientes para localizar todos os erros de um projeto. Uma das técnicas mais utilizadas nos dias de hoje é a verificação baseada em asserções. asserções são monitores instanciados pelo projetista do circuito integrado

Este é o projeto da Bolsa de Produtividade em Pesquisa (PQ). Seus objetivos estão definidos na descrição de outros projetos, como por exemplo ReDisseR, Chasque e TriCOt. Alunos envolvidos: Graduação: (5) / Especialização: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . Integrantes: Mirella Moura Moro – Coordenador.  Número de

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

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%

A quantidade e a variedade de dados geográficos disponíveis na Web para uso pelo cidadão comum têm aumentado rapidamente. Desde a introdução do Google Earth, em 2004, e do Google Maps, em 2006, tem crescido o interesse por ferramentas que permitam que as pessoas localizem geograficamente pontos de seu interesse

Computação ubíqua é um novo paradigma computacional que tem como objetivo prover ao usuário acesso permanente a uma rede fixa ou móvel independente de sua posição física. É a capacidade de acessar informações, aplicações e serviços a qualquer lugar e a qualquer momento. Esse paradigma também recebe o nome de