• Mapeamento da linguagem Nautilus para Java 

      Fuzitaki, Claudio Naoto (2004) [Dissertação]
      Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da ...
    • Um método para implementação de programas concorrentes no computador dec-10 

      Silveira, Antonio Tobias (1983) [Dissertação]
      Este trabalho descreve um método para a construção de programas concorrentes no sistema DEC-10, utilizando os conceitos de processos, monitores e classes. Alem do método em si, são apresentados uma linguagem de programação, ...
    • Modular and generic WCET static analysis with LLVM framework 

      Fachini, Guilherme James de Angelis (2011) [Trabalho de conclusão de graduação]
      O cálculo do tempo do pior-caso de execução, do inglês Worst Case Execution Time (WCET) é um desafio na área de verificação de software para sistemas de tempo real. Essa análise faz parte do trabalho de escalonamento de ...