Compiladores
Mostrando 13-24 de 67 artigos, teses e dissertações.
-
13. Geração automática de testes a partir de descrições de linguagens
Alguns programas podem ter sua entrada formalizada através de gramáticas livres de contexto. Esta formalização facilita a utilização de ferramentas na sistematização e na elevação da qualidade do seu processo de teste. Dentro desta categoria de programas os compiladores foram os primeiros a utilizar este tipo de ferramenta para a automação de seu
Publicado em: 2010
-
14. LALP: a language for parallelism of loops exploitation in reconfigurable computing / LALP: uma linguagem para exploração do paralelismo de loops em computação reconfigurável
Reconfigurable computing is becoming increasingly important in embedded and high-performance computing systems. It allows performance levels close to the ones obtained with Application-Specific Integrated circuits (ASIC), while still keeping design and implementation flexibility. However, to efficiently program devices, one needs the expertise of hardware de
Publicado em: 2010
-
15. Algoritmo eficiente de análise estática para procurar ataques do tipo variáveis contaminadas
Ataques do tipo variáveis contaminadas ocorrem quando entradas de programas são manipuladas maliciosamente a afim de explorar falhas de segurança inerentes ao software afetado. Ataques deste tipo são comuns em linguagens de scripts como PHP, originadas no lado do servidor. Em 1997, Orbaek e Palsberg formalizaram o problema de detectar essas explorações
Publicado em: 2010
-
16. 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
-
17. Aspectos de projeto e implementação de linguagens para codificação de programas adaptativos. / On the design and implementation of languages for coding adaptive programs.
This work presents a set of theoretical and methodological contributions to the design and implementation of programming languages, using the adaptive automaton as device for its formal definition. The complete specification of a programming language involves proper understanding of principles and common ground between all the programming languages, transpar
Publicado em: 2009
-
18. Uma ferramenta para execução de algoritmos utilizando o modelo a fluxo de dados dinâmico em hardware reconfigurável para a arquitetura ChipCflow: módulo de conversão C em grafo a fluxo de dados / A tool for algorithms implementation using the dynamic data flow model in reconfigurable hardware for the ChipCflow architecture - C conversion to data flow graph module
ChipCflow is a tool for algorithms execution using a data dynamic flow in reconfigurable hardware. The main purpose of the work is to use the data flow architecture model, associated to the concept of reconfigurable architectures, to speed up C written applications. The program acceleration happens in the most intensive processing parts (example: loops), thr
Publicado em: 2009
-
19. Transparent reconfigurable architecture for heterogeneous applications / Uma arquitetura reconfigurável transparente para aplicações heterogêneas
Atualmente, pode-se observar que a Lei de Moore vem estagnando. A freqüência de operação já não cresce da mesma forma, e a potência consumida aumenta drasticamente em processadores de propósito geral. Ao mesmo tempo, sistemas embarcados vêm se tornando cada vez mais heterogêneos, caracterizados por uma grande quantidade de modelos computacionais di
Publicado em: 2009
-
20. Geração de processador para aplicacao especifica / Application specific processor generation
Este trabalho propõe a geração de uma arquitetura dedicada a aplicações específicas, baseadas no microcontrolador MCS8051. Por ser utilizado na solução de problemas em indústrias locais, este processador foi escolhido para servir como base em um sistema dedicado. O 8051 dedicado gerado deverá permitir a integração completa do sistema, proporciona
Publicado em: 2009
-
21. PBIW : um esquema de codificação baseado em padrões de instrução / PBIW : an encoding technique based on instruction patterns
Past works has shown that the increase of DRAM memory speed is not the same of processor speed. Even though, computer architecture researchers keep searching for new approaches to enhance the processor performance. In order to minimize this difference between the processor and memory speed, this work presents a new encoding technique based on encoded instruc
Publicado em: 2008
-
22. SUMMARY-BASED POINTER ANALYSIS FRAMEWORK FOR MODULAR BUG FINDING
Modern society is irreversibly dependent on computers and, consequently, on software. However, as the complexity of programs increase, so does the number of defects within them. To alleviate the problem, automated techniques are constantly used to improve software quality. Static analysis is one such approach in which violations of correctness properties are
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2008
-
23. Otimizações para acesso a memoria em tradução binaria dinamica / Optimization for memory acess in dynamic binary translation
Dynamic binary translators or DBTs, are programs designed to execute, in a target architecture, binary programs from different architectures, performing the translation of the binary program during the execution time. They can also be used to improve the performance of native programs for a specific architecture. DBTs can collect profile information from the
Publicado em: 2008
-
24. Uma arquitetura de redes de sensores do corpo humano
As Redes de Sensores do Corpo Humano (RSCH) devem ser projetadas para operar de maneira autônoma. Por outro lado, devem oferecer mecanismos que remetam o controle aos profissionais da saúde. Um grande desafio no projeto de RSCH é oferecer de forma adequada (com transparência) acesso às configurações internas da rede e dos sensores, sem excluir a capac
Publicado em: 2008