Navegando por Assunto Sistemas de computação
Mostrando resultados 1 a 11 de 11
| Data de publicação | Data de apresentação | Título | Autor(es) | Orientador(es) | Coorientador(es) |
| 11-Ago-2017 | 9-Dez-2016 | Em direção à formalização das propriedades de normalização do sistema λex | Amaral, Lucas de Moura | Moura, Flávio Leonardo Cavalcanti de | - |
| 11-Ago-2016 | 2016 | Estudo exploratório sobre o impacto acerca da interrupção e indisponibilidade dos serviços de TI oferecidos pelo CPD sobre as atividades de pesquisa e administrativas da UnB | Moura, Lucas Fernandes Braga | Rodrigues, Genaína Nunes | - |
| 12-Dez-2023 | 17-Fev-2023 | Formalização em Coq da prova de confluência do cálculo λx | Caldas, Danilo Raposo Freire | Moura, Flávio Leonardo Cavalcanti de | - |
| 6-Abr-2018 | 17-Jul-2017 | Implementation of federation protocol for social networks | Silva, Gabriel dos Santos | Meirelles, Paulo Roberto Miranda | - |
| 6-Out-2023 | 26-Jul-2023 | MagicBits : um game auxiliar para a matéria de introdução aos sistemas computacionais | Oliveira, Alexandre Souza Costa; Assis, Eduardo Ferreira | Lamar, Marcus Vinicius | - |
| 15-Fev-2023 | 13-Mai-2022 | Monitoramento contínuo de temperatura utilizando Raspberry PI e Zabbix | Souza, Richard da Silva Francisco de | Haddad, Sandro Augusto Pavlik | - |
| 14-Fev-2023 | 18-Nov-2021 | Monitoramento de propriedades em tempo real : um estudo de caso na Body Sensor Network | Couto, Samuel Andrade | Rodrigues, Genaína Nunes | - |
| 10-Set-2021 | 18-Dez-2020 | Padrões de escoamento do fenômeno Holdup : um estudo computacional | Ribeiro, Karla Nayra Gonçalves | Noleto, Luciano Gonçalves | - |
| 16-Nov-2021 | 10-Dez-2019 | Proposta de modelo de migração de sistemas on-premises para nuvem pública no Brasil | Borges, Filipe Afonso Nogueira; Silva, Gabriel Santos Tavares da | Deus, Flávio Elias Gomes de | - |
| 31-Mai-2010 | Ago-2006 | Sistema de aquisição multi-camada baseado na arquitetura WOSA/XFS | Garcia, Diogo Caetano; Oliveira, Karen França de | Santos, Ícaro dos | - |
| 18-Nov-2013 | 27-Set-2013 | Utilização de técnicas de inspeção e monitoramento no Observatório da Web | Melo, Leonardo de Sousa; Gules, Felipe Carvalho | Rodrigues, Genaína Nunes | - |
