O aumento de custos em saúde tem sido um tema relevante tanto pelo seu aspecto econômico quanto político, e uma de suas causas principais é a adoção de novas tecnologias de tratamento e medicamentos. O objeto deste estudo é um exemplo: o ganciclovir, uma tecnologia padrão, comparado ao valganciclovir oral, a tecnologia substitutiva. Simulações computacionais são formas de auxiliar a avaliação de custo-efetividade de um tratamento novo e a espinha dorsal desta dissertação. O conjunto de métodos para as simulações vão desde a coleta e estruturação do banco de dados, passando pelas estimativas dos parâmetros e a modelagem computacional em si, que fornecem material necessário para a análise de sobrevivência e custo-efetividade, assuntos abordados nesta pesquisa. Os principais usos da modelagem aqui realizada são: a racionalização de recursos aliadas a melhores resultados para os usuários (com menor exposição de riscos aos pacientes), menores gastos em pesquisas bem como subsídios de orientação do gestor de recursos em saúde / The increase in health costs has been a relevant issue both for its economic and political aspects, and one of its main causes is the adoption of new treatment technologies and medicines. The object of this study is an example: ganciclovir, a standard technology, compared to oral valganciclovir, the substitutive technology. Computational simulations are ways of helping to evaluate the cost-eectiveness of a new treatment and the backbone of this dissertation. The set of methods for the simulations range from the collection and structuring of the database, through the parameter estimates and the computational modeling itself, which provide the material needed for the survival and cost-eectiveness analysis, subjects addressed in this research. The main uses of the modeling carried out here are: the rationalization of allied resources to better results for users (with less risk exposure to patients), lower research expenditures as well as guidance subsidies for the health resource manager

O objetivo deste estudo foi avaliar, de forma comparativa e multidimensional, a efetividade de um programa de treinamento vocal baseado em exercícios. Um total de 48 operadores, selecionados randomicamente, foram alocados em um grupo intervenção (N=14), que participou do treinamento durante oito semanas e um grupo controle (N=34). De acordo com as comparações pré e pós-treinamento, o grupo intervenção apresentou redução estatisticamente significante na medida de jitter (p=0,044). Não houve mudança significante no diagrama do desvio fonatório e na avaliação perceptivo-auditiva da qualidade vocal. Os resultados sugerem que o programa de treinamento produz uma melhora na dimensão acústica mas não chega a produzir mudanças na dimensão perceptivo-auditiva das vozes de operadores / The purpose of this study was to evaluate by a multidimendional and comparative way, the effectiveness of a voice training program based in vocal function exercises. Forty-eight telemarketers were randomly assigned to two groups: voice training group (n=14), that underwent training over a 8-week period and a non-trainining control group (n=34). Based on pre- and post-training comparisons, voice training group presented reduction on measures of percent jitter (p=0.044). There was no significant difference on graphics of the hoarseness diagram and on perceptual analysis. These findings suggest that the voice training improve acoustic dimension but do not change perceptual dimension of telemarketers`voices

A influenza é uma das doenças respiratórias agudas mais prevalentes e importante causa de absenteísmo e presenteísmo. Entretanto, a eficácia vacinal para influenza pode alcançar 80% quando há elevada correspondência entre cepas vacinais e circulantes. Por este motivo, a empresa há anos promove campanha de vacinação, contudo, sem estimar sua efetividade (eficácia na redução da carga da doença) e o impacto econômico (produtividade) para o aprimoramento de sua política de saúde ocupacional. Considerou-se que a efetividade da campanha seria determinada pela eficácia vacinal previamente demonstrada em estudos randomizados, pelo grau de acurácia diagnóstica ou de triagem dos casos, pelo nível de adesão do profissional de saúde ao registro no prontuário e do paciente ao informar a ocorrência dos sintomas e pela cobertura vacinal alcançada. Com os objetivos de avaliar a efetividade e impacto econômico da campanha de vacinação para influenza, optou-se por um desenho estudo observacional de coorte histórico com características de estudo de intervenção baseado em dados históricos da campanha de 2008 e informações individuais sobre a frequência de sintomas respiratórios e absenteísmo, idade, gênero, função (administrativa e operacional) e renda, comorbidades relevantes e tabagismo, obtidas mediante revisão de prontuário dos 12 meses subsequentes, comparadas entre os grupos de vacinados e não-vacinados (qui-quadrado e test t) e analisadas por regressão logística, e estimada a fração prevenível (proporção de episódios potenciais de influenza evitados pela vacinação). Foram analisados os prontuários de 2.425 trabalhadores (1.651 não-vacinados e 754 vacinados) correspondendo à cobertura de 31,1%. A prevalência de influenza observada foi de 10,4% e a vacinação foi efetiva entre os trabalhadores (RR=0,51; IC95% 39-67), quando considerados os sintomas de alta probabilidade de influenza. A fração prevenível foi 0,09 (9 casos evitados a cada 100 trabalhadores vacinados). A campanha de vacinação foi mais efetiva e provocou maior impacto econômico entre os trabalhadores em regime operacional. / Influenza is one of the most prevalent acute respiratory diseases and it is an important cause of absenteeism and presenteeism. However, the influenza vaccine efficacy can reach 80% when there is a high correspondence between vaccinal and circulating strains. For that reason, the company has promoved vaccination campaigns for several years, although without measuring its effectiveness (efficacy on reducing the diseases load) and the economic impact (productivity) to improve occupational health policy. The campaign effectiveness would be determined by the the vaccinal efficacy that had been shown previously in randomized studies, by the degree of diagnostic accuracy or screening of cases, by the levels on health records and by the patients information and vaccination coverage achieved. Aiming at assessing the effectiveness and the economic impact of the vaccination campaign, we opted for an observational historic cohort study design with features of study design based in historical data from the 2008 campaign and individual information on the frequency of respiratory symptoms and absenteeism, age, gender, function (administrative and operational) and income, relevant co morbidities and smoking, obtained through a revision of medical records of the following twelve months, compared to vaccinated and non-vaccinated group (Chi square and t-test) and analyzed by logistic regression, and estimated the preventable fraction (proportion of potential influenza episodes avoided by vaccination). Medical records of 2.425 workers were analyzed (1.651 non-vaccinated and 754 vaccinated) corresponding to 31,1% coverage. The prevalence of influenza observed was 10,4% and vaccination has been effective between workers (RR = 0,51; IC95% 39-67), when considering symptoms of high probability of influenza. The preventable fraction was 0,09 (9 avoided cases for every 100 workers vaccinated). The vaccination campaign was more effective and sparked greater economic impact among workers in the operating system.

Conselho Nacional de Desenvolvimento Científico e Tecnológico / As ações de prevenção, diagnóstico e tratamento da hepatite C crônica integram as agendas das políticas de saúde do Brasil e do mundo, pois se trata de uma doença com grande número de acometidos, com alto custo tratamento e que ocasiona graves desfechos e incapacidade, o que acaba por onerar seu custo social. Os protocolos clínicos e diretrizes terapêuticas demonstram os esforços de inúmeras entidades no combate da hepatite C, pois informam aos profissionais de saúde, pacientes e familiares e cidadãos em geral, qual seria a melhor forma, comprovada cientificamente, de se proceder frente a uma infecção desta natureza. Realizouse uma análise de custoefetividade, sob a perspectiva do SUS, das estratégias: tratamento e retratamento com a terapia dupla, tratamento com a terapia dupla e retratamento com a terapia tripla e tratamento com a terapia tripla. Através de modelo de simulação baseado em cadeias Markov foi criada uma coorte hipotética de 1000 indivíduos adultos, acima de 40 anos, de ambos os sexos, sem distinção declasse socioeconômica, com diagnóstico confirmado para hepatite C crônica, monoinfectados pelo genótipo 1 do VHC e com ausência de comorbidades. A simulação foi iniciada com todos os indivíduos portando a forma mais branda da doença, tida como a classificação histológica F0 ou F1 segundo a escala Metavir. Os resultados demonstram que as duas opções, ou seja, a terapia dupla/tripla e a terapia tripla estão abaixo do limiar de aceitabilidade para incorporação de tecnologia proposto pela OMS (2012) que é de 72.195 (R$/QALY) (IBGE, 2013; WHO, 2012). Ambas são custoefetivas, visto que o ICER da terapia dupla/tripla em relação alinha de base foi de 7.186,3 (R$/QALY) e o da terapia tripla foi de 59.053,8 (R$/QALY). Entretanto o custo incremental de terapia tripla em relação à dupla/tripla foi de 31.029 e a efetividade incremental foi de 0,52. Em geral, quando as intervenções analisadas encontramse abaixo do limiar, sugerese a adoção do esquema de maior efetividade. A terapia tripla, apesar de ter apresentado uma efetividade um pouco acima da terapia dupla/tripla, apresentou custo muito superior. Assim, como seria coerente a adoção de uma ou da outra para utilização no SUS, visto que este sistema apresenta recursos limitados, indicase a realização de um estudo de impacto orçamentário para obterse mais um dado de embasamento da decisão e assim poder apoiar o protocolo brasileiro existente ou sugerir a confecção de novo documento. / The prevention, diagnosis and treatment of chronic hepatitis C integrates health policies in Brazil and worldwide. This disease affect many people, features high cost treatment and cause severe outcomes and disability, increasing social cost. We performed a costeffectiveness analysis under the perspective of SUS, with the following strategies: treatment and retreatment with dual therapy, treatment with dual therapy and retreatment with triple therapy and treatment with triple therapy. A Markov model was developed with a hypothetical cohort of 1000 adults, over 40 years, of both sexes, with confirmed diagnosis for chronic hepatitis C, monoinfected by HCV genotype 1 and absence of comorbidities.The simulation started with all individuals carrying the milder form of the disease, considered F0 or F1, according to Metavir histological classification. The results demonstrate the dual/triple therapy and triple therapy are below the acceptable threshold for embedding technology proposed by the WHO. Both are costeffective. ICER of dual/triple therapy compared with base line was 7186.3 (R$/QALY) and the triple therapy compared with dual/triple therapy was 59053.8 (R$/QALY). However, the incremental cost of triple therapy compared to dual/triple therapy was 31,029 and incremental effectiveness was 0.52. Triple therapy, despite having a little more effectiveness than the dual/triple therapy, showed much highercost. Thus, as would be consistent adopt one or the other for use in the SUS, since this system has limited resources, is better indicate the realization a budget impact analysis to have one more data information to support the decision to continue adopting the Brazilian guideline existing or suggest making another one.

MOOC (Massive Open Online Courses) is an emergent technology in education, a natural evolution of e-learning and it shows a disruptive way to learn. Although, many studies have focused on e-learning evolution, they ignore particularities of massive courses, which include the connectivity, evaluation process, virtual communities, economic and cultural impacts and other characteristics. This study sought to investigate the determinants of satisfaction and continuance of use in MOOC courses from the perspective of students. Through an online survey, 890 users of the most popular MOOC platforms made a self-evaluation of the performance and adherence to tools available in the courses. To generate a theoretical model, it is used a bibliometric and systematic review with meta-analysis, as well as methods of measurement scales, including Item Response Theory, random forest, common method variance and factorial analysis. The model was validated through the structural equation modeling. Among the main results, it is highlighted that the quality, usability and value impact on the performance of the users in the courses. In addition to performance, using interactivity and collaborative learning resources generates greater adherence of users to the teaching format of MOOCs. Both performance and adherence to MOOCs generate more satisfaction and a consequent desire to continue completing the courses on the teaching platforms. In addition, user engagement is crucial to generating satisfaction. The study contributes to the advancement and maturation of research on the theme, mainly at the empirical level and converging to the movement of MOOCs as a business model headed by universities. In the methodological field, the study contributes with the literature of quantitative methods for exploring emerging methods at measurement scales and complementing traditional methods. The originality of the study is based on the application of the particularities of the MOOCs in a context of continuance intention, in the exploitation of the studies on e-learning, in the evaluation of variables as payment and in the moderating effect of the engagement. / O MOOC (Curso Online Aberto e Massivo) é uma tecnologia emergente em educação, uma evolução natural do e-learning e que apresenta uma forma disruptiva de ensino. Apesar disso, muitos estudos que focam na evolução do e-learning, ignoram as particularidades dos cursos massivos, que inclui a conectividade, o processo de avaliação, as comunidades virtuais, os impactos culturais e econômicos, entre outros. Este estudo buscou investigar as determinantes da satisfação e da continuidade uso em cursos MOOCs na perspectiva dos estudantes. Através de um survey online, 890 usuários das plataformas mais populares em MOOCs fizeram uma auto-avaliação sobre a performance e o uso de ferramentas utilizadas nos cursos. Para gerar um modelo teórico, foram utilizadas uma revisão bibliométrica e sistemática com meta análise, além de métodos de escalas de mensuração, incluindo a Teoria da Resposta ao Item, random forest, variância comum ao método e análise fatorial. O modelo foi validado através da modelagem de equações estruturais. Entre os principais resultados, destaca-se que a qualidade, usabilidade e o valor impactam na performance dos usuários nos cursos. Aliado a performance, utilizar recursos de interatividade e aprendizagem colaborativa geram maior aderência dos usuários ao formato de ensino dos MOOCs. Tanto a performance como a aderência aos MOOCs geram mais satisfação e consequente desejo de continuar realizando os cursos nas plataformas de ensino. Além disso, o engajamento do usuário é crucial para gerar satisfação. O estudo contribui no avanço e amadurecimento das pesquisas sobre o tema, principalmente no âmbito empírico e convergentes ao movimento dos MOOCs como um modelo de negócio encabeçado pelas universidades. No campo metodológico, o estudo contribui com a literatura de métodos quantitativos por explorar métodos emergentes em escalas de mensuração e se complementando a métodos tradicionais. A originalidade do estudo se baseia na aplicação das particularidades dos MOOCs em um contexto de intenção de continuidade, no aproveitamento dos estudos sobre e-learning, na avaliação de variáveis como pagamento e no efeito moderador do engajamento.

InstituÃdas como uma reaÃÃo limitante ao crescimento desmedido do homem sobre o ambiente natural, as Ãreas protegidas apresentam-se presentemente como um relevante componente nas estratÃgias de conservaÃÃo ambiental mundial. MÃltiplos tipos de ecossistemas ameaÃados pela utilizaÃÃo predatÃria de suas extensÃes beneficiam-se diretamente da instituiÃÃo de regras de condutas impostas pela criaÃÃo de unidades de conservaÃÃo, dentre estes, encontram-se as Ãreas marÃtimas. No entanto, assim como espaÃos terrestres, a mera implantaÃÃo de uma Ãrea marinha protegida nÃo garante a preservaÃÃo do ambiente indicado. Deve-se primar pelo exercÃcio de atividades administrativas eficientes que permitam que os objetivos de conservaÃÃo do espaÃo sejam atingidos, de forma a beneficiar o maior nÃmero possÃvel de setores da sociedade local. Visando analisar o grau de efetividade do manejo do Parque Estadual Marinho da Pedra da Risca do Meio, Ãnica unidade de conservaÃÃo marinha do Estado do CearÃ, construiu-se um instrumental metodolÃgico baseado na anÃlise de 24 variÃveis, distribuÃdas entre 7 Ãmbitos. Para cada Ãmbito, foram elaboradas matrizes de avaliaÃÃo que permitiram a classificaÃÃo da efetividade do manejo de cada um destes e, ao integrÃ-los, da unidade de conservaÃÃo em si. A contribuiÃÃo inovadora deste estudo foi o desenvolvimento de uma metodologia que, embora apresente pontos em comum com metodologias anteriormente utilizadas, seja aplicada Ãs Ãreas marinhas protegidas, unidades de conservaÃÃo ainda carentes de estudos sobre eficiÃncia de manejo. Desta forma, a anÃlise do manejo do Parque Estadual Marinho da Pedra da Risca do Meio resultou em 61,46% do seu nÃvel Ãtimo, classificando-o como possuidor de um manejo medianamente satisfatÃrio. Inferiu-se, portanto, que apesar de possuir requisitos bÃsicos de manejo de uma unidade de conservaÃÃo essa Ãrea ainda apresenta lacunas estruturais e administrativas que dificultam o estabelecimento de aÃÃes eficazes na conservaÃÃo dos recursos naturais locais. / Created as a reaction to unlimited growth of modern society over environment, protected areas are nowadays distinctive components in a world-wide conservation strategy. Many kinds of threatened ecosystems are directly benefited by them, avoiding predatory uses of its extensions due to restrictions of behaviors imposed by their establishment. Amongst these, there are maritime areas. However, as well as terrestrial spaces, the mere creation of a marine protected area does not guarantee the environment preservation. The development of efficient administrative activities is really necessary, allowing the reach of its conservation objectives, whilst benefiting the largest possible number of society sectors. Aiming to analyze the effectiveness degree of Pedra da Risca do Meio Marine State Park handling, the only marine protected area of CearÃ, it was established a methodology that analysis 24 variables distributed between 7 ambits. For each ambit, it was elaborated an evaluation matrix that allows a qualification of its handling effectiveness. Integrating all evaluated sector, it was possible to measure the marine protected areaâs handling effectiveness. The analysis of Pedra da Risca do Meio Marine State Park handling effectiveness resulted in a 61.46% of its excellent level, being classified as a medium satisfactory handling. It was inferred, therefore, that although it possess the basic requirement of handling, this marine protected area still have structural and administrative gaps that make it difficult to establish efficient actions in local natural resources conservation.

Objetivo: Análise da relação custo-efetividade do tratamento com o uso do DCI - Desfibrilador Cardioversor Implantável comparado com o tratamento clínico alternativo através de medicamentos. Revisão de literatura: O estudo contemplou a revisão da conceituação das técnicas de avaliação econômica e de apropriação de custos de procedimentos hospitalares, bem como experiências sobre a análise da relação custo-efetividade aplicadas às intervenções médicas consideradas na pesquisa. Métodos: O estudo utilizou a unidade de Custo por AVG - Ano de Vida Ganho, como expressão do indicador de custo-efetividade. A metodologia compreendeu a definição da perspectiva da pesquisa (Sistema Único de Saúde na qualidade de principal financiador do implante de DCIs, no Brasil), elaboração dos protocolos padrões de tratamento, cálculo dos custos totais dos tratamentos baseados em indicadores praticados por hospitais de referência, os quais encontram-se estimados para o período de dez anos e ajustados para valor presente à taxa de desconto de 6% ao ano. No âmbito da efetividade, foram utilizados parâmetros da literatura, os quais encontram-se baseados nos anos de vida ganhos do tratamento com o uso do DCI, em relação ao tratamento clínico. Resultados: O custo por AVG alcançado pelo estudo foi de R$ 20.530,00, cerca de US$ 9.550. Esse indicador de efetividade foi calculado com base nos parâmetros de custo incremental de R$ 54.200,00 e expectativa de vida de 2,64 anos, decorrentes do uso do DCI comparado com o tratamento clínico. Discussão: O estudo considerou comparações com indicadores da literatura, faixas de atratividade, análises de sensibilidade, impactos sobre financiamento e limitações da pesquisa. Conclusões: O índice de custo-efetividade do tratamento com DCI mostrou-se favorável, sob as condições de atratividade ajustadas à realidade brasileira, embora enfrente dificuldades de financiamento por parte do SUS, considerando o substancial impacto financeiro das indicações de uso do referido tratamento. / Objective: Cost-effectiveness analysis of implantable cardioverter defibrillator therapy (ICD) compared with conventional drug therapy. Literature review: The study comprised the conceptualization of techniques of economic evaluation, the methodology of appropriation of hospital procedure costs and different experiences on cost-effectiveness analysis applied to medical interventions considered in this research. Methods: The study used the unit Cost per Life-Year Gained (LYG) as an index of cost-effectiveness. The methodology included the definition of the research scope (Sistema Único de Saúde as the main payor of the ICD\'s implant, in Brazil), creation of standard protocols of treatment, and calculation of treatment total cost based on indicators used by well known hospitals, which are estimated for ten years and adjusted to a discount rate of 6% a year. Concerning effectiveness, some parameters from the literature were applied, which are demonstrated by LYG with the implant of ICD, compared to the alternative drug therapy. Results: The cost per life-year gained reached by the study was of R$ 20,530.00, approximately US$ 9,550. This ratio of effectiveness was calculated on the basis of the parameters of additional cost of R$ 54,200.00 and the life expectancy of 2.64 years with the use of ICD compared to the drug treatment. Discussion: The study considered comparisons with indicators comprised in the literature, range of attractiveness, sensitivity analysis, impact over financing and limitations of research. Conclusions: The chosen cost-effectiveness indicator for ICD therapy was favorable, under the adjusted attractiveness conditions adapted to the actual Brazilian health care sector. This conclusion holds in spite of the present financial difficulties experienced by SUS, and the substantial financial impact this kind of therapy may generate.

O aumento de custos em saúde tem sido um tema relevante tanto pelo seu aspecto econômico quanto político, e uma de suas causas principais é a adoção de novas tecnologias de tratamento e medicamentos. O objeto deste estudo é um exemplo: o ganciclovir, uma tecnologia padrão, comparado ao valganciclovir oral, a tecnologia substitutiva. Simulações computacionais são formas de auxiliar a avaliação de custo-efetividade de um tratamento novo e a espinha dorsal desta dissertação. O conjunto de métodos para as simulações vão desde a coleta e estruturação do banco de dados, passando pelas estimativas dos parâmetros e a modelagem computacional em si, que fornecem material necessário para a análise de sobrevivência e custo-efetividade, assuntos abordados nesta pesquisa. Os principais usos da modelagem aqui realizada são: a racionalização de recursos aliadas a melhores resultados para os usuários (com menor exposição de riscos aos pacientes), menores gastos em pesquisas bem como subsídios de orientação do gestor de recursos em saúde / The increase in health costs has been a relevant issue both for its economic and political aspects, and one of its main causes is the adoption of new treatment technologies and medicines. The object of this study is an example: ganciclovir, a standard technology, compared to oral valganciclovir, the substitutive technology. Computational simulations are ways of helping to evaluate the cost-eectiveness of a new treatment and the backbone of this dissertation. The set of methods for the simulations range from the collection and structuring of the database, through the parameter estimates and the computational modeling itself, which provide the material needed for the survival and cost-eectiveness analysis, subjects addressed in this research. The main uses of the modeling carried out here are: the rationalization of allied resources to better results for users (with less risk exposure to patients), lower research expenditures as well as guidance subsidies for the health resource manager

O desempenho de um software depende das múltiplas otimizações no código realizadas por compiladores modernos para a remoção de computação redundante. A identificação de computação redundante é, em geral, indecidível em tempo de compilação, e impede a obtenção de um caso ideal de referência para a medição do potencial inexplorado de remoção de redundâncias remanescentes e para a avaliação da eficácia de otimização do código. Este trabalho apresenta um conjunto de métodos para a análise da efetividade de otimização de código através da observação do conjunto completo de instruções dinamicamente executadas e referências à memória na execução completa de um programa. Isso é feito por meio do desenvolvimento de um algoritmo de value numbering dinâmico e sua aplicação conforme as instruções vão sendo executadas. Este método reduz a análise interprocedural à análise de um grande bloco básico e detecta operações redundantes de memória e operações escalares que são visíveis apenas em tempo de execução. Desta forma, o trabalho estende a análise de reuso de instruções e oferece tanto uma aproximação mais exata do limite superior de otimização explorável dentro de um programa, quanto um ponto de referência para avaliar a eficácia de uma otimização. O método também provê uma visão clara de hotspots de redundância não explorados e uma medida de localidade de valor dentro da execução completa de um programa. Um modelo que implementa o método e integra-o a um simulador completo de sistema baseado em Power ISA 64-bits (versão 2.06) é desenvolvido. Um estudo de caso apresenta os resultados da aplicação deste método em relação a executáveis de um benchmark representativo (SPECInt2006) criados para cada nível de otimização do compilador GNU C/ C++. A análise proposta produz uma avaliação prática de eficácia da otimização de código que revela uma quantidade significativa de redundâncias remanescentes inexploradas, mesmo quando o maior nível de otimização disponível é usado. Fontes de ineficiência são identificadas através da avaliação de hotspots e de localidade de valor. Estas informações revelam-se úteis para o ajuste do compilador e da aplicação. O trabalho ainda apresenta um mecanismo eficiente para explorar o suporte de hardware na eliminação de redundâncias. / Software performance relies on multiple optimization techniques applied by modern compilers to remove redundant computation. The identification of redundant computation is in general undecidable at compile-time and prevents one from obtaining an ideal reference for the measurement of the remaining unexploited potential of redundancy removal and for the evaluation of code optimization effectiveness. This work presents a methodology for optimization effectiveness analysis by observing the complete dynamic stream of executed instructions and memory references in the whole program execution, and by developing and applying a dynamic value numbering algorithm as instructions are executed. This method reduces the interprocedural analysis to the analysis of a large basic block and detects redundant memory and scalar operations that are visible only at run-time. This way, the work extends the instruction-reuse analysis and provides both a more accurate approximation of the upper bound of exploitable optimization in the program and a reference point to evaluate optimization effectiveness. The method also generates a clear picture of unexploited redundancy hotspots and a measure of value locality in the whole application execution. A framework that implements the method and integrates it with a full-system simulator based on Power ISA 64-bit (version 2.06) is developed. A case study presents the results of applying this method to representative benchmark (SPECInt 2006) executables generated by various compiler optimization levels of GNU C/C++ Compiler. The proposed analysis yields a practical analysis that reveals a significant amount of remaining unexploited redundancies present even when using the highest optimization level available. Sources of inefficiency are identified with an evaluation of hotspot and value locality, an information that is useful for compilers and application-tuning softwares. The thesis also shows an efficient mechanism to explore hardware-support for redundancy elimination.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-05-04T14:51:52Z No. of bitstreams: 1 Gleydsson Carvalho.pdf: 616875 bytes, checksum: f85254f5f54b866594d7aed68e1256e5 (MD5) / Made available in DSpace on 2017-05-04T14:51:52Z (GMT). No. of bitstreams: 1 Gleydsson Carvalho.pdf: 616875 bytes, checksum: f85254f5f54b866594d7aed68e1256e5 (MD5) Previous issue date: 2016-04-29 / This paper attempts to analyze the effectiveness of the enforcement of the criminal transaction institute in the Special Criminal Court Imperatriz-MA. Therefore, we seek to make an analysis of the historical context in which it gave the appearance of Law No. 9,099 / 95, the inaugural consensual justice in the Brazilian criminal law, as well as a study of the main principles underlying the functioning of the Courts. He studied the institution of criminal transaction in a more detailed way, trying to conceptualize it and indicate some foreign institutes that served him for inspiration. It is also its legal nature, is mere discretion of the prosecution, or subjective right of the accused. At the end, we analyze data collected about compliance with the criminal transaction agreements indicated locus. It was used for quantitative and qualitative research, mainly based on literature review and case study. / O presente trabalho intenta analisar a efetividade do cumprimento do instituto da transação penal no Juizado Especial Criminal de Imperatriz-MA. Para tanto, procura se fazer uma análise do contexto histórico no qual se deu o surgimento da Lei nº 9.099/95, inauguradora da justiça consensual no direito penal brasileiro, bem como um estudo dos principais princípios que permeiam o funcionamento dos Juizados. Estudou-se o instituto da transação penal de forma mais detida, procurando conceituá-lo, bem como indicar alguns institutos estrangeiros que lhe serviram de inspiração. Trata-se também de sua natureza jurídica, se mera discricionariedade do Ministério Público, ou se direito subjetivo do acusado. Ao final, analisa-se dados coletados quanto ao cumprimento dos acordos de transação penal no locus indicado. Utilizou-se de pesquisa quanti-qualitativa, baseada principalmente em levantamento bibliográfico e estudo de caso.