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

O Desenvolvimento de Software Orientado a Aspectos (DSOA) é um novo paradigma proposto para melhorar a separação de interesses transversais na construção de software. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (0) . Integrantes: Eduardo Magno Lages Figueiredo – Integrante

A Construção de um Portal de Tecnologia Industrial Básica no CEFET MG – Portal TIB_CEFET MG integra um conjunto de projetos independentes, mas articulados em um projeto denominado Portal de Tecnologia Industrial Básica CEFET MG TIB_CEFETMG, que foi pensado e articulado para ser desenvolvido dentro do Programa institucional de Bolsas

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

É um projeto de pesquisa em andamento, onde o objetivo é propor modelos para diversos problemas e aplicações, algoritmos exatos, aproximativos e heurísticas, e aplicações especiais em redes óticas, redes sem fio e móveis, computação móvel e comunicação sem fio, redes celulares e sensores, problemas de produção e transporte como

A proposição de um conjunto de projetos de pesquisa, ao invés de apenas um, busca mostrar as diversas atividades de pesquisa e formação de recursos humanos do proponente e caracterizar melhor as necessidades de apoio para auxiliar na condução dos seus projetos. Já estão e continuarão a ser envolvidos nos

A vigilância automática de ambientes visa extrair informações a respeito de atividades desempenhadas pelos humanos de modo a detectar interações e identificar padrões de comportamentos que sejam suspeitos. Entretanto, antes que tais atividades sejam analisadas, diversos problemas que compreendem o domínio de aplicação conhecido como observação de pessoas devem ser

A area de agentes inteligentes tem recebido muita atenção nos ultimos anos. Basicamente, um agente e uma entidade que percebe o ambiente a sua volta utilizando seus sensores e age nesse ambiente através dos atuadores. Esse paradigma aplica-se tanto a ambientes reais, como é o caso dos agentes robóticos, quanto a ambientes completamente virtuais,

Os objetivos principais dessa proposta são: construir um sistema de captura de movimento para a animação de personagens e desenvolver produtos audiovisuais animando com a técnica da captura de movimento. Integrantes: Arnaldo de Albuquerque Araújo – Integrante / João Victor Boechat Gomide – Coordenador / Flávio Velloso Laper – Integrante