1. Repositório Institucional da UFMG

Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 12 (Search time: 0.071 seconds).
Item hits:
Issue DateTitleAuthor(s)Type
26-Jun-2009DSCam: uma plataforma hardware-software para operações de visão computacionalGlauber Tadeu de Sousa CarmoDissertação de Mestrado
28-Nov-2003Beanwatcher: uma ferramenta para o desenvolvimento de aplicações de monitoração em redes de sensores sem fioAndre Luiz Lins de AquinoDissertação de Mestrado
12-Aug-2005Uma arquitetura para verificação de blocos de computação gráfica em hardwareFabricio Vivas AndradeDissertação de Mestrado
31-Aug-2010Verificação de equivalência combinacional utilizando hiper-resolução bináriaLeonardo Vasconcelos AlvesDissertação de Mestrado
4-Dec-2008Verificação de equivalência de circuitos combinacionais dissimilares através do reaproveitamento de cláusulas de conflitoAlessandro Justiniano MendesDissertação de Mestrado
8-Aug-2011Monitoração dinâmica de asserções para depuração em silícioCelina Gomes do ValDissertação de Mestrado
14-Jul-2011Localização em ambientes internos utilizando múltiplas tecnologias sem fioMoises Lisboa RodriguesDissertação de Mestrado
3-Mar-2010Resolvedor modular de satisfabilidade aplicado na verificação de circuitos combinacionaisBernardo Cunha VieiraDissertação de Mestrado
27-Apr-2007Verificação de equivalência de circuitos com aceleração por largura e aprendizado de cláusulas de conflitoThiago Radicchi RoqueDissertação de Mestrado
3-Jul-2013Um arcabouço probabilístico para localização dos nós de uma rede de sensores sem fio baseada em RSSIFabricio Feitosa CarvalhoDissertação de Mestrado

Discover