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