Compiler
Mostrando 1-12 de 49 artigos, teses e dissertações.
-
1. Software para simulação de mecanismo de supressão da luminescência: modelo cinético de Stern-Volmer
A software that includes both Stochastic and Molecular Dynamics procedures has been developed with the aim of visualizing the Stern-Volmer kinetic mechanism of dynamic luminescence quenching. The software allows the student to easily simulate and graphically visualize the molecular collisions, the molecular speed distributions, the luminescence decay curves,
Quím. Nova. Publicado em: 2014-04
-
2. Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software
ABSTRACT: This paper discusses how compiler optimizations influence software reliability when the optimized application is compiled with a technique to enable the software itself to detect and correct radiation-induced control-flow errors. Supported by a comprehensive fault-injection campaign using an established benchmark suite in the embedded systems domai
J. Aerosp. Technol. Manag.. Publicado em: 2013-09
-
3. Infraestrutura de compilação para a implementação de aceleradores em FPGA
O aumento no desempenho de processadores sequenciais tem sido limitado severamente por fatores físicos e tecnológicos nos últimos anos. Dessa forma, abordagens alternativas para a execução com alto desempenho ganharam maior importância nos últimos anos. Uma delas baseia-se na utilização de hardware customizado, implementado utilizando-se FPGAs. Entr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/11/2012
-
4. Simulação Monte Carlo de mecanismo de transferência de energia de excitação eletrônica: modelo de Perrin para a supressão estática da luminescência
A software based in the Monte Carlo method has been developed aiming the teaching of the Perrin´s model for static luminescence quenching. This software allows the student to easily simulate the luminescence decays of emissive molecules in the presence of quenching ones. The software named PERRIN was written for FreeBASIC compiler and it can be applied for
Química Nova. Publicado em: 2011
-
5. Otimização Unroll and Jam através da refatoração / Unroll and Jam optimization through refactoring
The optimizations of a program can be performed on the intermediate code, generated during compilation time, or through the Performance Refactoring that consists of insertion of optimizations directly in the source code of the application. In the source code structure, iteration loops have a major impact in the performance of the application because they are
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011
-
6. Identificação de bovinos através de reconhecimento de padrões do espelho nasal utilizando redes neurais artificiais / Identification of bovines through recognition of images patterns of the muzzle using artificial neural nets
Artificial Neural Networks (ANN) are mathematical models associated with artificial intelligence that can learn and generalize information, therefore they can be used as images classifiers. This paper aims to analyze the cattle muzzle in order to prove that it is a unique and permanent characteristic of the animal thus, being used as its unique identificatio
Publicado em: 2011
-
7. Um modelo de programação orientado ao desenvolvimento de sistemas ubíquos / A programming model oriented to development of ubiquitous systems
O presente trabalho propõe o Ubiquitous Oriented Programming (abreviadamente UOP), um modelo de programação orientado ao desenvolvimento de sistemas ubíquos. UOP utiliza os conceitos de Serviços e Orientação a Objetos, integrando-os com os requisitos de aplicações ubíquas como contexto, sensibilidade ao contexto, adaptação ao contexto, mobilidade
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/03/2010
-
8. Técnicas de otimização de código objeto e suas aplicações em um compilador para a linguagem Basic usando um compilador de compiladores
O objetivo deste trabalho é criar um compilador para a linguagem BASIC (Beginner's All-purpose Symbolic Instruction Code), para o sistema IBM-7044. Paralelamente, são apresentadas técnicas de otimização de código objeto. O compilador, gerado pelo sistema COMCOM (COMpiler COMpiler), utiliza algumas destas técnicas, visando produzir um código eficiente
Publicado em: 2010
-
9. Simulação Monte Carlo no ensino de luminescência e cinética de decaimento de estados excitados
A software based in the Monte Carlo method have been developed aiming the teaching of important cases of mechanisms found in luminescence and in excited states decay kinetics, including: multiple decays, consecutive decays and coupled systems decays. The Monte Carlo Method allows the student to easily simulate and visualize the luminescence mechanisms, focus
Química Nova. Publicado em: 2010
-
10. Paralelização automática de laços para arquiteturas multicore / Automatic loop parallelization for multicore architectures
Embora muitos programas possuam uma forma regular de paralelismo, que pode ser expressa em termos de laços paralelos, muitos exemplos importantes não a possuem. Loop skewing é uma transformação que remodela o espaço de iteração dos laços para que seja possível expressar o paralelismo implícito através de laços paralelos. Como consequência da co
Publicado em: 2010
-
11. Um Compilador para a linguagem RS distribuída / A compiler for distributed RS language
A Linguagem RS é destinada a programação de núcleos reativos centralizados. Tais núcleos são responsáveis por toda a lógica de um sistema reativo, manipulando os sinais de entrada, realizando as reações e gerando os sinais de saída. Sendo sua idéia inicial tratar apenas processos centralizados, não houve a preocupação com a distribuição. Est
Publicado em: 2010
-
12. Aplicação do método B ao projeto formal de software embarcado
Este trabalho apresenta um método de projeto proposta para vericação formal do modelo funcional do software até o nível da linguagem assembly. Esse método é fundamentada no método B, o qual foi desenvolvido com o apoio e interesse da multinacional do setor de petróleo e gás British Petroleum (BP). A evolução dessa metodologia tem como objetivo co
Publicado em: 2009