Planificacion, analisis y optimizacion de sistemas distribuidos de tiempo real estricto.
Tesis doctoral de Gutierrez Garcia José Javier El trabajo llevado a cabo en esta tesis doctoral se puede englobar principalmente […]
Tesis doctoral de Juan Antonio De La Puente Alfaro
Información academica Juan Antonio De La Puente Alfaro. Tesis donde Juan Antonio De La Puente Alfaro ha sido autor, director o parte del tribunal.
Modelado y evaluacion de programas paralelos con distintas estrategias de planificacion de procesos
Tesis doctoral de Mediavilla Bolado M. Elena En la tesis se desarrolla un conjunto de herramientas para el diseño de
Protocolos eficientes de consenso para sistemas distribuidos.
Tesis doctoral de Guerra Santana Francisco Jose Ciertas aplicaciones distribuidas actuales requieren el uso de protocolos de consenso. En esta
Diseño y verificacion de sistemas en lotos
Tesis doctoral de Martin Llamas Nistal Lotos (lenguage of temporal ordering specificaction) es una tecnica de descripcion formal desarrollada para
Drago: un lenguaje para programar aplicaciones distribuidas tolerantes a fallos y cooperativas
Tesis doctoral de Miranda Gonzalez Francisco Javier Drago es un lenguaje experimental desarrollado para soportar la implementacion de aplicaciones distribuidas
Planificacion estatica de procesos en sistemas de tiempo real critico.
Tesis doctoral de Zamorano Flores Juan Rafael Los sistemas de tiempo real son sistemas informaticos que constituyen un componente fundamental
Analisis y diseño de sistemas de control de procesos basados en logica borrosa.
Tesis doctoral de Fernando Matia Espada El objetivo de esta tesis es profundizar en el analisis de los sistemas de
Arquitectura de programas a partir de especificaciones formales
Tesis doctoral de Joaquin Salvachua Rodriguez Lotos es un lenguaje de especificacion para la descripcion de protocolos entre sistemas abiertos.
Contribuciones al problema del control optimo
Tesis doctoral de Francisco Gordillo Alvarez En esta tesis se estudian dos problemas asociados al problema del control optimo relacionados
Protocolos de acceso mediante contienda aplicados a redes locales para entornos de fabricacion
Tesis doctoral de Javier Perez Turiel El rechazo tradicional hacia la aplicacion de protocolos de contienda en redes de fabricacion