Orientador : Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-15T03:49:55Z (GMT). No. of bitstreams: 1 Santos_OsvaldoAlvesdos_M.pdf: 2166507 bytes, checksum: 4edb0602a740e4d32818fd40f621d55e (MD5) Previous issue date: 1985 / Resumo: A linguagem de programação Ada é uma linguagem de propósito geral, possuindo os recursos oferecidos pelas linguagens clássicas tais como Pascal e Algol bem como as facilidades de elaboração de programas modulares. Programação de sistemas e programação em tempo real, que normalmente são encontradas somente em linguagens específicas. Neste texto é apresentada uma proposta de um sistema de execução para Ada. Dada a extensão do trabalho, será tratada somente a parte concorrente e as exceções da linguagem. Foi suposto que o sistema hospedeiro pode possuir multiprocessadores / Abstract: Ada is a general purpose programming language, includes features found in classical languages such Pascal Algol, as well as features for modular programming system and real-time programming, which are usually found only in specific languages. We present in this thesis a proposal for a run-time system for Ada. Due to the complexity of the language, we treat only the concurrency and exception handling. We assume that the underlying computing system allows for multiple processors / Mestrado / Mestre em Ciência da Computação

Orientador :Rogerio Drummond / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-13T23:16:38Z (GMT). No. of bitstreams: 1 PinonArias_Hernan_M.pdf: 3494321 bytes, checksum: 4318518c79caf9945c09d3fee257f82a (MD5) Previous issue date: 1991 / Resumo: O presente trabalho descreve a implementação do editor topológico para as computações de LegoShell. A LegoShell é uma das linguagens do Ambiente de desenvolvimento de software baseado em Hierarquias de Abstração em Níveis Diferenciados (A_HAND), atualmente sendo desenvolvido no Departamento de Ciência da Computação da UNICAMP. Ela possibilita a composição de programas através da conexão de suas portas de entrada e saída. Ela estende da noção de "pipe" do UNIX@, restrita a uma dimensão só, para grafos multidimensionais compostos de programas, dispositivos periféricos, arquivos, conectores, etc. Estes grafos, chamados computações, podem ser abstraídos como programas e depois utilizados nas computações indistintamente de programas reais. Qualquer dos componentes de uma computação pode residir ou ser executado em qualquer uma das máquinas da rede local, possibilitando assim, a especificação de computações distribuídas. Pela sua natureza, a LegoShell é inerentemente uma linguagem de estrutura topológica. Um editor apropriado deve ser capaz de manipular estruturas topo lógicas e representa-las de forma gráfica. Este editor será o "front-end" principal do ambiente A_HAND. Por isto ele é o principal responsável pela determinação do "look-and-feel" da interface com o usuário do ambiente. A interface com o usuário foi implementada usando os widgets do X Windows, uma máquina de "statecharts" foi utilizada para a definição do núcleo semântico do editor e finalmente os objetos complexos manipulados internamente foram implementados seguindo o paradigma de tipos abstratos de dados / Abstract: This work describes the implementation of the topologic editor for the LegoShell computations. LegoShell is one of the languages of the Software Development Environment based on Hierarchies of Differentiated Levels of Abstraction (A_HAND), being developed at the Computer Science Department of UNICAMP. It allows program composition through the connection of program input and output ports. It extends the notion of UNIX pipes, which is restricted to a single dimension, to multidimensional graphs composed of programs, peripheral devices, files, connectors, etc. These graphs, called computations, can be abstracted and used afterwards in other computations without any difference from real programs. Any of the components could run locally or in any of the Local Area Network machines, this way allowing the specification of distributed computations. Because of its own nature, LegoShell is intrinsically a topologically structured language. A suitable editor has to be able to manipulate topological structures and to represent them in a graphical manner. This editor will be the principal front-end' of A_HAND. This it is the reason why the editor is mainly responsible for the look-and-feel of the user interface in this environment. The user interface has been implemented using X Windows widgets, a statecharts machine has been used to define the semantic core of the editor and finally the complex objects which are internally manipulated were implemented following the abstract data tipe paradigm / Mestrado / Mestre em Ciência da Computação

Orientador: Tomasz, Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-20T02:12:04Z (GMT). No. of bitstreams: 1 Bacarin_Evandro_M.pdf: 1430913 bytes, checksum: e48d58b6dd2cafd20c06ea9f9d266959 (MD5) Previous issue date: 1995 / Resumo: O trabalho apresenta uma linguagem de programação, denominada LL (de Library Language), que visa atender as necessidades de projetistas de algoritmos - programadores ocasionais que necessitam implementar seus algoritmos para testá-los, demonstrá-los didaticamente ou analisar sua eficiência. A linguagem busca ser simples e expressiva. Uma linguagem de programação complexa, em contraste com a simplicidade perseguida no projeto de LL, pode induzir o programador a erros alheios ao algoritmo em implementação, devido à complexidade excessiva da ferramenta. A expressividade é outra qualidade desejável, uma vez que os algoritmos a serem codificados são, muitas vezes, descritos em artigos, livros ou anais de congressos em uma linguagem de bastante alto nível. Expressividade e simplicidade visam prototipação rápida de algoritmos. O tempo e o esforço de implementação podem ser abreviados se o programador tiver ao seu alcance um rico conjunto de bibliotecas que o auxiliem em seu trabalho. Assim, LL enfatiza a facilidade de criação e reutilização de bibliotecas escritas em outras linguagens. O trabalho descreve, também, alguns detalhes de implementação de seu compilador, bem como relaciona semelhanças e diferenças de linguagens de programação que influenciaram seu projeto. / Abstract: This thesis introduces a programming language called LL (for Library Language). Its main goal is to answer needs of algorithm designers who as occasional programmers implement their algorithms in order to test them, to demonstrate them in a didactic way or to analyze their efficiency. LL is simple and expressive. A complex programming language can lead the programmer to errors related not to the algorithms that are being implemented, but to the excessive complexity of the tool being used. Another goal to be achieved is expressiveness, since the goal is to implement algorithms which are generally shown in scientific papers, books or proceedings, in a high level language. Expressiveness and simplicity lead to rapid prototyping of the algorithms. Time and effort in implementation can be reduced if the programmer has available a rich variety of libraries. Thus LL emphasizes ease in the creation and reuse of libraries written in other languages. Some of the compiler implementation details are also shown as well as similarities and differences with the programming languages which influenced the design. / Mestrado / Mestre em Ciência da Computação

No description available.

Orientador: Renata Spolon Lobato / Banca: Eduardo Marques / Banca: Aleardo Manacero Junior / Resumo: Durante esta pesquisa, foram investigados conceitos relacionados à computação reconfigurável, processo de compilação e funcionamento da compilação Java, especialmente no que se refere à manipulação de bytecodes. O principal objetivo é a elaboração conceitual de um compilador capaz de traduzir bytecodes de um aplicativo Java para código binário obediente ao conjunto de instruções do processador Nios II da Altera®, acompanhada de algumas implementações. Com este compilador, será possível a construção de programas para dispositivos que utilizem o processador Nios II, como dispositivos de sistemas embarcados, a partir da linguagem Java. Isto proporciona uma forma ágil para a elaboração de aplicativos para sistemas desse tipo. Implementações relevantes foram desempenhadas de forma a comprovar o funcionamento do referido compilador. Tais implementações abrangeram suporte de bytecodes referentes a um subconjunto da linguagem Java, bem como a criação de estruturas de representação intermediária e mecanismos para geração de código final. Além disso, foram desenvolvidos um simulador e um montador de instruções do Nios II de forma a auxiliar no andamento do trabalho. Como resultado, pôde-se verificar que é possível o desenvolvimento de tal ferramenta e que sua existência contribui para o desenvolvimento de outras ferramentas ou aplicativos inseridos no contexto de computação reconfigurável. / Abstract: During this research, concepts concerning about reconfigurable computing, compiling process and Java compilation were investigated, especially relating to bytecode generation. The goal of this research is twofold: first, the conceptual development of a compiler that is able to translate bytecodes from a Java application to binary code compliant with Altera™ Nios II processor instruction set, and second, provide a set of appropriate implementations for the proposed compiler. With this compiler, it will be possible to construct programs for devices that use Nios II processor, as embedded systems devices, from Java language, providing an agile manner for applications' building for this kind of systems. Relevant implementations were performed to prove compiler's functionalities. Such implementations covered bytecodes' support to a Java language subset, as well as intermediate structures and final code generation mechanisms. Besides, a simulator and an assembler for Nios II instructions were developed to help this work's evolution. As result, it was possible to verify that the development of such tool is feasible and contributes to the generation of other tools and applications inserted in the context of reconfigurable computing. / Mestre

Made available in DSpace on 2014-06-11T19:29:39Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-02-27Bitstream added on 2014-06-13T20:39:05Z : No. of bitstreams: 1 lima_ws_me_sjrp.pdf: 1076568 bytes, checksum: 2b137d2ad2832d04670f7d9c091eb474 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Durante esta pesquisa, foram investigados conceitos relacionados à computação reconfigurável, processo de compilação e funcionamento da compilação Java, especialmente no que se refere à manipulação de bytecodes. O principal objetivo é a elaboração conceitual de um compilador capaz de traduzir bytecodes de um aplicativo Java para código binário obediente ao conjunto de instruções do processador Nios II da Altera®, acompanhada de algumas implementações. Com este compilador, será possível a construção de programas para dispositivos que utilizem o processador Nios II, como dispositivos de sistemas embarcados, a partir da linguagem Java. Isto proporciona uma forma ágil para a elaboração de aplicativos para sistemas desse tipo. Implementações relevantes foram desempenhadas de forma a comprovar o funcionamento do referido compilador. Tais implementações abrangeram suporte de bytecodes referentes a um subconjunto da linguagem Java, bem como a criação de estruturas de representação intermediária e mecanismos para geração de código final. Além disso, foram desenvolvidos um simulador e um montador de instruções do Nios II de forma a auxiliar no andamento do trabalho. Como resultado, pôde-se verificar que é possível o desenvolvimento de tal ferramenta e que sua existência contribui para o desenvolvimento de outras ferramentas ou aplicativos inseridos no contexto de computação reconfigurável. / During this research, concepts concerning about reconfigurable computing, compiling process and Java compilation were investigated, especially relating to bytecode generation. The goal of this research is twofold: first, the conceptual development of a compiler that is able to translate bytecodes from a Java application to binary code compliant with Altera™ Nios II processor instruction set, and second, provide a set of appropriate implementations for the proposed compiler. With this compiler, it will be possible to construct programs for devices that use Nios II processor, as embedded systems devices, from Java language, providing an agile manner for applications’ building for this kind of systems. Relevant implementations were performed to prove compiler’s functionalities. Such implementations covered bytecodes’ support to a Java language subset, as well as intermediate structures and final code generation mechanisms. Besides, a simulator and an assembler for Nios II instructions were developed to help this work’s evolution. As result, it was possible to verify that the development of such tool is feasible and contributes to the generation of other tools and applications inserted in the context of reconfigurable computing.

Orientador: Guido Costa Souza de Araujo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-11T23:50:19Z (GMT). No. of bitstreams: 1 Rigo_Sandro_M.pdf: 11824282 bytes, checksum: ecebac4bbf8a89ce61520b66f5923a94 (MD5) Previous issue date: 2000 / Resumo: Gerenciamento de memória é uma tarefa muito importante para o bom desempenho de uma aplicação. Existem duas alternativas para a execução desta tarefa: gerenciamento explícito por parte do programador, ou a existência de um sistema dinâmico automático. O objetivo desse trabalho foi realizar experimentos de codificação e compactação do heap no sistema automático de gerenciamento de memória da máquina virtual Java, usando como plataforma a implementação desta conhecida como Kaffe. Na primeira parte deste trabalho, foi estudado um mecanismo alternativo de codificação dos objetos vivos, baseado em Binary Decision Diagrams (BDD). Na segunda etapa, foi projetado um coletor de lixo, cujo objetivo era avaliar o impacto da compactação do heap no desempenho da JVM. A implementação de nosso coletor se baseou no algoritmo conhecido como Mark-Compact. Obtivemos uma implementação híbrida para o sistema de recuperação de memória da máquina virtual Kaffe, capaz de realizar coletas utilizando ou não compactação. Esse sistema nos permite configurar a freqüência com que compactações são realizadas, permitindo ajustá-lo para diminuir o impacto causado por estas no desempenho do programa. Finalmente, mostramos nossas conclusões sobre os experimentos realizados e apontamos algumas possíveis melhorias a serem implementadas na máquina virtual kaffe, que visam aproveitar ao máximo os benefícios trazidos pela compactação. / Abstract: Memory management is an important task for good performance. There are two choices to accomplish this task: explicit management done by the programmer, or the presence of an automatic dynamic memory management system. The goal of this work was to perform experiments using codification and compaction on Java Virtual Machine's memory management system, using its implementation known as Kaffe. In the first part, we have studied an alternative system of live objects codification, based on Binary Decision Diagrams(BDD). In the second part, a garbage collector has been projected. Its main goal was to evaluate the impact on JVM's performance by adding a heap compaction system. The implementation of this collector was based on the Mark-Compact algorithm. We got a hybrid implementation for our garbage collection system, which is able to collect using or not using compaction. This system allows us to configure how often it performs heap compaction, adjusting it to minimize the impact on program performance. Finally, we show our conclusions about the experiments we have done and suggest some possible improvements to be implemented on Kaffe JVM, intending to take full advantage of the compaction benefits. / Mestrado / Mestre em Ciência da Computação

Orientadores: Mario Jino, Jose Carlos Maldonato / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-15T22:24:11Z (GMT). No. of bitstreams: 1 LeitaoJunior_PliniodeSa_M.pdf: 8961188 bytes, checksum: faab8704e2ed32132f9fc88097241a4f (MD5) Previous issue date: 1992 / Resumo: Neste trabalho são discutidos os aspectos de aplicação de teste estrutural baseado em análise de fluxo de dados em programas COBOL. Com esse propósito, uma ferramenta denominada POKE-TOOL [MAL89,CHA91b], que apóia a utilização dos critérios Potenciais Usos [MAL88, MAL91], foi configurada para a linguagem COBOL. São abordados: a caracterização de unidade em programas COBOL; a abstração das estruturas de controle que compõem essa linguagem; o fluxo de dados presente em programas COBOL; e aspectos referentes à Instrumentação de programas COBOL. A discussão ressalta a não trivialidade dessas tarefas: por exemplo, a inexistência de estrutura de bloco na linguagem COBOL dificulta a atividade de Instrumentação de código fonte. Como produto principal desta dissertação, a versão operacional da POKE-TOOL para a linguagem COBOL constitui uma contribuição importante no sentido de apoiar o teste estrutural de unidades escritas em linguagem COBOL / Abstract: This work explores the issues involved in applying data flow based structural testing in COBOL programs; a tool named POKE-TOOL [MAL89,CHA91b] that supports Potential Uses Criteria appllcation [MAL88, MAL91] was configured for the COBOL programming language. The following topics are discussed: characterization of units in COBOL; abstraction of control flow structures; data flow in COBOL and program instrumentation. The presentation points out that these tasks are non-trivial: for example, the lack of block structuring in COBOL makes difficult the instrumentation of source code. As the main product of this thesis, the operational version of the POKE-TOOL for COBOL language constitute an important contribution to structural testing of units implemented in COBOL / Mestrado / Mestre em Engenharia Elétrica

Orientador : Wagner C. Amaral / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-16T01:51:41Z (GMT). No. of bitstreams: 1 Ludwig_Artemio_D.pdf: 9026847 bytes, checksum: bf0003b28c02857c43931feb4b9729d1 (MD5) Previous issue date: 1992 / Resumo: A implementação de interpretadores para a linguagem da Lógica de Ordem Superior (LOS) constitui-se num desafio ainda não vencido. Pode-se dividi-Io em duas partes: (a) tornar a linguagem mais amigável permitindo estimular sua adoção e (b) dotar as implementações com um desempenho que não sacrifique sua usabilidade. A linguagem de programação para a LOS utiliza os conceitos do À-cálculo e os recursos de tipificação de Russel. Sua sintaxe é portanto mais complexa do que aquela da Lógica de Primeira Ordem (LPO). A técnica de derivação de algum conhecimento em uma base de conhecimento, formalizada conforme suas regras, assemelha-se com aquela da LPO que é chamada de resolução. Qualquer sistema de provas em LOS deve atender a restrições de uma linguagem fortemente tipada e a unificação, que apresenta problemas de incompletude, pode gerar mais do que um unificador. Isto torna a pesquisa nâ.o-determinística e faz com que a derivação contenha mais uma fonte de retroencadeamento, quando comparada com modelo de programação em LPO. Este trabalho expõe e analisa a implementação de um interpretador para a LOS sujeita a sentenças definidas positivas as quais contêm propriedades adequadas à mecanização semelhantes àquelas das cláusulas de HORN da LPO. Problemas de indecidibilidade são contornados e os vários aspectos computacionais são descritos como a formação da base de conhecimento, sua gramática e a P-derivação, que é o método de obtenção de provas sobre a base. Central a estes procedimentos encontra-se a unificação que apresenta complexidade elevada e cujo processamento é razão de depauperação na qualidade do sistema. Uma proposta de enfoque alternativa é oferecida com o propósito de atenuar os efeitos sobre a lentidão do sistema. O algoritmo resultante indica ganhos no desempenho e apresenta uma interpretação mais facilitada do mecanismo da unificação / Abstract: Efficient Interpreter implementations for Righer Order Logic (ROL) programming language still remain as a challenge that can be splitted into two classes: (a) to make the language friendlier in order to stimulate the user to adopt it, and (b) to provi de the interpreter with a performance that does not damage its usability. This paper resulted from an ROL interpreter prototypation, called À-PROLOG. Only the positive definite sentençes are used in the language. They are similar to those of the First Order Logic (FOL) programing language and present some apropriate mechanization properties. One kind of implementation is discribed and its computational aspects are analysed. They include the knowledgernent base formation, the grarnrnar of the sentences and the P-derivation, which is the method of deriving proofs over the base. The unification is the most important interpreter procedure and has high complexity. Its processing is one of the reazons for the depaupering of system quality. In this paper the analisies of the MATCR and SIMPL algorithms that were developed for this purpose are used to supply a new unification algorithm which, in contrast to MATCR, shows initial performance gains and an easier procedural interpretation oí the unification mechanism / Doutorado / Automação / Doutor em Engenharia Elétrica

Estágio realizado na AuditMark, Ld.ª / Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2009