• Linguagens de descrição de hardware para suporte a integração do processo de projeto em Amplo 

      Wagner, Flavio Rech; Freitas, Carla Maria Dal Sasso; Golendziner, Lia Goldstein (PGCC da UFRGS, 1987) [Relatório Técnico e de Pesquisa]
      Este relatório apresenta as características das linguagens de descrição de hardware existentes no sistema AMPLO que suportam a integridade do processo de projeto de sistemas digitais. Em especial, é completamente descrita ...
    • Modelamento de processos digitais com redes de instâncias 

      Wagner, Flavio Rech (PGCC da UFRGS, 1984) [Relatório Técnico e de Pesquisa]
      Este relatório apresenta o conceito de redes do instâncias. É mostrado que sistemas onde se desenrolam processos digitais podem ser modelados como redes de instâncias. Redes de Petri são utilizadas para descrever a estrutura ...
    • Simulação de sistemas modelados como redes de agências 

      Wagner, Flavio Rech (PGCC da UFRGS, 1985) [Relatório Técnico e de Pesquisa]
      Este trabalho apresenta um modelo de simulação, em um monoprocessador, de sistemas representados como re des de agências. A estrutura básica de um simulador adegua do a este modelo é mostrada. Alguns aspectos importantes ...