A fusão de registradores é uma otimização que remove instruções de cópia tais como “a = b” do código fonte. Esta otimização é possível sempre que as variáveis “a” e “b” são associadas ao mesmo registrador físico. Os algoritmos de fusão descritos na literatura normalmente assumem arquiteturas com bancos de

Cooperação e intercâmbio através das atividades de pesquisa, desenvolvimento, formação e treinamento de recursos humanos e prestação de serviços cooperativos propostos por ambas as partes. Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (1) . Integrantes: Antonio Otavio Fernandes – Coordenador / Claudionor José Nunes Coelho Jr – Integrante / José

O pintor modernista Alberto da Veiga Guignard (1896 – 1962) possui uma extensa produção artística, sendo considerado grande mestre da pintura moderna no Brasil, formador de escola e de várias gerações de artistas. Desconhece-se ainda a totalidade de sua obra, dispersa em coleções públicas e privadas. Portanto, propõe-se estudar de

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

Uma significativa fracao do trafego atual na Internet pode ser categorizado como trafego ilegitimo, isto e, destinado a enderecos que nao existem, servidores que nao estao operantes ou servidores e/ou usuarios finais que nao o solicitaram. O trafego ilegitimo compromete a confiabilidade de varias aplicacoes populares na Internet, afetando a

Este projeto tem como objetivo explorar modelos e algoritmos para problemas encntrados nos projetos de rede física e de rede virtual. O projeto está estruturado em quatro subprojetos, dois em cada uma destas áreas, a saber: Qualidade de Serviço (QoS) em Redes de Comunicação e Topologia com Ganhos em Economia

A automação das técnicas empregadas na experimentação biológica resultou, ao longo dos anos, na produção de um volume de informação incompatível com os antigos métodos de armazenamento e análise dos dados e trouxe consigo a necessidade de criação de novos sistemas para tratamento, armazenamento e gerenciamento destes dados. A construção

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

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