OpenISA, um conjunto de instruções híbrido

Orientador: Edson BorinTese (doutorado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: OpenISA é concebido como a interface de processadores que pretendem ser altamente flexíveis. Isto é conseguido por meio de três estratégias: em primeiro lugar, o ISA é empiricamente escolhido para ser facilmente traduzido para outros, possibilitando flexibilidade do software no caso de um processador OpenISA físico não estar disponível. Neste caso, não há nenhuma necessidade de aplicar um processador virtual OpenISA em software. O ISA está preparado para ser estaticamente traduzido para outros ISAs. Segundo, o ISA não é um ISA concreto nem um ISA virtual, mas um híbrido com a capacidade de admitir modificações nos opcodes sem afetar a compatibilidade retroativa. Este mecanismo permite que as futuras versões do ISA possam sofrer modificações em vez de extensões simples das versões anteriores, um problema comum com ISA concretos, como o x86. Em terceiro lugar, a utilização de uma licença permissiva permite o ISA ser usado livremente por qualquer parte interessada no projeto. Nesta tese de doutorado, concentramo-nos nas instruções de nível de usuário do OpenISA. A tese discute (1) alternativas para ISAs, alternativas para distribuição de programas e o impacto de cada opção, (2) características importantes de OpenISA para atingir seus objetivos e (3) fornece uma completa avaliação do ISA escolhido com respeito a emulação de desempenho em duas CPUs populares, uma projetada pela Intel e outra pela ARM. Concluímos que a versão do OpenISA apresentada aqui pode preservar desempenho próximo do nativo quando traduzida para outros hospedeiros, funcionando como um modelo promissor para ISAs flexíveis da próxima geração que podem ser facilmente estendidos preservando a compatibilidade. Ainda, também mostramos como isso pode ser usado como um formato de distribuição de programas no nível de usuárioAbstract: OpenISA is designed as the interface of processors that aim to be highly flexible. This is achieved by means of three strategies: first, the ISA is empirically chosen to be easily translated to others, providing software flexibility in case a physical OpenISA processor is not available. Second, the ISA is not a concrete ISA nor a virtual ISA, but a hybrid one with the capability of admitting modifications to opcodes without impacting backwards compatibility. This mechanism allows future versions of the ISA to have real changes instead of simple extensions of previous versions, a common problem with concrete ISAs such as the x86. Third, the use of a permissive license allows the ISA to be freely used by any party interested in the project. In this PhD. thesis, we focus on the user-level instructions of OpenISA. The thesis discusses (1) ISA alternatives, program distribution alternatives and the impact of each choice, (2) important features of OpenISA to achieve its goals and (3) provides a thorough evaluation of the chosen ISA with respect to emulation performance on two popular host CPUs, one from Intel and another from ARM. We conclude that the version of OpenISA presented here can preserve close-to-native performance when translated to other hosts, working as a promising model for next-generation, flexible ISAs that can be easily extended while preserving backwards compatibility. Furthermore, we show how this can also be a program distribution format at user-levelDoutoradoCiência da ComputaçãoDoutor em Ciência da Computação2011/09630-1FAPES

Determinação de Preços de Ativos, Arbitragem, Mercado A Termo e Mercado Futuro

O artigo é dividido em duas partes: a primeira tem por fim apresentar um modelo básico de determinaçio de preços de ativos e definir o que vem a ser uma oportunidade de arbitragem. Na segunda parte é analisado inicialmente o mercado a termo, mostrando como o preço do ativo é determinado neste mercado por arbitragem. Depois é analisado o mercado futuro, mostrando como seu preço é determinado por arbitragem no caso de termos taxa de juros não estocástica, e nalisada a relação entre o preço de certo ativo no mercado a termo e no mercado futuro e o papel das expectativas. Finalmente apresentamos um procedimento alternativo para a determinação de preços no mercado futuro, que é o modelo de média-variância

Beneficial Regulation of Matrix Metalloproteinases for Skin Health

Matrix metalloproteinases (MMPs) are essential to the remodeling of the extracellular matrix. While their upregulation facilitates aging and cancer, they are essential to epidermal differentiation and the prevention of wound scars. The pharmaceutical industry is active in identifying products that inhibit MMPs to prevent or treat aging and cancer and products that stimulate MMPs to prevent epidermal hyperproliferative diseases and wound scars

A igreja do diabo

O conto fala sobre como o Diabo abriu sua própria igreja, ele desceu na terra e todas as virtudes viraram pecado, sua igreja se populariza muito rápido mas com o tempo ele percebe que ate o mais fraudulento esta fazendo caridade e percebe que o ser humano é uma eterna contradição

Interações entre ciência-tecnologia-sociedade no contexto da formação de professores de ciências

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Ciências da Educação. Programa de Pós-Graduação em Educação.Aborda-se a necessidade de associar, ao ensino de conceitos científicos, a discussão e problematização de construções historicamente realizadas sobre a atividade científico-tecnológica e que dão origem ao que se denominou mitos. Três destas construções foram focalizadas: superioridade do modelo de decisões tecnocráticas, perspectiva salvacionista da Ciência-Tecnologia e o determinismo tecnológico. Estes mitos são entendidos como manifestações, originados direta ou indiretamente, da concepção de neutralidade da Ciência-Tecnologia, respaldando o modelo tradicional de progresso, segundo o qual o bem-estar social é decorrência linear do desenvolvimento científico-tecnológico. A estes mitos foram associados parâmetros, os quais, no seu conjunto, postulam a democratização da tomada de decisões em temas envolvendo Ciência-Tecnologia, apontando para a necessidade de superação das referidas construções. Os parâmetros, que expressam uma compreensão sobre as interações entre Ciência-Tecnologia-Sociedade, balizaram tanto a investigação da compreensão de professores de ciências sobre as interações entre Ciência-Tecnologia-Sociedade, como os encaminhamentos a serem considerados em programas de formação inicial e continuada de professores. Metodologicamente, a pesquisa configurou-se segundo dois eixos, complementares: a explicitação e fundamentação dos parâmetros e a realização de entrevistas semi-estruturadas, realizadas com um grupo de 20 professores de ciências. Buscou-se avaliar o pensar do conjunto dos professores em termos de aproximações e distanciamentos relativamente aos parâmetros. Como síntese da análise, pode-se apontar uma tendência no endosso ao modelo de decisões tecnocráticas, assim como um posicionamento, diante do avanço científico-tecnológico, próximo do determinismo tecnológico. Por outro lado, houve uma significativa rejeição ao mito da perspectiva salvacionista da Ciência-Tecnologia. Detectou-se, também, a presença significativa de contradições no pensar individual dos professores, aspecto atribuído, dentre outros fatores, a uma compreensão confusa, ambígua sobre a não neutralidade da Ciência-Tecnologia. Apontam-se oito dimensões a serem minimamente contempladas no processo de formação de professores e que podem contribuir para a superação destes mitos e contradições. Como exemplo, propõe-se cinco temas com os quais as dimensões apontadas serão trabalhadas na continuidade do trabalho