Soporte a la compilacion de problemas numericos irregulares para ejecucion distribuida.
Tesis doctoral de Guillermo Perez Trabado El objetivo de este trabajo es generar código paralelo spmd de forma sistemática a […]
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.
Sistemas de tipos puros con universos.
Tesis doctoral de Blas Carlos Ruiz Jimenez Los sistemas de tipo puros con universos propuestos en esta tesis permiten modelar
Navegacion de robots moviles basada en comportamientos.
Tesis doctoral de Antonio Mandow Andaluz La tesis trata el problema de la navegación de robots móviles autónomos con realimentación
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
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
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