Resumen de Abstract network machine: Parallel computation on associative networks with incompete data structures

Andrei Tchernykh, Andrei Stepanov, Alexander Lupenko, Natalia Tchernykh

• español

  En este articulo se describe un modelo de computación paralela denominado máquina abstracta de red (ANM). Nos centramos en el papel que juega la evaluación parcial en la transformación, optimización y especialización de programas ANM, y el revelado automático de su paralelismo inherente La técnica se basa en computación paralela sobre redes asociativas implementadas en ANM. ANM usa redes asociativas tanto para representar tanto información completa como información incompleta. ANM sigue el estilo de transformación paralela de la computación basada en un proceso de unificación de red, el cual es una variante del mecanismo de reducción de grafos para computación paralela granular y para el procesamiento de información incompleta. Se da una breve descripción de esta aproximación, así como también una comparación con el esquema tradicional de evaluación parcial. Adicionalmente, se puntualiza sobre algunos de los problemas asociados con esta clase de computación paralela.

• English

  In this paper, we describe a model of parallel computation named Abstract Network Machine (ANM). We focus on the key role played by partial evaluation for the transformation, optimization, specialization of ANM-programs, and for automatic reveling of their inherent parallelism. The technique is based on parallel computation on associative networks implemented in ANM. The ANM uses associative networks for representing both complete and incomplete information. It follows parallel transformation style of computation based on a network unification, which is a modification of a graph reduction mechanism for fine grain parallel computation and processing of incomplete information. A brief description of this approach is given, as well as a comparison with the traditional approach to partial evaluation. We point out some of the problems associated with this kind of parallel computation.