XIX Jornadas de Concurrencia y Sistemas Distribuidos con participación de la EUI
Los días 8, 9 y 10 de junio se celebrarán las XIX Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2011), en La Granja (Segovia).
En esta edición ha participado como colaboradora principal nuestra Escuela, representada fundamentalmente por los Departamentos de Arquitectura y Tecnología de Computadores (ATC) e Informática Aplicada (IA).
-
Modelos básicos de computación concurrente y distribuida (álgebras de procesos, redes de Petri, lógicas modales, máquinas de estados)
-
Modelos extendidos (sistemas híbridos de tiempo real, estocásticos)
-
Técnicas y herramientas de análisis (model checking, abstracción, testing)
-
Lenguajes de programación (distribuidos, basados en restricciones, orientados a objetos)
-
Ingeniería de protocolos (especificación, prototipado rápido, simulación, validación)
-
Sistemas operativos distribuidos; Middleware (grid, cloud, overlays, p2p); Bases de datos distribuidas;
-
Sistemas tolerantes a fallos; Sistemas escalables; Sistemas de tiempo real
-
Algoritmos y protocolos concurrentes y distribuidos. Protocolos de comunicación
-
Aplicaciones (programación paralela, programación distribuida, servicios distribuidos)
El objetivo fundamental de estas jornadas es dar a conocer el trabajo que los distintos departamentos universitarios, centros de investigación, departamentos de I+D y empresas del sector informático desarrollan en la actualidad en temas relacionados con la concurrencia y los sistemas distribuidos (programación concurrente, sistemas en tiempo real, modelado, análisis y control de sistemas concurrentes, lenguajes y arquitecturas, etc.)










