Navegação por Assunto "Programação concorrente"
Resultados 1-3 de 3
-
Mapeamento da linguagem Nautilus para Java
(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
(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
(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 ...