Herramientas de alto nivel eficientes para la programación dinámica

Resumen

La tesis aborda la implementación de herramientas para la resolución de problemas de la Programación Dinámica en arquitecturas paralelas. Se estudian y analizan los principales problemas a resolver a la hora de realizar una propuesta genérica para la generación de algoritmos en entornos paralelos. Se introduce una propuesta de formalización de los problemas de Programación Dinámica basada en XML (DPSPEC), y se diseña un framework, basado en esqueletos para la resolución de dichos problemas, generando el código automáticamente a partir de las especificaciones. Adicionalmente se presenta una metodología de resolución de dichos problemas mediante el uso de traductores fuente a fuente, en la que a partir de la especificación de un problema de Programación Dinámica a alto nivel, se genera automáticamente el código paralelo adecuado a cada uno de las arquitecturas existentes. Como ejemplo práctico se desarrolla un traductor de Latex a la especificación DPSPEC.