Descomposición paralela de algoritmos de control para procesos computacionales basados en el uso de lógica autómata no determinista
El trabajo aborda los problemas de descomposición de algoritmos de control para los procesos en sistemas de computación paralelos y el uso de modelos de autómatas. A la hora de diseñar sistemas de procesamiento paralelo, una tarea importante es la presentación formal de los algoritmos de control de...
Autores principales: | , , , , , |
---|---|
Formato: | Online |
Idioma: | eng |
Publicado: |
Universidad Nacional de Ingeniería (UNI) en Managua
2021
|
Acceso en línea: | https://www.camjol.info/index.php/NEXO/article/view/11278 |