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

  1. Peláez Puerto, Ignacio
Supervised by:
  1. Francisco Almeida Rodriguez Director

Defence university: Universidad de La Laguna

Fecha de defensa: 21 November 2014

Committee:
  1. José Carlos Cabaleiro Domínguez Chair
  2. Vicente José Blanco Pérez Secretary
  3. Domingo Giménez Cánovas Committee member

Type: Thesis

Teseo: 373993 DIALNET

Abstract

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.