Tesis:
Modelo de dependencias de datos basado en predicados para supercomputadores
- 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
- Departamentos: SIN DEPARTAMENTO DEFINIDO
- Acceso electrónico:
- Director/a 1º: 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