Tesis doctoral de Francisco Almeida Rodriguez
En este trabajo se introducen modelos formales basados en la teoria de automatas para la programacion dinamica paralela, tanto para los casos monadico y multietapa como para las formulaciones que dan lugar a problemas poliadicos y con grafo de dependencias aciclico. De estos modelos formales se derivan un conjunto de esquemas algoritmicos para topologías simples: segmentos y anillos de procesadores. Se resuelve ademas el problema de introducir funciones de ramificacion y acotacion dentro de la estructura de segmentacion paralela derivada para la programacion dinamica. Se prueban teoremas de optimalidad para las clases de automatas introducidas. todos los esquemas algoritmicos propuestos se aplican a problemas ejemplo sobre los que se presentan resultados y se discute la eficiencia.
Datos académicos de la tesis doctoral «Modelos en programacion dinamica paralela para el caso discreto.«
- Título de la tesis: Modelos en programacion dinamica paralela para el caso discreto.
- Autor: Francisco Almeida Rodriguez
- Universidad: La laguna
- Fecha de lectura de la tesis: 01/01/1997
Dirección y tribunal
- Director de la tesis
- Casiano Rodriguez Leon
- Tribunal
- Presidente del tribunal: José María Troya Linero
- José Moreno Perez (vocal)
- Jaume Barceló Bugeda (vocal)
- Leopoldo Acosta Sanchez (vocal)