Autor: RODRIGUEZ GOMEZ, Francisco Javier

Título: Modelo de dependencias de datos basado en predicados para supercomputadores

Fecha: 1998

Materia: MATEMATICAS. Teseo;CIENCIAS DE LA COMPUTACION. Teseo;LENGUAJES DE PROGRAMACION. Teseo;CIENCIAS TECNOLOGICAS. Teseo;TECNOLOGIA DE ORDENADORES. Teseo;DISEÑO LOGICO. Teseo

Escuela: FACULTAD DE INFORMATICA

Departamento: SIN DEPARTAMENTO DEFINIDO

Acceso electrónico:

Director/a(s):

• Director/a: GARCIA MERAYO, Félix

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 procesan 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