| Problema de Particionamento em Subgrafos Complementares: Complexidade e Convexidade |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
11/11/2019 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
|
| Resumo |
|
|
| Eficiência Energética e Qualidade de Serviço em Centros de Dados |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
06/11/2019 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Cristiano Costa Argemon Vieira
- Fabio Moreira Costa
- Fabrício Sérgio de Paula
- Lisandro Zambenedetti Granville
- Marcelo Henriques de Carvalho
- Marcos Mansano Furlan
- Ronaldo Alves Ferreira
|
| Resumo |
|
| Download |
|
|
| Exploiting Parallelism in Document Similarity Tasks with Application |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
05/09/2019 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Wellington Santos Martins
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Auri Marcelo Rizzo Vincenzi
- Cássio Leonardo Rodrigues
- Thierson Couto Rosa
- Weber Martins
- Wellington Santos Martins
|
| Resumo |
|
| Download |
|
|
| Explorando Paralelismo em Big Data no Processamento de Séries Temporais de Imagens de Sensoriamento Remoto |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
30/08/2019 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Wellington Santos Martins
|
| Coorientador(es) |
|
| Orientando(s) |
- Sávio Salvarino Teles de Oliveira
|
| Banca |
- Clodoveu Augusto Davis
- Fabio Moreira Costa
- Nilton Correia da Silva
- Sérgio Teixeira De Carvalho
- Wellington Santos Martins
|
| Resumo |
|
| Download |
|
|
| Estratégias para alocação de recursos de controle empregando modelagens estocásticas |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
10/06/2019 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Telma Woerle de Lima Soares
|
| Coorientador(es) |
|
| Orientando(s) |
- Arlindo Rodrigues Galvão Filho
|
| Banca |
- Anderson da Silva Soares
- Gustavo Teodoro Laureano
- Rafael Viana de Carvalho
- Telma Woerle de Lima Soares
- Wellington Santos Martins
|
| Resumo |
|
| Download |
|
|
| Filogenia viva baseada em distâncias |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
23/04/2019 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Nalvo Franco de Almeida Junior
|
| Coorientador(es) |
|
| Orientando(s) |
- Graziela Santos de Araújo
|
| Banca |
- Edson Norberto Caceres
- Guilherme Pimentel Telles
- Henrique Mongelli
- Marcelo Henriques de Carvalho
- Maria Emilia Machado Telles Walter
- Nalvo Franco de Almeida Junior
- Said Sadique Adi
|
| Resumo |
|
| Download |
|
|
| Parcimônia para Filogenia Viva |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
23/04/2019 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Nalvo Franco de Almeida Junior
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Edson Norberto Caceres
- Guilherme Pimentel Telles
- Henrique Mongelli
- Marcelo Henriques de Carvalho
- Maria Emilia Machado Telles Walter
- Nalvo Franco de Almeida Junior
- Said Sadique Adi
|
| Resumo |
|
| Download |
|
|
| Uma solução baseada em economia colaborativa para escalar o teste de aplicações Android em dispositivos reais |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
02/04/2019 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Auri Marcelo Rizzo Vincenzi
|
| Coorientador(es) |
|
| Orientando(s) |
- Kenyo Abadio Crosara Faria
|
| Banca |
- Auri Marcelo Rizzo Vincenzi
- Eduardo Noronha de Andrade Freitas
- Fabrizzio Alphonsus Alves de Melo Nunes Soares
- Jose Carlos Maldonado
- Plinio de Sa Leitão Junior
|
| Resumo |
|
| Download |
|
|
| Técnicas de otimização multiobjetivo e otimização estocástica para o roteamento de fluxos em redes |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
22/03/2019 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
- Kátia Cilene Costa Fernandes
|
| Banca |
- Antonio Jorge Gomes Abelem
- Elivelton Ferreira Bueno
- Flávio Henrique Teles Vieira
- Kleber Vieira Cardoso
- Leizer de Lima Pinto
- Yuri Abitbol de Menezes Frota
|
| Resumo |
Neste trabalho estamos interessados em problemas de otimização ligados ao roteamento
de fluxos em redes. Três modelos e um algoritmo exato e polinomial são apresentados.
O primeiro modelo é um problema de programação inteira biobjetivo em que as funções
objetivo referem-se ao balanceamento de carga da rede e ao comprimento dos caminhos
por onde os fluxos são roteados. Um algoritmo exato e polinomial baseado na técnica
"-constraint é apresentado. O segundo modelo difere do primeiro no que tange aos
pesos dos fluxos e às qualidades das arestas. Nele esses parâmetros podem assumir
valores distintos. O último modelo trata-se de um problema estocástico mono-objetivo
de roteamento de fluxos. Ele visa minimizar o gargalo da rede, respeitando um certo
limite no comprimento dos caminhos por onde os fluxos são roteados. Além disso,
as qualidades dos enlaces são variáveis aleatórias, que podem ser aproximadas por
um conjunto discreto e finito de cenários. Implementações foram desenvolvidas em
linguagem C++ utilizando o solver CPLEX para a resolução das instâncias. Topologias
em grade e topologias aleatórias baseadas no modelo Barabási-Albert foram utilizadas
em nossos experimentos computacionais. As configurações dos fluxos de rede definidos
aqui são aquelas comumente usadas em redes de sensores sem fio e redes de malha sem
fio. A análise dos resultados computacionais fornece ao tomador de decisão informações
valiosas sobre quais fatores mais afetam as soluções. |
| Download |
|
|
| TMES@r: Um Método de Localização de Defeitos Baseado em Estratégias de Execução de Mutantes |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
18/12/2018 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Celso Gonçalves Camilo Junior
|
| Coorientador(es) |
|
| Orientando(s) |
- André Assis Lôbo de Oliveira
|
| Banca |
- Auri Marcelo Rizzo Vincenzi
- Cássio Leonardo Rodrigues
- Celso Gonçalves Camilo Junior
- Eduardo Noronha de Andrade Freitas
- Plinio de Sa Leitão Junior
|
| Resumo |
|
| Download |
|
|
| Mínimos quadrados para problemas de múltiplas classes envolvendo twin support vector machine e aplicações de mineração de dados |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
07/12/2018 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Helton Saulo Bezerra dos Santos
- Katia Kelvis Cassiano Lozano
- Rommel Melgaço Barbosa
- Ronaldo Martins da Costa
- Thierson Couto Rosa
|
| Resumo |
|
|
| Variable Selection in Multivariate Calibration considering Non-Decomposability Assumption and Building Blocks Hypothesis |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
06/12/2018 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
- Lauro Cássio Martins de Paula
|
| Banca |
- Anderson da Silva Soares
- Anselmo Elcana de Oliveira
- Celso Gonçalves Camilo Junior
- Clarimar José Coelho
- Fabrizzio Alphonsus Alves de Melo Nunes Soares
- Paulo Henrique Ribeiro Gabriel
|
| Resumo |
|
| Download |
|
|
| Seleção de Serviços Sensível à QoS e à Capacidade para Implantação Eficiente de Múltiplas Coreografias de Serviços |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
23/11/2018 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Edmundo Roberto Mauro Madeira
- Fabio Moreira Costa
- Humberto José Longo
- Nelson Souto Rosa
- Ricardo Couto Antunes da Rocha
- Wellington Santos Martins
|
| Resumo |
|
| Download |
|
|
| Algoritmos Paralelos para Alinhamento de Sequências e Árvores Geradoras |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
19/10/2018 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
- Jucele França de Alencar Vasconcellos
|
| Banca |
- Edna Ayako Hoshino
- Edson Norberto Caceres
- Liana Dessandre Duenha Garanhani
- Lucia Maria de Assumpção Drummond
- Marcelo Henriques de Carvalho
- Paulo Aristarco Pagliosa
- Wellington Santos Martins
|
| Resumo |
|
| Download |
|
|
| Problemas de Otimização Combinatória para União Explícita de Arestas |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
21/03/2018 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Hugo Alexandre Dantas do Nascimento
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Carla Maria Dal Sasso Freitas
- Fernando Vieira Paulovich
- Hugo Alexandre Dantas do Nascimento
- Humberto José Longo
- Leslie Richard Foulds
- Telma Woerle de Lima Soares
|
| Resumo |
|
| Download |
|
|
| Contribuições ao Suporte Cognitivo em Teste de Software Unitário: Um Framework de Tarefas e uma Agenda de Pesquisa |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
16/03/2018 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Auri Marcelo Rizzo Vincenzi
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Auri Marcelo Rizzo Vincenzi
- Cássio Leonardo Rodrigues
- Renato de Freitas Bulcão Neto
- Rodrigo Funabashi Jorge
- Sandra Camargo Pinto Ferraz Fabbri
|
| Resumo |
|
| Download |
|
|
| A theory of decision-making in strategic alignment of software process improvement |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
23/01/2018 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
- Auri Marcelo Rizzo Vincenzi
|
| Coorientador(es) |
|
| Orientando(s) |
- Francisco José Silveira de Vasconcellos
|
| Banca |
- Auri Marcelo Rizzo Vincenzi
- Fernando Martins Muradas
- Jane Dirce Alves Sandim Eleuterio
- Marcelo Augusto Santos Turine
- Rodrigo Funabashi Jorge
- Ronaldo Alves Ferreira
- Vanessa Araujo Borges
|
| Resumo |
|
|
| Efficient Processing of Multiway Spatial Join Queries in Distributed Systems |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
29/11/2017 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
- Thiago Borges de Oliveira
|
| Banca |
- Claudio Nogueira de Meneses
- Fabio Moreira Costa
- Kleber Vieira Cardoso
- Leslie Richard Foulds
- Wellington Santos Martins
|
| Resumo |
A multi-junção espacial é um tipo importante de consulta usada no processamento de
dados espaciais e sua execução eficiente é um requisito para mover a análise de dados
espaciais para plataformas escaláveis, assim como aconteceu com dados relacionais e não
estruturados. Nesta tese, propomos um conjunto de modelos e métodos para executar eficientemente
consultas de multi-junção espacial em sistemas distribuídos. Apresentamos um
otimizador baseado em custos que seleciona um bom plano de execução levando em consideração:
o particionamento de dados com base nos atributos espaciais dos datasets; o nível
de paralelismo intra-operador que proporciona alta escalabilidade; e o escalonamento das
consultas antes da execução que resulta em economia de recursos computacionais. Propomos
um modelo de custo baseado em metadados dos datasets e da distribuição de dados,
que identifica o padrão de custos incorridos no processamento de uma consulta neste ambiente.
Formalizamos o problema de escalonamento de planos de execução da multi-junção
espacial distribuída como um modelo linear inteiro bi-objetivo, que minimiza tanto o custo
de processamento quanto o custo de comunicação. Propomos três métodos para gerar escalonamentos
a partir deste modelo, os quais reduzem significativamente o consumo de
recursos no processamento das consultas. Embora projetados para o escalonamento da
multi-junção espacial, esses métodos podem também ser aplicados a outros tipos de problemas
em sistemas distribuídos, que necessitam do alinhamento de partições de dados
e da distribuição de tarefas a máquinas de forma balanceada. Além disso, propomos um
método para controlar o uso de recursos e aumentar a vazão do sistema na presença de
restrições nas capacidades da rede ou de processamento. O otimizador proposto foi capaz
de selecionar bons planos de execução para todas as consultas em nossos experimentos, as
quais usaram datasets públicos com uma variedade significativa de tamanhos e de objetos
espaciais complexos. Apresentamos também uma máquina de execução, capaz de executar
as consultas com escalabilidade próxima de linear em relação ao tempo de execução. |
| Download |
|
|
| Implantação Eficiente de Múltiplas Coreografias de Serviços em Nuvens Híbridas |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
06/04/2017 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
|
| Banca |
- Bruno Richard Schulze
- Daniel de Angelis Cordeiro
- Edson Norberto Caceres
- Fabio Moreira Costa
- Humberto José Longo
- Kleber Vieira Cardoso
- Ricardo Couto Antunes da Rocha
|
| Resumo |
Esta tese apresenta uma abordagem baseada em modelos para abstrair, simplificar e automatizar as decisões de gerenciamento de recursos em nuvem ao implantar um conjunto de coreografias de serviços sujeitas a restrições não-funcionais. Dada uma descrição em alto nível das coreografias e das restrições relacionadas, a abordagem realiza de maneira autônoma a estimativa, a seleção e a alocação dos recursos em um ambiente de nuvem híbrida com múltiplos provedores, enquanto reduz os custos associados à utilização dos recursos e o atraso de comunicação entre os serviços. A principal motivação para o seu desenvolvimento se deve ao fato das coreografias de serviço serem amplamente utilizadas para o desenvolvimento de soluções com necessidades complexas, que geralmente compartilham serviços entre si. Isso faz com que o gerenciamento de recursos esteja sujeito a uma série de desafios, principalmente relacionados aos diferentes papéis que um serviço assume, à interferência que uma restrição causa em outra e à grande quantidade de tipos de recurso a serem considerados. A tese também propõe uma arquitetura que agrega à abordagem uma proposta para a automação das atividades relacionadas ao gerenciamento dinâmico de recursos como forma de reparar violações detectadas sobre as restrições. Esta arquitetura foi parcialmente implementada em um protótipo que foi utilizado na avaliação da abordagem. |
| Download |
|
|
| Programação de Espaços Inteligentes Utilizando Modelos em Tempo de Execução |
|
| Curso |
Doutorado em Ciência da Computação |
| Tipo |
Tese |
| Data |
04/04/2017 |
| Área |
CIÊNCIA DA COMPUTAÇÃO |
| Orientador(es) |
|
| Coorientador(es) |
|
| Orientando(s) |
- Leandro Alexandre Freitas
|
| Banca |
- Arlindo Flávio da Conceição
- Fabio Moreira Costa
- Fabrizzio Alphonsus Alves de Melo Nunes Soares
- Francisco José da Silva e Silva
- Jó Ueyama
- Ricardo Couto Antunes da Rocha
- Ronaldo Alves Ferreira
|
| Resumo |
O crescimento e a popularização cada vez maior da conectividade sem fio e dos dispositivos móveis, tem permitido a construção de espaços inteligentes que antes eram vislumbrados apenas na proposta de computação ubíqua do cientista da Xerox PARK, Mark Weiser. Esses espaços inteligentes são compostos por diversos recursos computacionais, como dispositivos, serviços e aplicações, além de usuários, que devem ser capazes de se associar a esses recursos. Entretanto, a programação destes ambientes é uma tarefa desafiadora, uma vez que os espaços inteligentes possuem uma natureza dinâmica, os recursos se apresentam de forma heterogênea e é necessário que as interações entre usuários e dispositivos sejam coordenadas. Neste trabalho desenvolvemos uma nova abordagem para programação de espaços inteligentes, por meio de modelos em tempo de execução. Para isso, propomos uma linguagem de modelagem de alto nível, denominada Smart Space Modeling Language (2SML), em que o usuário é capaz de modelar o espaço inteligente com todos os elementos que dele podem fazer parte. Esse modelo desenvolvido pelo usuário é interpretado e realizado no espaço físico por uma máquina de execução de modelos, denominada Smart Space Virtual Machine (2SVM), cujo desenvolvimento é parte deste trabalho. |
| Download |
|
|