|  | 
|  | Instituto de Computação
 
 Dissertações de Mestrado
 
 
 
| 1. 
 |  | "UMA FERRAMENTA DE AUDITORIA PARA ALGORITMOS DE             REARRANJO DE GENOMAS", Autor: Gustavo Rodrigues Galvão, Orientador: Zanoni Dias.  Data da defesa: 20/12/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE TEORIA DA COMPUTACAO. 
 |  
 
| 2. 
 |  | "PROGRAMAÇÃO POR RESTRIÇÕES APLICADA A PROBLEMAS DE         REARRANJO DE GENOMAS", Autor: Victor de Abreu Iizuka, Orientador: Zanoni Dias.  Data da defesa: 19/12/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE TEORIA DA COMPUTACAO. 
 |  
 
| 3. 
 |  | "Uma Abordagem em ArchC para Caracterização e               Desenvolvimento de Processadores em Nível de Arquitetura", Autor: Marcelo Guedes Silva, Orientador: Rodolfo Jardim de Azevedo.  Data da defesa: 17/12/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO. 
 |  
 
| 4. 
 |  | "Uma Abordagem de Linhas de Produtos de Software para       Apoiar e-Science", Autor: Fernanda Yara dos Santos Foschiani, Orientador: Cecilia Mary Fischer Rubira.  Data da defesa: 14/12/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 5. 
 |  | "Construção e Avaliação de uma Solução Eficiente            para Comunicação entre Processadores SPARCv8", Autor: Thiago Borges Abdnur, Orientador: Rodolfo Jardim de Azevedo.  Data da defesa: 11/12/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO. 
 |  
 
| 6. 
 |  | "Metodologia de Testes de Segurança para Análise de         Robustez de Web Services por Injeção de Falhas", Autor: Marcelo Invert Palma Salas, Orientador: Eliane Martins.  Data da defesa: 07/12/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 7. 
 |  | "Escalonamento Ciente de Energia em Nuvens usando           Controle de Refrigeração Ativa e DVFS", Autor: Daniel Guimarães do Lago, Orientador: Edmundo Roberto Mauro Madeira.  Data da defesa: 29/11/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO. 
 |  
 
| 8. 
 |  | "Variabilidade em Tratamento de Exceções em Linhas de       Produto de Software", Autor: Bruno de Abreu Iizuka, Orientador: Cecilia Mary Fischer Rubira.  Data da defesa: 22/11/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 9. 
 |  | "Autenticação de Circuitos Integrados usando Physical       Unclonable Functions", Autor: Marcelo Fontes Santana, Orientador: Guido Costa Souza de Araújo.  Co-Orientador: Mario Lúcio Côrtes. Data da defesa: 13/11/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO. 
 |  
 
| 10. 
 |  | "USO DE ANÁLISE DE MUTANTES PARA AVALIAR ABORDAGENS PARA    A GERAÇÃO DE CASOS DE TESTES BASEADOS EM MÁQUINAS DE        ESTADO ESTENDIDAS", Autor: Isaura Rennaly Souto Lima, Orientador: Eliane Martins.  Data da defesa: 08/10/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 11. 
 |  | "ESCALONAMENTO DE WORKFLOWS PARA PROVEDORES DE SaaS/PaaS    CONSIDERANDO DOIS NÍVEIS DE SLA", Autor: Thiago Augusto Lopes Genez, Orientador: Edmundo Roberto Mauro Madeira.  Data da defesa: 27/09/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO. 
 |  
 
| 12. 
 |  | "Protocolos Criptográficos de Identificação Baseados em     Reticulados", Autor: Izumi Oniki Chiquito, Orientador: Ricardo Dahab.  Data da defesa: 26/09/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE TEORIA DA COMPUTACAO. 
 |  
 
| 13. 
 |  | "Explicitação de Esquemas Orientada a Contexto para         Promover Interoperabilidade Semântica", Autor: Ivelize Rocha Bernardo, Orientador: André Santanchè.  Data da defesa: 04/09/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 14. 
 |  | "Arcabouço para Anotação de Componentes de Imagem", Autor: Émerson Muraro, Orientador: Ricardo da Silva Torres.  Data da defesa: 31/07/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 15. 
 |  | "Combinação de Descritores Locais e Globais para            Recuperação de Imagens e Vídeos por Conteúdo", Autor: Felipe dos Santos Pinto de Andrade, Orientador: Ricardo da Silva Torres.  Co-Orientador: Hélio Pedrini. Data da defesa: 27/07/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 16. 
 |  | "Técnicas e Algoritmos de Link Analysis na Geração de       de Medidas de Similaridade", Autor: Rodrigo Carvalho Rezende, Orientador: Siome Klein Goldenstein.  Co-Orientador: Ricardo da Silva Torres. Data da defesa: 26/07/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 17. 
 |  | "Mecanismo para Execução Especulativa de Aplicações         Paralelizadas por Técnicas DOPIPE usando Replicação de      Estágios", Autor: André Oliveira Loureiro do Baixo, Orientador: Guido Costa Souza de Araújo.  Data da defesa: 24/07/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO. 
 |  
 
| 18. 
 |  | "Projeto e Desenvolvimento de Técnicas Forenses para        Identificação de Imagens Sintéticas", Autor: Éric Keiji Tokuda, Orientador: Hélio Pedrini.  Co-Orientador: Anderson de Rezende Rocha. Data da defesa: 24/07/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 19. 
 |  | "Identificação de Manipulações de Cópia-Colagem em          Imagens Digitais", Autor: Ewerton Almeida Silva, Orientador: Anderson de Rezende Rocha.  Data da defesa: 12/07/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 20. 
 |  | "Uma Arquitetura para Negociação de Redes Virtualizadas     na Internet do Futuro baseada em Classes de QoS", Autor: Rafael Lopes Gomes, Orientador: Edmundo Roberto Mauro Madeira.  Data da defesa: 10/07/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO. 
 |  
 
| 21. 
 |  | "Atribuição de Fonte em Imagens Provenientes de Câmeras     Digitais", Autor: Filipe de Oliveira Costa, Orientador: Anderson de Rezende Rocha.  Data da defesa: 06/07/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 22. 
 |  | "Mapeamento de Redes Virtuais em Substratos de Rede", Autor: Gustavo Prado Alkmim, Orientador: Nelson Luís Saldanha da Fonseca.  Data da defesa: 26/06/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO. 
 |  
 
| 23. 
 |  | "O Problema do Corredor de Comprimento Mínimo: Algoritmos   Exatos, Aproximativos e Heurísticos", Autor: Lucas de Oliveira, Orientador: Cid Carvalho de Souza.  Data da defesa: 23/05/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE TEORIA DA COMPUTACAO. 
 |  
 
| 24. 
 |  | "GERAÇÃO AUTOMÁTICA DE CASOS DE TESTES EXECUTÁVEIS A         PARTIR DE CASOS DE TESTE ABSTRATOS PARA APLICAÇÕES WEB", Autor: Érika Regina Campos de Almeida, Orientador: Eliane Martins.  Data da defesa: 21/05/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 25. 
 |  | "Shadows: uma nova forma de representar documentos", Autor: Matheus Silva Mota, Orientador: Cláudia Maria Bauzer Medeiros.  Data da defesa: 18/05/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 26. 
 |  | "IMPLEMENTAÇÃO DE CACHE NO PROJETO ArchC", Autor: Henrique Dante de Almeida, Orientador: Paulo Cesar Centoducatte.  Co-Orientador: Rodolfo Jardim de Azevedo. Data da defesa: 23/04/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO. 
 |  
 
| 27. 
 |  | "ONTOLOGIAS FOLKSONOMIZADAS - UMA ABORDAGEM PARA FUSÃO DE   ONTOLOGIAS E FOLKSONOMIAS", Autor: Hugo Augusto Alves, Orientador: André Santanchè.  Data da defesa: 16/04/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 28. 
 |  | "EXPERIMENTOS EM RECONSTRUÇÃO DE ÁRVORES FILOGENÉTICAS      COM A OPERAÇÃO DE REARRANJO DE GENOMAS                      SINGLE-CUT-or-JOIN", Autor: Priscila do Nascimento Biller, Orientador: João Meidanis.  Data da defesa: 12/04/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE TEORIA DA COMPUTACAO. 
 |  
 
| 29. 
 |  | "TÉCNICAS HEURÍSTICAS DE ESCALONAMENTO PARALELO EM          WORKFLOW", Autor: Leonardo Garcia Tampelini, Orientador: Jacques Wainer.  Data da defesa: 28/03/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 30. 
 |  | "Codificação de Vídeo Baseada em Fractais e                 Representações Esparsas", Autor: Vitor de Lima, Orientador: Hélio Pedrini.  Data da defesa: 12/03/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 31. 
 |  | "SIMULAÇÃO DE MULTIDÕES E PLANEJAMENTO PROBABILÍSTICO PA-   RA OTIMIZAÇÃO DOS TEMPOS DE SEMÁFOROS", Autor: Renato Schattan Pereira Coelho, Orientador: Siome Klein Goldenstein.  Co-Orientador: Jacques Wainer. Data da defesa: 02/03/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 32. 
 |  | "Resolução Automática de Pronomes em Português utilizando   Coerência do Discurso", Autor: Fernando José Vieira da Silva, Orientador: Ariadne Maria Brito Rizzoni Carvalho.  Data da defesa: 28/02/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 33. 
 |  | "Especificação de Bibliotecas Digitais de Objetos           Complexos", Autor: Ticiana Oniki Toffoli, Orientador: Ricardo da Silva Torres.  Data da defesa: 28/02/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO. 
 |  
 
| 34. 
 |  | "COMPLEXIDADE DE CONSTRUÇÃO DE ÁRVORES PQR", Autor: João Paulo Pereira Zanetti, Orientador: João Meidanis.  Data da defesa: 27/02/2012. Dissertação de mestrado ligada ao DEPARTAMENTO DE TEORIA DA COMPUTACAO. 
 |  
 
 |  |  |