Un modelo de flujo de datos para la evaluacion de consultas en bases de datos deductivas.
Tesis doctoral de José Francisco Aldana Montes El presente trabajo estudia la evaluación paralela y distribuida de consultas datalog con […]
Tesis doctoral de José María Troya Linero
Información academica José María Troya Linero. Tesis donde José María Troya Linero ha sido autor, director o parte del tribunal.
Factorizacion lu de matrices dispersas en multiprocesadores.
Tesis doctoral de Rafael Asenjo Plaza La resolución de sistemas de ecuaciones lineales del tipo ax=b, donde la matriz a
Un estudio de las tecnicas de hibridacion y su aplicacion al diseño de algoritmos evolutivos.
Tesis doctoral de Carlos Cotta Porras Cualquier algoritmo de búsqueda esta inherentemente limitado si una clase lo suficientemente amplia de
Una arquitectura software para el desarrollo de servicios avanzados de telecomunicacion.
Tesis doctoral de Lidia Fuentes Fernández Dentro de este trabajo se abordan aspectos relacionados con el diseño de arquitecturas software
Analisis de lenguajes logicos concurrentes mediante interpretacion abstracta.
Tesis doctoral de María Del Mar Gallardo Melgarejo En la memoria se muestran distintas aplicaciones de la tecnica de interpretación
Diseño de sistemas de control no lineales mediante qft: analisis computacional y desarrollo de una herramienta cacsd.
Tesis doctoral de Francisco Jose Montoya Dato En el diseño de sistemas de control robusto no lineales mediante qft (lo
Advice: arquitectura adaptable y extensible de memoria virtual para entornos distribuidos.
Tesis doctoral de Luis Lopez Fernandez Esta tesis propone una nueva arquitectura que modela un sistema de soporte de memoria
Aplicacion de tecnicas basadas en conocimiento como soporte a la reutilizacion en bibliotecas orientadas a objetos.
Tesis doctoral de Gonzalez Calero Pedro Antonio Este trabajo se enmarca dentro de un numeroso conjunto de esfuerzos encaminados a
Modelos en programacion dinamica paralela para el caso discreto.
Tesis doctoral de Francisco Almeida Rodriguez En este trabajo se introducen modelos formales basados en la teoria de automatas para
Hacia un sistema basado en el conocimiento para el diagnostico de patologías en señales cerebrales.
Tesis doctoral de Piñeiro Vera José Demetrio En este trabajo se aplican una serie de tecnicas de inteligencia artificial (ia)