Repositório Institucional da UFMG: Browsing DSpace

Browsing by Advisor Antonio Otavio Fernandes

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 16 of 16

Issue Date	Title	Author(s)	Type
10-Apr-2015	ALIAS: analog circuits abstraction for digital systems verification	Abner Luis Panho Marciano	Dissertação de Mestrado
25-Aug-2006	Arquitetura para construção de software adaptativo para redes de sensores	Breno Augusto Dias Vitorino; Antonio Otavio Fernandes	Dissertação de Mestrado
31-Mar-2009	Uma arquitetura para o desenvolvimento de aplicações de visão computacional e processamento digital de imagens em sistemas embutidos	Antonio Celso Caldeira Junior	Dissertação de Mestrado
12-Aug-2005	Uma arquitetura para verificação de blocos de computação gráfica em hardware	Fabricio Vivas Andrade	Dissertação de Mestrado
22-Aug-2008	Contribuições para o problema de verificação de equivalência combinacional	Fabricio Vivas Andrade	Tese de Doutorado
26-Jun-2009	DSCam: uma plataforma hardware-software para operações de visão computacional	Glauber Tadeu de Sousa Carmo	Dissertação de Mestrado
29-Mar-2011	elGen: ferramenta para geração de circuitos combinatórios e sequenciais para benchmark	Leandro Maia Silva	Dissertação de Mestrado
25-Mar-2011	Eyeson: um arcabouço para extração, armazenamento e acompanhamento de métricas de projeto de circuitos integrados	Thiago Sousa Figueiredo Silva	Dissertação de Mestrado
27-Aug-2013	Gestão eletrônica de documentos no Departamento de Engenharia de Produção da Universidade Federal de Minas Gerais	Olavo Augusto Araujo de Simas	Monografias de Especialização
1-Mar-2011	Uma metodologia para identificação de módulos de circuitos integrados propensos a erros	Jose Augusto Miranda Nacif	Tese de Doutorado
22-Feb-2008	Redução de dados em redes de sensores sem fio baseada em stream de dados	Andre Luiz Lins de Aquino	Tese de Doutorado
3-Mar-2010	Resolvedor modular de satisfabilidade aplicado na verificação de circuitos combinacionais	Bernardo Cunha Vieira	Dissertação de Mestrado
26-Mar-2004	Tolerância a falhas adaptativa para robôs móveis com arquitetura híbrida	Wilton Speziali Caldas	Tese de Doutorado
27-Feb-2004	Tolerância a falhas através de escalonamento em um sistema multiprocessado	Marcos Pego de Oliveira	Tese de Doutorado
31-Aug-2010	Verificação de equivalência combinacional utilizando hiper-resolução binária	Leonardo Vasconcelos Alves	Dissertação de Mestrado
4-Dec-2008	Verificação de equivalência de circuitos combinacionais dissimilares através do reaproveitamento de cláusulas de conflito	Alessandro Justiniano Mendes	Dissertação de Mestrado

Showing results 1 to 16 of 16