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 […]
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.
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
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
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
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