Raimundo da Silva Barreto

  1. Gerenciamento Energético Orientado a Escala Dinâmica de Frequência em Computação de Borda. Victor Matheus de Oliveira Vidal, 2025. Dissertação de mestrado.

  2. Um Sistema de Cerca Virtual para Animais Silvestres da UFAM. Cassio Magalhães Hayek, 2024. Dissertação de mestrado.

  3. Usando Regras de Associação para a Coordenação de Agentes Autônomos em Internet das Coisas. Lesly Delgado Pérez, 2024. Dissertação de mestrado.

  1. Sistema de Teleoperação Baseado em Reconhecimento Visual de Gestos para Robótica Assistiva. Heron Jeovalino Biváqua de Moura, 2025. Dissertação de mestrado.

  2. Um Método para Predição de Vazão em Redes Móveis a partir de Dados Coletados de Smartphones. Shermam Tácia da Costa Lima, 2025. Dissertação de mestrado.

  3. Aprendizado por Reforço em Dispositivos Móveis: Controle de Configurações Baseado em Contexto. Alcilene Batista dos Santos, 2025. Dissertação de mestrado.

  4. Tecnologia Assistiva baseado em Internet das Coisas e Computação de Borda para Pessoas com Deficiência Visual. Manoel José de Souza Júnior, 2024. Dissertação de mestrado.

  5. UpRobotics: Robótica Educacional Utilizando Linguagem Visual Baseada em Blocos. Francisco Gabriel Teixeira Marinho, 2022. Dissertação de mestrado.

  6. Um Método Baseado na Teoria da Resposta ao Item para Avaliação e Feedback Automático no Contexto de Educação Digital. Edwin Juan Lopes Barboza Monteiro, 2021. Dissertação de mestrado.

  7. Uma Técnica Formal para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital. Romário Lira Batista, 2020. Dissertação de mestrado.

  8. Localização em ambientes internos utilizando PDR e Wi-Fi. Marco Aurélio dos Santos, 2018. Dissertação de mestrado.

  9. Extração Descentralizada de Conhecimento Associativo para Internet das Coisas. Márcio André da Costa Alencar, 2017. Dissertação de mestrado.

  10. Uma Abordagem para Reconhecimento de Emoção por Expressão Facial baseada em Redes Neurais de Convolução. Anderson Araújo da Cruz, 2017. Dissertação de mestrado.

  11. Uma Plataforma de Suporte ao Docente no Contexto da Educação Digital. Gabriel de Souza Leitão, 2017. Dissertação de mestrado.

  12. Integrando Características Preemptivas à Técnica de Escalonamento Dinâmico de Tensões e Frequências Intra-Tarefa. Rawlinson da Silva Gonçalves, 2015. Dissertação de mestrado.

  13. Inserção de Código DVFS em Sistemas de Tempo Real Críticos. Diego Quintana Pinheiro, 2015. Dissertação de mestrado.

  14. Verificação e Comprovação de Erros em Códigos C Usando Bounded Model Checker. Herbert Oliveira Rocha, 2011. Dissertação de mestrado.

  15. Estimador e Caracterizador de Consumo de Energia para Software Embarcado. Francisco Coelho da Silva, 2011. Dissertação de mestrado.

  16. Aplicando a Técnica Escala Dinâmica de Tensão e Frequência Baseado em Movimento Uniforme. David Abraham Cohen, 2011. Dissertação de mestrado.

  17. smartenum: Algoritmo Branch-and-Bound Para Determinação de Frequências Ótimas em Sistemas com Escala Dinâmica de Tensão e Frequência. Eduardo Bezerra Valentin, 2010. Dissertação de mestrado.

  18. Uma Abordagem Ágil e Dirigida por Modelos para Desenvolvimento de Software Embarcado e de Tempo-Real. Fabiano Teixeira Cruz, 2010. Dissertação de mestrado.

  19. ARQUITETURA PDCCM EM HARDWARE PARA COMPRESSÃO/DESCOMPRESSÃO DE INSTRUÇÕES EM SISTEMAS EMBARCADOS. Wanderson Roger Azevêdo Dias, 2009. Dissertação de mestrado.

  20. Cache Comprimido Adaptativo via SOM (Mapas Auto-organizaveis). Anderson Farias Briglia, 2009. Dissertação de mestrado.

  21. Uma Abordagem Probabilística Baseada em Grafo de Fluxo de Controle para Estimar o Consumo de Energia de Sistemas Embarcados em ANSI C. Carlos Augusto Mar, 2009. Dissertação de mestrado.

  22. Arquitetura para a Integração de Identificação por Rádio Freqüência e Rede de Sensores sem Fio para Rastreamento de Animais. Daniel Patrick Pereira, 2009. Dissertação de mestrado.

  23. Uma Abordagem Qualitativa para a Verificação Formal de Software Embarcado. Marcelo Monteiro Custódio, 2008. Dissertação de mestrado.

  24. Modelagem e Análise de Sistemas de Manufatura Flexível por Meio de Redes de Petri Colorida, Hierárquica e Temporizada. Marcelo Vieira Aguiar, 2007. Dissertação de mestrado.

  25. TXM: Uma Metodologia de Desenvolvimento de HW/SW Ágil para Sistemas Embacardos. Lucas Carvalho Cordeiro, 2007. Dissertação de mestrado.

  26. Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel. Mauro Ricardo da Silva Teófilo, 2007. Dissertação de mestrado.

  27. A Time Petri Net based Approach for Software Synthesis in Hard Real-Time Embedded Systems with Multiple Processors. Eduardo Antonio Guimarães Tavares, 2006. Dissertação de mestrado.

  28. Síntese de Escalas Utilizando Semântica de Passo Máximo em Redes de Petri com Temporização. Romulo Devezas Freitas, 2006. Dissertação de mestrado.