Modelo y lenguaje para sistemas transaccionales distribuidos cooperativos y altamente disponible.
Tesis doctoral de Marta Patiño Martínez Con el incremento del uso de los ordenadores como elementos de uso cotidiano ha […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
Arquitectura y algoritmos para sistemas transaccionales distribuidos con grupos de procesos
Tesis doctoral de Ricardo Jimenez Peris La popularización de internet ha extendido el uso de los sistemas distribuidos. por otro
Modelo de disfraces: hacia la adaptabilidad de restricciones de sincronización en los lenguajes concurrentes orientados a objetos.
Tesis doctoral de Fernando Sánchez Figueroa De la unión de los paradigmas de programación concurrente orientada a objetos (pcoo). Este
Reflexión, abstracción y simulación en la lógica de reescritura
Tesis doctoral de Miguel Palomino Tarjuelo La lógica de reescritura es una extensión de la lógica ecuacional habitual que fue
Rule-based software verification and correction
Tesis doctoral de Demis Ballis La creciente complejidad de los sistemas software ha conducido al desarrollo de metodologías formales para
Una metodología de programación basada en composiciones paralelas de alto nivel cpans.
Tesis doctoral de Mario Rossainz Lopez Bajo un ambiente de objetos paralelos, un enfoque de programación paradigma de la orientación
Human sequence evaluation: the key-frame approach
Tesis doctoral de Jordi González Sabaté Datos académicos de la tesis doctoral «Human sequence evaluation: the key-frame approach« Título
Estudio de la verificacion de propiedades de programas funcionales de las pruebas manuales al uso de asistentes de pruebas
Tesis doctoral de Jorge Castro José Santiago El principal objetivo de esta tesis es la investigación de una metodología para
Extensiones del paradigma multiadjunto: programación lógica con multirretículos y aplicaciones al análisis formal de conceptos
Tesis doctoral de Jorge Ruiz Calviño Este trabajo se enmarca en el área de los fundamentos matemáticos para la informática,
Matrix graph grammars
Tesis doctoral de Pedro Pablo Pérez Velasco Esta tesis presenta una algebraización de las gramáticas de grafos. Desde el punto