Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-06-12T12:15:32Z No. of bitstreams: 1 470415 - Texto Completo.pdf: 2035047 bytes, checksum: f8fc93932fc597d1d920691b329aafc6 (MD5) / Made available in DSpace on 2015-06-12T12:15:32Z (GMT). No. of bitstreams: 1 470415 - Texto Completo.pdf: 2035047 bytes, checksum: f8fc93932fc597d1d920691b329aafc6 (MD5) Previous issue date: 2015-03-28 / Nowadays cloud computing is considered a new concept for the provision of computational infrastructure. In this environment, clients can access and use software, platform or infrastructure as a service to reduce their costs, compared to the traditional values of datacenter model. To make this feasible, customers are charged by the use of computer resources by means of a charging model. These models determine how the use of any product or service will be paid by a client to a service provider. However, the definition of a charging model involves the execution of a series of processes so that is possible to identify the best parameters of the model for each provider. Therefore, it is necessary to clearly define the type of service that the provider adopts and the products you want to offer to the market. Moreover, it is necessary to verify the sales strategies adopted by the provider and the cost of operation. These difficulties were also found by PUCRS High Performance Laboratory (LAD-PUCRS). To facilitate this process, this paper presents a methodology to define and optimize charging models for providers of cloud computing. The method was applied in the LAD, which resulted in several improvements to the charging models used by the laboratory. Furthermore, the application of the methodology in this case study was evaluated and contributed to its improvement. / Atualmente, as nuvens computacionais s?o consideradas um novo conceito para o fornecimento de infraestrutura computacional. Neste ambiente, os clientes acessam e utili-zam software, plataforma ou infraestrutura como servi?os, sendo cobrados por seu uso. H? dificuldades entre os provedores em definir um modelo de cobran?a para esse ambiente por envolver a execu??o de uma s?rie de processos na identifica??o dos melhores par?-metros, considerando requisitos espec?ficos dos modelos de servi?os, da infraestrutura dis-pon?vel, dos produtos ofertados e dos clientes, e tamb?m, das estrat?gias de venda e do custo de opera??o por parte do provedor. Uma metodologia para defini??o de modelos de cobran?a foi elaborada em fun??o do problema descrito mediante a revis?o da literatura e de pr?ticas reconhecidas de cobran?a. Foram constru?dos oito formul?rios, abarcando os processos da metodologia e submetidos aos respons?veis pelo Laborat?rio de Alto Desem-penho da PUCRS, conforme os procedimentos de estudo de caso ?nico. Pela metodologia s?o sugeridos novos par?metros para os modelos de cobran?a bem como indica??o de um novo produto: armazenamento al?m, das j? existentes, VM?s 24x7 e cluster. A metodologia aplicada refere-se a um caso ?nico, por?m, permite seu uso extensivo a outros casos, in-clusive, para sua valida??o.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-06-29T12:32:26Z No. of bitstreams: 1 471311 - Texto Completo.pdf: 3539731 bytes, checksum: 45f5e399fc56af2961d60689146cd5df (MD5) / Made available in DSpace on 2015-06-29T12:32:26Z (GMT). No. of bitstreams: 1 471311 - Texto Completo.pdf: 3539731 bytes, checksum: 45f5e399fc56af2961d60689146cd5df (MD5) Previous issue date: 2015-03-30 / Systems need to know the physical location of objects and people in order to improve the user experience and solve logistic and security problems. This work proposes a hybrid indoor positioning system based on passive RFID and visual analysis. The system focuses on bidimensional and tridimensional space localization of stationary objects with centimeter level accuracy. Also, off-the-shelf equipment are employed as sensor devices. By using RFID technology, machine learning approaches based on Artificial Neural Networks (ANN) and Support Vector Regression (SVR) are proposed. A Computer Vision (CV) subsystem detects visual markers in the scenario to enhance RFID localization. In order to combine RFID and optical technologies, we propose a novel sensor fusion method based on Multiple Region of Interest (MROI) and k-means technique. A multi-frequency method is proposed aimed to allow and improve the localization when using off-the-shelf equipment. We have implemented our system and evaluated it using real experiments. First, a performance benchmark was made in order to evaluate RFID antennas and tags positioning. Regarding to overall system performance, the localization error was between 9 and 33 cm under a 2D scenario. On this dimension, ANN performed 30% better than RNA approach. In comparison to RFID-only approach results, the hybrid system had improved by 32%. Three-dimensional space localization had a 63 cm accuracy in best case scenario. / Com o objetivo de otimizar a experi?ncia do usu?rio e resolver problemas de log?stica e seguran?a, aplicativos necessitam conhecer a localiza??o f?sica de objetos e pessoas. As propostas de sistemas de localiza??o para ambientes internos (indoor) baseados em somente uma tecnologia n?o v?m obtendo bom desempenho na localiza??o, principalmente devido a limita??es em rela??o ?s caracter?sticas interferentes presentes em ambientes internos. Este trabalho tem como objetivo o desenvolvimento de um sistema h?brido de localiza??o indoor, capaz de obter a localiza??o bidimensional e tridimensional de objetos est?ticos, com precis?o de poucos cent?metros, utilizando equipamentos j? estabelecidos no mercado. A partir do uso da tecnologia RFID, a localiza??o ? estimada atrav?s de modelos de aprendizado de m?quina. S?o avaliados modelos baseados em Redes Neurais Artificiais (RNA) e Support Vector Regression (SVR). Um subsistema de vis?o computacional detecta marcadores visuais no cen?rio a fim de aprimorar a localiza??o. Visando combinar as tecnologias RFID e ?ptica, ? definido um m?todo de fus?o de sensores baseado em m?ltiplas regi?es de interesse a partir da t?cnica k-means. Al?m disso, um m?todo de multi-frequ?ncia ? proposto com o objetivo de permitir e otimizar o uso do sistema em equipamentos off-the-shelf. O sistema foi implementado e avaliado em experimentos de laborat?rio. Inicialmente, foi analisado o desempenho do sistema em rela??o ao posicionamento de antenas e etiquetas RFID presentes no ambiente. Na avalia??o geral do sistema sob escalabilidade 2D, o erro de localiza??o se manteve entre 9 e 33 cm. Nesta dimens?o, o modelo RNA superou o SVR em 30%. Na compara??o entre o sistema h?brido e o emprego somente da tecnologia RFID, a fus?o de sensores melhorou a precis?o em aproximadamente 32%. Em escalabilidade tridimensional, a precis?o foi de 63 cm no melhor caso.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-06-29T12:40:33Z No. of bitstreams: 1 471296 - Texto Completo.pdf: 2108698 bytes, checksum: 3b45f65685531967cfcb1b4458fc269a (MD5) / Made available in DSpace on 2015-06-29T12:40:33Z (GMT). No. of bitstreams: 1 471296 - Texto Completo.pdf: 2108698 bytes, checksum: 3b45f65685531967cfcb1b4458fc269a (MD5) Previous issue date: 2015-03-30 / Multiprocessor System-on-Chip (MPSoC) based on Network-on-Chip (NoC) incorporates a lot of Processing Elements (PEs) in order to perform applications with high degree of parallelism/concurrence. These applications consist of several communicating tasks that are dynamically mapped into the PEs of the target architecture. When the number of application tasks grows, the complexity of mapping also grows, possibly reducing the effectiveness and/or efficiency of the solution. An approach for the mapping optimization is the introduction of a previous step called partitioning, which allows to organize the tasks interaction through an efficient grouping, reducing the number of mapping alternatives. This paper proposes the Partition Reduce (PR) algorithm, which is a task partitioning approach inspired on MapReduce algorithm, where tasks are partitioned by a deterministic iterative clustering. The PR was analyzed according to its effectiveness and efficiency to minimize the energy consumption caused by the communication in the target architecture and to balance the processing load on the PEs. Experimental results, containing a wide range of complex tasks, show that PR is more effective in generating partitions with low power consumption and efficient load balancing at any level of tasks complexity, when compared with the simulated annealing (SA) algorithm. Moreover, the results show that the algorithm is efficient only for medium or high complexity applications. / Sistema multiprocessado intrachip, em ingl?s Multiprocessor System-on-Chip (MPSoC), com comunica??o baseada em rede intrachip, em ingl?s Network-on-Chip (NoC), integra grande quantidade de Elementos de Processamento (PEs) com o objetivo de executar aplica??es com alto grau de paralelismo/concorr?ncia. Estas aplica??es s?o compostas por diversas tarefas comunicantes, que s?o mapeadas dinamicamente nos PEs da arquitetura alvo. Quando cresce o n?mero de tarefas da aplica??o, a complexidade do mapeamento tamb?m cresce, podendo reduzir a efic?cia e/ou a efici?ncia da solu??o encontrada. Uma abordagem para otimizar o mapeamento ? a introdu??o de uma etapa anterior denominada particionamento, que permite organizar a intera??o das tarefas atrav?s de um agrupamento eficiente, reduzindo o n?mero de alternativas do mapeamento. Esta disserta??o prop?e o algoritmo Partition Reduce (PR), que ? uma abordagem de particionamento de tarefas baseada no algoritmo MapReduce, onde as tarefas s?o particionadas atrav?s de um agrupamento iterativo determin?stico. O PR foi analisado quanto a sua efic?cia e efici?ncia para minimizar o consumo de energia causada pela comunica??o na arquitetura alvo e para balancear a carga de processamento nos PEs. Resultados experimentais, contendo um conjunto variado de complexidade de tarefas, demonstram que o PR ? mais eficiente na gera??o de parti??es com baixo consumo de energia e com um balanceamento de carga eficiente para qualquer n?vel de complexidade de tarefas, quando comparado com o Simulated Annealing (SA). Por outro lado, os resultados mostram que o algoritmo ? eficaz apenas para aplica??es de m?dia e alta complexidade.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-06-29T12:48:10Z No. of bitstreams: 1 471291 - Texto Completo.pdf: 2680833 bytes, checksum: 4e7261323e3dd21fc5d0ac4471029c84 (MD5) / Made available in DSpace on 2015-06-29T12:48:10Z (GMT). No. of bitstreams: 1 471291 - Texto Completo.pdf: 2680833 bytes, checksum: 4e7261323e3dd21fc5d0ac4471029c84 (MD5) Previous issue date: 2015-03-17 / This study reports from an empirical study planned and executed about adopting agile methodologies in public organizations. This study involved a literature review and interviews with four software development teams from two public organizations - large and medium-sized - located in Brazil. Through this method, it was found that agile methodologies could be adopted in public organizations. First, the analysis suggests that a good alternative is to start the adoption of agile methodologies with people willing to change - strongly supported by senior management - working on important pilot-projects. Subsequently, the change will depend on their interaction with other teams, in order to reach the vast majority of the organization; then these people work for the establishment of a learning ecosystem and continuous improvement to not accommodate - consciously or unconsciously - with the first winnings and later with the comfort zone. Second, we found that the benefits of agile methodologies in public organizations are more about people's satisfaction with the result of the work done and how it was achieved. Third, we also found some barriers difficult to overcome in public organizations, including the ingrained use of plan-drive methods, habit of ?Big Design Up-Front? (BDUF) and lack of knowledge and experience in agile methodologies. Fourth, we see that agile methodologies is not perceived as a finished process that ends when a particular victory is achieved; on the contrary, it is something that takes place continuously and depends a set of people factors and the environment where it is inserted to achieve new and better results continuously. Finally, we note that the adoption of agile methodologies in public organizations is a way without return, where its practitioners also need to share their experiences and help each other. The main contribution of this research is the development of a set of recommendations for adopting agile methodologies in public organizations, and the systematization of the empirical evidence about this topic. / Nesta pesquisa, executou-se um estudo emp?rico sobre a ado??o de m?todos ?geis para desenvolvimento de software em organiza??es p?blicas. Este estudo incluiu a revis?o da literatura da ?rea e entrevistas com quatro equipes de desenvolvimento de software em duas organiza??es p?blicas de grande e m?dio porte no Brasil. Constatou-se que m?todos ?geis podem ser realmente adotados por organiza??es p?blicas. Em primeiro lugar, a an?lise de dados sugere que uma boa alternativa ? iniciar a ado??o de m?todos ?geis com pessoas dispostas a mudan?as fortemente apoiadas pela alta ger?ncia em projetos-piloto importantes. Posteriormente, a mudan?a depender? da amplia??o e intera??o com outras equipes visando alcan?ar a grande maioria da organiza??o; em seguida, essas pessoas trabalham pela constitui??o de um ecossistema de aprendizado e melhoria cont?nua para n?o se acomodar conscientemente ou inconscientemente com as primeiras conquistas e subsequentemente com a zona de conforto. Em segundo lugar, confirmou-se que os benef?cios da ado??o de m?todos ?geis em organiza??es p?blicas s?o mais sobre a satisfa??o das pessoas com o resultado do trabalho realizado e a forma como ele foi alcan?ado. Em terceiro lugar, identificou-se algumas barreiras dif?ceis de superar em organiza??es p?blicas, incluindo o uso arraigado de m?todos guiados por plano com a abordagem ?Big Design Up-Front? (BDUF), bem como a falta de conhecimento e experi?ncia em m?todos ?geis. Em quarto lugar, comprovou-se que m?todos ?geis n?o ? percebido como um processo acabado que se finaliza quando uma determinada conquista ? alcan?ada; pelo contr?rio, ele ? algo que se processa de maneira cont?nua e depende de um conjunto de fatores ligados as pessoas e ao ambiente onde ele est? inserido para alcan?ar novos e melhores resultados continuamente. Por ?ltimo, constatou-se que m?todos ?geis em organiza??es p?blicas ? um caminho sem retorno, onde seus praticantes precisam compartilhar suas experi?ncias e ajudar uns aos outros. Esta pesquisa contribui principalmente no sentido de propor um conjunto de recomenda??es para a ado??o de m?todos ?geis em organiza??es p?blicas, al?m da forma??o e amplia??o da base te?rica sobre o tema.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-09-17T12:20:01Z No. of bitstreams: 1 474948 - Texto Completo.pdf: 3093555 bytes, checksum: 642bceeeff1c8a8e64eadc61416e65a5 (MD5) / Made available in DSpace on 2015-09-17T12:20:01Z (GMT). No. of bitstreams: 1 474948 - Texto Completo.pdf: 3093555 bytes, checksum: 642bceeeff1c8a8e64eadc61416e65a5 (MD5) Previous issue date: 2015-06-18 / Conselho Nacional de Pesquisa e Desenvolvimento Cient?fico e Tecnol?gico - CNPq / We present a procedural method to create floor plans considering user-provided requisites as well as the constraint of a building?s exterior walls. First, a grid is created in the available space. Then, each room is placed to occupy a single cell in the grid, and subsequently expanded, occupying adjacent cells to achieve its final size. This growth-based approach can generate different interior models which follow user requisites without relying on costly optimization steps. The proposed method handles a wide variety of building shapes, including non-convex polygons. Possible applications include architectural tools and digital content generation. / Neste trabalho apresenta-se um m?todo procedural para criar plantas baixas levando em conta requisitos do usu?rio e tamb?m o limite das paredes externas de uma constru??o. Primeiro, uma grade ? criada no espa?o dispon?vel. Ent?o, cada aposento ? posicionado de tal forma a ocupar uma c?lula da grade, e ? subsequentemente expandido, ocupando c?lulas adjacentes para alcan?ar seu tamanho final. Essa abordadem baseada em crescimento pode gerar diferentes modelos de interior que atendem aos requisitos do usu?rio sem depender de passos custosos de otimiza??o. O m?todo proposto ? capaz de lidar com uma variedade de formatos externos das paredes da constru??o, incluindo pol?gonos n?o convexos. Poss?veis aplica??es incluem ferramentas de arquitetura e a gera??o de conte?do digital.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-09-24T14:02:01Z No. of bitstreams: 1 475171 - Texto Completo.pdf: 23619666 bytes, checksum: 28243e1337b86bf3d0ef2cd45f2a0717 (MD5) / Made available in DSpace on 2015-09-24T14:02:01Z (GMT). No. of bitstreams: 1 475171 - Texto Completo.pdf: 23619666 bytes, checksum: 28243e1337b86bf3d0ef2cd45f2a0717 (MD5) Previous issue date: 2015-03-27 / Argumentation appears in two main lines of research in the field of multi-agent systems: argumentation-based reasoning and argumentation-based dialogues. In this document we present an approach exploring both of those lines of research. First, we develop an argumentation-based reasoning mechanism in an agent-oriented programming language based on the BDI architecture. This reasoning mechanism is based on a defeasible logic formalism and the notion of defeasible semantics. Using that argumentation-based reasoning mechanism, agents can reason under uncertainty and can use arguments to supports their claims when engaging in multi-agent dialogues. Second, we give operational semantics to a set of speech acts found in the literature on argumentation-based dialogues. That semantics is also given in the context ofBDI-inspired agentorlented programming languages. Next, we define a protocol for argumentation-based dialogues for task reallocation, using the reasoning mechanism and the operational semantics. We prove that the protocol terminates and that it can reach ideal solutions under certain assumptions. Finally, we descrlbe an application domain used as case study, and we evaluate our work with some examples of real problems from that application scenario. / Argumenta??o aparece em duas principais linhas de pesquisa no campo de sistemas multi-agentes: racioc?nio baseado em argumenta??o e di?logos baseados em argumenta??o. Neste documento n?s apresentamos uma abordagem que explora essas duas linhas de pesquisa. Primeiro) n?s desenvolvemos um mecanismo de racioc?nio baseado em argumenta??o em uma linguagem de programa??o orientada a agentes, a qual ? baseada na arquitetura BDI. Este mecanismo de racioc?nio ? baseado no formalismo de defeasible logic e na no??o da sem?ntica defeasible. Usando este mecanismo de racioc?nio baseado em argumenta??o, agentes podem raciocinar sobre incertezas e podem usar argumentos para dar suporte ?s suas alega??es quando envolvidos em di?logos multiagentes. Segundo, n?s damos sem?ntica operacional para um conjunto de atos de fala encontrados na literatura de di?logos baseados em argumenta??o. Esta sem?ntica ? tamb?m dada no contexto de linguagens de programa??o orientada a agentes inspiradas pela arquitetura BDI. Al?m dissot n?s definimos um protocolo para di?logos baseados em argumenta??o para realoca??o de tarefas, considerando o mecanismo de racioc?nio e a sem?ntica operacional apresentados. Provou-se que o protocolo termina e que atinge solu??es ideais, dados alguns pressupostos desse trabalho. Finalmente, n?s descrevemos um dom?nio de aplica??o usado como estudo de caso, e avaliamos nosso trabalho com alguns exemplos de problemas reais dentro desse cen?rio da aplica??o.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-12-14T19:39:58Z No. of bitstreams: 1 476714 - Texto Completo.pdf: 3747843 bytes, checksum: d036a79e065518300b9733b65e20e459 (MD5) / Made available in DSpace on 2015-12-14T19:39:58Z (GMT). No. of bitstreams: 1 476714 - Texto Completo.pdf: 3747843 bytes, checksum: d036a79e065518300b9733b65e20e459 (MD5) Previous issue date: 2015-03-13 / In order to maintain a service running within the acceptable Qos levels, cloud providers should adapt resource provision to handle workload fluctuations. In case of under provisioned resources service performance tend to be affected while over provisioned resources reduce providers profit. To cope with this scenario several studies present elastic solutions for resource allocation in virtualization environments. However, in traditional virtualization environments, the elasticity is limitedby the limits established during initialization of virtual machines, not allowing the addition of resources in runtime. Instead, OS-level virtualization is a new approach that allows the manipulation of all available resources shared by a host at runtime. Therefore, this study evaluates the impact of applying the dynamic resource allocation strategy proposed by Dawoud et al., firstly developed for traditional virtualization environments, to OS-level virtualization. To evaluate our approach, we use database applications because they are widely used in virtualized environments, and their workloads use processor, memory, and network. The results show that our approach has a more efficient use of available resources, resulting in a positive impact on performance metrics. / Visando manter um servi?o em execu??o dentro de n?veis de QoS aceit?veis, os administradores de sistemas devem provisionar recursos suficientes para lidar com as flutua??es de carga de trabalho. Recursos provisionados de maneira inadequada podem reduzir os lucros das empresas ou degradar o desempenho do servi?o. V?rios trabalhos apresentam solu??es el?sticas para aloca??o de recursos em ambientes de virtualiza??o. Por?m, em ambientes de virtualiza??o tradicionais, a a??o da elasticidade fica limitada pela fatia de recursos estabelecida durante a inicializa??o das m?quinas virtuais, n?o permitindo a adi??o de recursos em tempo de execu??o. No entanto, a virtualiza??o em n?vel de sistema operacional consiste em uma nova abordagem que permite a manipula??o em tempo de execu??o da totalidade dos recursos dispon?veis e oferecidas pelo nodo de forma compartilhada. Portanto, neste trabalho avaliamos o impacto da estrat?gia de aloca??o din?mica de recursos proposta por Dawoud et al., primeiramente desenvolvida para ambientes tradicionais de virtualiza??o, posteriormente adaptada ? virtualiza??o em n?vel de sistema operacional. A avalia??o de nossa abordagem utilizou aplica??o de banco de dados, pois consiste em uma plataforma bastante utilizada em ambientes virtualizados, al?m de seus workloads utilizarem tanto processador, quanto mem?ria e rede. Os resultados mostraram que nossa abordagem ? eficaz quanto a economia dos recursos dispon?veis, impactando nas m?tricas de desempenho.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-12-14T19:55:10Z No. of bitstreams: 1 476712 - Texto Completo.pdf: 1416751 bytes, checksum: 0b603e0667dd53303efd13181a62d31e (MD5) / Made available in DSpace on 2015-12-14T19:55:11Z (GMT). No. of bitstreams: 1 476712 - Texto Completo.pdf: 1416751 bytes, checksum: 0b603e0667dd53303efd13181a62d31e (MD5) Previous issue date: 2015-03-16 / Some natural language processing tasks can be learned from example corpora, but having enough examples for the task at hands can be a bottleneck. In this work we address how Wikipedia and DBpedia, two freely available language resources, can be used to support Named Entity Recognition, a fundamental task in Information Extraction and a necessary step of other tasks such as Co-reference Resolution and Relation Extraction. / Algumas tarefas de processamento de linguagem natural podem ser aprendidas por algoritmos a partir de corpus de exemplo, mas a obten??o destes exemplos pode ser um gargalo. Neste trabalho n?s investigamos como a Wikipedia e a DBpedia, dois recursos de linguagem dispon?veis de forma gratuita, podem ser utilizados como corpus para a classifica??o de entidades nomeadas, uma tarefa fundamental de extra??o de informa??es e um passo necess?rio para outras tarefas como extra??o de rela??es e resolu??o de co-refer?ncias.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-02-04T18:55:15Z No. of bitstreams: 1 DIS_VIVIANE_LINCK_LARA_COMPLETO.pdf: 10477924 bytes, checksum: 092f88ba6468650374664bacdbcdb4df (MD5) / Made available in DSpace on 2016-02-04T18:55:15Z (GMT). No. of bitstreams: 1 DIS_VIVIANE_LINCK_LARA_COMPLETO.pdf: 10477924 bytes, checksum: 092f88ba6468650374664bacdbcdb4df (MD5) Previous issue date: 2013-11-25 / Solving Systems of Linear Equations is important in several domains. In many cases, it is necessary to employ verified computing to achieve reliable results. With the support of High Performance Computing (HPC), solve efficiently huge linear systems with Verified Computing has become possible. Recently, HPC researchers have started to investigate solutions focused not only in performance but also in energy efficiency as well. In this context, the main goal of this work is to propose the use of DVFS (Dynamic Voltage and Frequency Scaling) technique to change the CPU frequency during the execution of a solver that employs Verified Computing. Furthermore, this works intends to present a case study aiming at verifying if the use of DVFS can provide a reduction on energy consumption without perfomance and accuracy being compromised. Initially, a study about the FastPILSS solver was carried out to evaluate its accuracy, performance and energy consumption over several different input matrices. After that, we observed that the use of DVFS does not affect accuracy. Analysing the results, no reduction in energy consumption using the powersave governor was observed if compared to the energy consumption using the performance governor. This occurs due to the significant increase in execution time. When the frequency was changed in isolated steps of the solver algorithm, it was possible to reduce up to 3,29% the energy consumption for dense matrices during the approximate inverse calculation. / A resolu??o de Sistemas de Equa??es Lineares Alg?bricas (SELAs) ? importante em diversos dom?nios do conhecimento. Em muitos casos, o uso de Computa??o Verificada ? necess?rio para garantir que os resultados sejam confi?veis. Com o aux?lio da Computa??o de Alto Desempenho, a resolu??o mais eficiente de SELAs de grande porte com o uso da Computa??o Verificada tornou-se poss?vel. Atualmente, a ?rea de Alto Desempenho tem buscado solu??es que considerem, al?m do desempenho, a efici?ncia energ?tica. Nesse sentido, o objetivo do trabalho ? utilizar a t?cnica DVFS (Dynamic Voltage and Frequency Scaling) para modificar a frequ?ncia do processador na execu??o de um solver de SELAs de Alto Desempenho com verifica??o do resultado. Al?m disso, realizar um estudo de caso que permita avaliar se o uso de DVFS reduz o consumo de energia, bem como avaliar de que maneira o desempenho e a exatid?o podem ser comprometidos. Inicialmente, foi realizado um estudo de caso sobre o solver FastPILSS, analisando exatid?o, desempenho e consumo de energia. Depois disso, verificou-se que a utiliza??o de DVFS n?o afetou a exatid?o. Com a an?lise dos resultados, observou-se que n?o houve redu??o do consumo de energia ao utilizar o governador em powersave se comparado ao consumo de energia com o governador em performance. Esse comportamento pode ser atribu?do ao significativo aumento no tempo de execu??o. Ao realizar a altera??o de frequ?ncia em pontos isolados no algoritmo do solver, observou-se que tendo como entrada matrizes do tipo densas durante a realiza??o do c?lculo da inversa aproximada, obt?m-se redu??o de no m?ximo 3,29% no consumo de energia.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-02-04T19:04:15Z No. of bitstreams: 1 DIS_ALINE_ZANIN_COMPLETO.pdf: 10489574 bytes, checksum: e347833fca1d18dfcc01a42c05686302 (MD5) / Made available in DSpace on 2016-02-04T19:04:15Z (GMT). No. of bitstreams: 1 DIS_ALINE_ZANIN_COMPLETO.pdf: 10489574 bytes, checksum: e347833fca1d18dfcc01a42c05686302 (MD5) Previous issue date: 2015-08-27 / The Software Product Line development has gained notoriety for being an ally to projects that seek to increase productivity through reuse of artifacts. This reuse, already used in the development process, has recently started to be adopted during the software testing phase, which is considered one of the most costly phases of the development process. In this work, we propose a process to adapt methods for generating test sequences, traditionally used in single systems, to be used in Software Product Lines. This process is called Software Product Line Test using Test Sequence Generation Method (SPLiT-TeSGe). The main idea is that test artifacts produced in the Domain Engineering are reused for products derived in the Application Engineering allowing, thus, to reduce the number of test case to test a software derived from a Software Product Line. / O desenvolvimento de software em linha de produto tem ganhado notoriedade por ser um aliado a projetos que buscam aumentar a produtividade atrav?s do reuso de artefatos. Este reaproveitamento, j? utilizado no processo de desenvolvimento, recentemente passou a ser adotado tamb?m no processo de testes de software, visto que, a etapa de testes ? considerada uma das etapas mais onerosas do processo de desenvolvimento. Neste trabalho buscamos propor um processo para a adapta??o de m?todos de gera??o de sequ?ncias de testes, tradicionalmente utilizados em sistemas ?nicos, para a utiliza??o em Linha de Produto de Software. Este processo chama-se Software Product Line Testing using Test Sequence Generation Method (SPLiT-TSGe). Com isso, visamos reutilizar os artefatos de teste produzidos na Engenharia de Dom?nio para os produtos derivados na Engenharia de Aplica??o, permitindo assim, reduzir o n?mero de casos de teste necess?rios para testar produtos derivados de uma Linha de Produto de Software.