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 […]
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.
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
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
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
Derivacion deductiva de programas funcionales con patrones
Tesis doctoral de Jesús Angel Velazquez Iturbide Datos académicos de la tesis doctoral «Derivacion deductiva de programas funcionales con
Diseño, semantica e implementacion de babel: un lenguaje que integra la programacion funcional y logica
Tesis doctoral de Juan Jose Moreno Navarro Datos académicos de la tesis doctoral «Diseño, semantica e implementacion de babel: