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

Ignacio Peláez Puerto

• 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.