Browsing by Author Dotti, Fernando Luís
Showing rec. 1 to 16 of 16
Issue Date | Title | Author(s) |
2013 | Abordagens paralelas para Model Checking de redes de autômatos estocásticos | Oleksinski, Lucas Giaretta |
2008 | Análise de padrões de mobilidade utilizando redes de autômatos estocásticos | Delamare, Fábio Longaray |
2023 | Benchmark TPC-C aplicado em replicação máquina de estados | Serafim, Kayel Lüdtke |
2012 | Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos | Pivetta, Paulo Junior Penna |
2023 | Contribuições para escalabilidade em replicação máquina de estados | Ceolin Junior, Tarcisio |
2007 | Desenvolvimento de aplicações paralelas a partir de modelos em gramática de grafos baseada em objetos | Pasini, Fábio |
2020 | Enhancing early scheduling in parallel state machine replication | Batista, Eliã Rafael de Lima |
2016 | Fast recovery in parallel state machine replication | Mendizabal, Odorico Machado |
2013 | Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos | Correa, Claiton Marques |
2015 | Heurísticas para mapeamento de redes virtuais de sincronia híbrida | Oliveira, Rômulo Reis de |
2017 | Hybrid synchrony virtual networks | Hasan, Rasha |
2015 | JFAULT: tolerância a falhas transparente utilizando reflexão e compilação dinâmica no modelo de meta-níveis | Scherer, Marcio Gustavo Gusmão |
2023 | Raft Igualitário : ERaft | Pintor, Erick |
2009 | Roteamento baseado em caminhos de maior grau de conectividade aplicado ao OLSR | Fermino, Gunnar Ramos |
2010 | Roteamento utilizando potencial de entrega em redes tolerantes a atrasos | Nunes, Cristina Moreira |
2013 | Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV | Wondracek, Alberto do Carmo Sulzbacher |