Simulação de Modelos Paralelos de Programação em Lógica
Autores
|
3245 |
Ruy Marinho da Costa
|
135,1474
|
|
3246 |
135,1474
|
Informações:
Publicações do PESC
Este trabalho propõe e avalia o uso da simulação no estudo e no desenvolvimento de modelos de execução paralela de Programação em Lógica. Um simulador foi projetado e testado utilizando de modelos "Backup" [Furukawa 821 e "Kabu-Wake" [Sbhma 851. A avaliação, comparação e análise do desempenho dos modelos são conduzidas através de vários experimentos e revelam o potencial do simulador para identificar prováveis deficiências de modelos propostos na literatura.
This work presents and evaluates the use of simulation in the study and development of parallel execution models for Logic P r o g r d n g . A simulator was designed and tested using the "Backup" [Furukawa 821 and "Kabu-Wake" [Sohma 851 models. The performance of these two models was evaluated and compared through experiments that revealed the potential of the simulator to identify probable deficientes of these and others models proposed in the literature.