Modelo de dependencia de datos basado en predicados para supercomputadores
- Autores: Francisco Javier Rodríguez Gómez
- Directores de la Tesis: Félix García Merayo (dir. tes.)
- Lectura: En la Universidad Politécnica de Madrid ( España ) en 1998
- Idioma: español
- Tribunal Calificador de la Tesis: José Luis Maté Hernández (presid.), José Luis Morant Ramón (secret.), Manuel Kindelán Segura (voc.), Arturo Ribagorda Garnacho (voc.), Miguel Eugenio Reyes Castro (voc.)
- Programa de doctorado: LENJUAGES SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE
- Materias:
- Texto completo no disponible (Saber más ...)
- Resumen
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.
