Analisis y diseño de algoritmos geneticos paralelos distribuidos.
Tesis doctoral de Enrique Alba Torres Esta tesis se enmarca en el campo de investigación de los algoritmos genéticos paralelos […]
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.
Un algebra de modulos reflexiva con aplicaciones al lenguaje maude.
Tesis doctoral de Francisco Javier Duran Muñoz En esta tesis hemos definido un álgebra de módulos extensible para la lógica
El modelo de computacion colectiva: una metodología eficiente para la ampliacion del modelo de libreria de paso de mensajes con paralelismo de datos anidado.
Tesis doctoral de Francisco De Sande González En esta memoria de tesis se propone el modelo de computación colectiva, un
Un modelo arquitectonico para sistemas de visualizacion y exploracion de informacion.
Tesis doctoral de Fabian Orozco Ricardo El trabajo presenta un modelo arquitectónico especialmente diseñado para aplicaciones de visualización y exploración
Un sistema de ejecucion distribuido para lenguajes orientados a objetos concurrentes.
Tesis doctoral de Antonio Jesús Nebro Urbaneja Esta tesis se enmarca en el ámbito de los lenguajes orientados a objetos
Observadores lineales: un lenguaje de especificacion de propiedades para verificacion de protocolos.
Tesis doctoral de Pedro Merino Gomez La verificación de protocolos es una actividad fundamental para localizar errores de diseño y
Un sistema de planificacion de terapia en agricultura.
Tesis doctoral de Samuel Tunez Perez El trabajo de investigación presentado en esta tesis tiene por objetivos globales la propuesta
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
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