Modelo de dependencia de datos basado en predicados para supercomputadores

Tesis doctoral de Francisco Javier Rodriguez Gomez

Diseño y realización de un algoritmo de dependencias de datos para ecuaciones enteras multidimensionales. Este test de dependencias es un modelo matemático basado en predicados lógicos y en el método de deducción natural para el estudio de las dependencias de datos en los algoritmos que procesán vectores y matrices en los supercomputadores. el algoritmo diseñado analiza las expresiones enteras multidimensionales de varias variables, para lo cual se crean unos predicados básicos y compuestos, y un conjunto de reglas deductivas que, incorporadas al algoritmo, permiten refutar o determinar las dependencias hasta las ecuaciones enteras de segundo grado. el modelo formaliza el proceso de razonamiento, por lo que ofrecerá al diseñador del algoritmos paralelos una información conceptual y de alto nivel.

 

Datos académicos de la tesis doctoral «Modelo de dependencia de datos basado en predicados para supercomputadores«

  • Título de la tesis:  Modelo de dependencia de datos basado en predicados para supercomputadores
  • Autor:  Francisco Javier Rodriguez Gomez
  • Universidad:  Politécnica de Madrid
  • Fecha de lectura de la tesis:  04/12/1997

 

Dirección y tribunal

  • Director de la tesis
    • Félix García Merayo
  • Tribunal
    • Presidente del tribunal: José Luis Maté hernández
    • Manuel Kindelan segura (vocal)
    • Miguel Reyes castro (vocal)
    • arturo Ribagorda garnacho (vocal)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio