Murilo Santos de Lima
Mestrando em Ciência da Computação, IME-USP
Bacharel em Ciência da Computação, UFBA
E-mail: mslima arroba ime ponto usp ponto br
Áreas de interesse:
- Algoritmos {de Aproximação, em Grafos, Probabilísticos, Online, Distribuídos}
- Otimização Combinatória
Currículo Lattes
Publicações e produção técnica:
- Detectando Falhas Bizantinas em Sistemas Distribuídos Dinâmicos,
(artigo completo) com Fabíola Greve. RB-RESD - Revista Brasileira de Redes
de Computadores e Sistemas Distribuídos, 2(1):9-21, 2009. (pdf)
Nota: esse artigo é uma versão estendida (com provas completas) do artigo publicado no SBRC 2009.
Também como Relatório Técnico DCC 06.09 UFBA (em inglês, Byzantine Failure
Detection for Dynamic Distributed Systems) (pdf)
- Protocolo Assíncrono para Detecção de Falhas Bizantinas em Sistemas
Distribuídos Dinâmicos, (artigo completo) com Fabíola Greve. In SBRC'09: Anais do
XXVII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos,
pp. 887-900, Recife, PE, 25-29/05/2009. (pdf)
Também como Relatório Técnico DCC-UFBA 12-2008 (pdf)
- Protocolo Assíncrono para Detecção de Falhas Bizantinas em Sistemas
Distribuídos Dinâmicos. Monografia de Projeto Final de Curso de Graduação
(orientadora: Fabíola Greve), DCC-UFBA, Salvador, BA, 07/2008. (pdf)
- Classificação de Impressões Digitais via Análise de Pontos Singulares.
(resumo expandido) com Perfilino Eugênio Ferreria Jr. In WUW-SIBGRAPI'07:
Proceedings of the Workshop of Undergraduate Work, XX Brazilian Symposium
on Computer Graphics and Image Processing, Belo Horizonte, MG, 07-10/10/2007. (pdf)
- Processamento de Imagens Biométricas. (resumo) com Perfilino Eugênio
Ferreira Júnior. In VIII Seminário de Pesquisa e Pós-Graduação (Universidade Federal da
Bahia), XXVI Seminário Estudantil de Pesquisa, Salvador, BA, 7-9/11/2007.
- rplac - Ruby Point Location Algorithm Comparator, com Joel Uchoa. Software
para visualização e comparação de algoritmos de localização de pontos. Projeto da
disciplina MAC5747 - Geometria Computacional, DCC-IME-USP, 2009.
- Gaudi-AFIS, protótipo de sistema de identificação de impressões digitais,
Gaudi-DCC-UFBA/FAPESB, 2007.
- Sync-groups, com Guillaume Barreau, Rodrigo Rocha Gomes e Souza. Sistema de
gerenciamento automático de usuários. Graco-DCC-UFBA, 2005.
Etc: