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

  1. Peláez Puerto, Ignacio
Dirixida por:
  1. Francisco Almeida Rodriguez Director

Universidade de defensa: Universidad de La Laguna

Fecha de defensa: 21 de novembro de 2014

Tribunal:
  1. José Carlos Cabaleiro Domínguez Presidente
  2. Vicente José Blanco Pérez Secretario/a
  3. Domingo Giménez Cánovas Vogal

Tipo: Tese

Teseo: 373993 DIALNET

Resumo

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.