• Estratégias de computação seqüenciais e paralelas sobre espaços coerentes 

      Schneider Sellanes, Ruben Gerardo (1996) [Dissertação]
      As estruturas de dados concretas (cds) são quaternas (C, V, E, l-) que contêm um conjunto C de células, um conjunto V de valores, um conjunto E de eventos e uma relação de habilitação l-. O conjunto de estados de uma cds ...
    • Exploração de paralelismo no roteamento global de circuitos VLSI 

      Tumelero, Diego (2015) [Dissertação]
      Com o crescente aumento das funcionalidades dos circuitos integrados, existe um aumento consequente da complexidade do projeto dos mesmos. O fluxo de projeto de circuitos integrados inclui em um de seus passos o roteamento, ...
    • Exploring parallelism on pure functional languages with ACQuA 

      Tanus, Felipe de Oliveira (2017) [Dissertação]
      Moore’s law reaching its physical limitations has pushed the industry to produce multicore processors. However, programming those processors with an imperative language is not easy since it requires developers to create ...