Tesis doctoral de Garcia De La Banda Garcia M. Jose
La nocion de independencia es crucial en la definicion de los modelos de paralelismo conjuntivo independiente como condicion para garantizar la correcion y eficiencia de dichos modelos con respecto al modelo secuencial. El presente trabajo generaliza la aplicabilidad del paralelismo conjuntivo independiente a los lenguajes logicos con restricciones y planificacion dinamica. Dicho estudio revela la importancia del concepto de independencia no solo desde el punto de vista del paralelismo conjuntivo independiente, sino tambien desde el punto de vista de muchas otras aplicaciones que modifican las reglas de computacion. en segundo lugar, y una vez generalizado el concepto de independencia, es necesario realizar un estudio exhaustivo de la efectividad de las herramientas de analisis en la tarea de la paralelizacion automatica. Los resultados obtenidos de dicha evaluacion permiten asegurar de forma empirica que la utilizacion de analizadores globales en la tarea de la paralelizacion automatica es vital para la consecucion de una paralelizacion efectiva. por ultimo, a la luz de los buenos resultados obtenidos sobre la efectividad de los analizadores de flujo globales basados en la interpretacion abstracta, se presenta la generalizacion de las herramientas de analisis al contexto de los lenguajes logicos restricciones y planificacion dinamica.
Datos académicos de la tesis doctoral «Independencia, analisis global y paralelismo en computacion logica con restricciones y planificacion dinamica«
- Título de la tesis: Independencia, analisis global y paralelismo en computacion logica con restricciones y planificacion dinamica
- Autor: Garcia De La Banda Garcia M. Jose
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1994
Dirección y tribunal
- Director de la tesis
- Manuel Hermenegildo Salinas
- Tribunal
- Presidente del tribunal: Jose Cuena Bartolome
- Juan José Moreno Navarro (vocal)
- Maurice Bruynooghe (vocal)
- Kim Marriott (vocal)