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 […]
Tesis doctoral de Juan José Moreno Navarro
Información academica Juan José Moreno Navarro. Tesis donde Juan José Moreno Navarro ha sido autor, director o parte del tribunal.
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
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
Multipath: un sistema para la programacion logica.
Tesis doctoral de Jordi Tubella Murgadas La tesis doctoral define el sistema multipath, que esta orientado a la ejecucion de
Mimo: propuesta de un metamodelo de objetos y su aplicacion al diseño de bases de datos.
Tesis doctoral de Esperanza Marcos Martínez Actualmente existen numerosos modelos de objetos procedentes de metodologías de desarrollo, de implementaciones de
Drl: un lenguaje logico para sistemas distribuidos de tiempo real
Tesis doctoral de Manuel Diaz Rodriguez La tesis se enmarca en el ambito de los lenguajes logicos concurrentes y su
Tecnicas de transformacion de programas logicos para su optimizacion y paralelizacion automatica
Tesis doctoral de Francisco Bueno Carrillo La tesis propone transformaciones de programas logicos que tienen por objetivo su optimizacion mediante
Sistematizacion y uso de las tecnicas de visualizacion de programas concurrentes.
Tesis doctoral de Gomez Henriquez Luis Manuel La visualizacion de programas es el arte de hacer que los programas tengan
Independencia, analisis global y paralelismo en computacion logica con restricciones y planificacion dinamica
Tesis doctoral de Garcia De La Banda Garcia M. Jose La nocion de independencia es crucial en la definicion de