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)