1. TEDE PUCRS

Navegando por Orientador Dotti, Fernando Luís

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 15 de 15
Data de defesaPré-visualizaçãoTítuloAutorOrientadorProgramaTipo de documento
18-Mar-2020ELIÃ RAFAEL DE LIMA BATISTA_DIS.pdf.jpgEnhancing early scheduling in parallel state machine replicationBatista, Eliã Rafael de LimaDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
28-Mar-2023TARCISIO CEOLIN JUNIOR_TES.pdf.jpgContribuições para escalabilidade em replicação máquina de estadosCeolin Junior, TarcisioDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoTese
26-Mar-2013449321.pdf.jpgGeração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticosCorrea, Claiton MarquesDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
2-Mar-2007401643.pdf.jpgAnálise de padrões de mobilidade utilizando redes de autômatos estocásticosDelamare, Fábio LongarayDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
21-Dez-2009425451.pdf.jpgRoteamento baseado em caminhos de maior grau de conectividade aplicado ao OLSRFermino, Gunnar RamosDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
16-Jan-2017TES_RASHA_HASAN_COMPLETO.pdf.jpgHybrid synchrony virtual networksHasan, RashaDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoTese
16-Mai-2016TES_ODORICO_MACHADO_MENDIZABAL_COMPLETO.pdf.jpgFast recovery in parallel state machine replicationMendizabal, Odorico MachadoDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoTese
8-Abr-2010426257.pdf.jpgRoteamento utilizando potencial de entrega em redes tolerantes a atrasosNunes, Cristina MoreiraDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoTese
25-Mar-2013451032.pdf.jpgAbordagens paralelas para Model Checking de redes de autômatos estocásticosOleksinski, Lucas GiarettaDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
24-Abr-2015Romulo Reis de Oliveira_DIS.pdf.jpgHeurísticas para mapeamento de redes virtuais de sincronia híbridaOliveira , Rômulo Reis deDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
27-Jan-2006397342.pdf.jpgDesenvolvimento de aplicações paralelas a partir de modelos em gramática de grafos baseada em objetosPasini, FábioDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
19-Mar-2010444044.pdf.jpgUma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídosPivetta, Paulo Junior PennaDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
27-Mar-2015467903 - Texto Completo.pdf.jpgJFAULT : tolerância a falhas transparente utilizando reflexão e compilação dinâmica no modelo de meta-níveisScherer, Marcio Gustavo GusmãoDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
20-Mar-2023KAYEL LÜDTKE SERAFIM_DIS.pdf.jpgBenchmark TPC-C aplicado em replicação máquina de estadosSerafim, Kayel LudtkeDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
25-Mar-2013459162.pdf.jpgTradução de modelos de redes de automatos estocásticos para a linguagem do NUSMVWondracek, Alberto do Carmo SulzbacherDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
Mostrando resultados 1 a 15 de 15