Navegando por Orientador Barreto, Raimundo da Silva

Ir para: 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

 
Mostrando resultados 1 a 12 de 12
Data de defesaPré-visualizaçãoTítuloAutorOrientadorProgramaTipo de documento
4-Mar-2016Tese_Daniella R. Bezerra.pdf.jpgArquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a ModelosBezerra, Daniella RodriguesBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaTese
15-Dez-2008DISSERTACAO MARCELO.pdf.jpgVerificação de modelos uml de software embarcado com model checkingCustódio, Marcelo MonteiroBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
1-Dez-2005Romulo Devezas Freitas.pdf.jpgSíntese de escalas utilizando semântica de passo máximo em redes de petri com temporização.Freitas, Romulo DevezasBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
10-Jul-2015Dissertação - Rawlinson da Silva Gonçalves.pdf.jpgIntegração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefaGonçalves, Rawlinson da SilvaBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
17-Mar-2017Dissertação - Gabriel S. Leitão.pdf.jpgUma plataforma de suporte ao docente no contexto da Educação DigitalLeitão, Gabriel de SouzaBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
26-Mar-2013milton.pdf.jpgInferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cenaLima, Milton Macena Ramos deBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
25-Set-2015Dissertação - Diego Q. Pinheiro.pdf.jpgInserção de Código DVFS-Aware em Sistemas de tempo real críticosPinheiro, Diego QuintanaBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
3-Jul-2015Tese - Herbert Oliveira Rocha.pdf.jpgVerificação de sistemas de software baseada em transformações de código usando Bounded Model CheckingRocha, Herbert OliveiraBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaTese
4-Fev-2011HERBERT OLIVEIRA ROCHA.pdf.jpgVerificação e comprovação de erros em códigos C usando bounded model checkerRocha, Herbert OliveiraBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
23-Nov-2017TeseSpositoFinal.pdf.jpgAlinhamento estratégico entre TI e negócios nas organizações: uma abordagem baseada nas atividades administrativas dos gestores de TI e negócios para avaliar e recomendar melhoriasSpósito, Marcos André FernandesBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaTese
21-Set-2007Mauro Ricardo da Silva Teofilo.pdf.jpgMandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia MóvelTeófilo, Mauro Ricardo da SilvaBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
29-Set-2017Tese_Eduardo Bezerra Valetim.pdf.jpgScheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraintsValentin, Eduardo BezerraBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaTese