Browsing Computation by Author "Tazza, Maurizio"
Now showing items 1-2 of 2
-
Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
Prolo, Carlos Augusto (1989) [Dissertation]Desenvolve-se um trabalho na área de especificação formal de protocolos de comunicação de dados. E feita uma apresentação rigorosa dos conceitos e terminologia associados ao tema. E proposto um conjunto de critérios para ... -
Modelos analíticos para interconexão de processadores : avaliação de desempenho de alocação simultânea de recursos
Fernandes, Paulo Henrique Lemelle (1990) [Dissertation]Descreve-se a aplicação de dois métodos analíticos para um mesmo problema com alocação simultânea de recursos: a avaliação de desempenho de interconexões de processadores do tipo multi-estágios. Aplica-se o método analítico ...