Una extension del lamda-calculo para la modelizacion de procesos concurrentes.
Tesis doctoral de Oliver Villarroya Francisco Javier El -calculo es una teoria sin tipos que interpreta las funciones como reglas, […]
Tesis doctoral de José María Troya Linero
Información academica José María Troya Linero. Tesis donde José María Troya Linero ha sido autor, director o parte del tribunal.
Sistema de identificacion y explotacion de paralelismo en programas logico-funcionales.
Tesis doctoral de Fernando Saenz Perez Los lenguajes declarativos en general y los logico-funcionales en particular poseen una capacidad expresiva
Programacion en paralelo y tecnicas algoritmicas.
Tesis doctoral de Garcia Lopez Felix Cesar El trabajo aborda la paralelizacion de tres de las tecnicas algoritmicas mas importantes
Tecnicas de particionamiento multidimensional basadas en la utilizacion de indices multi-atributo en bases de datos paralelas.
Tesis doctoral de Manuel Barrena Garcia Los requerimientos cada dia mas exigentes de modernas aplicaciones de bases de datos, tales
Reflexiones sobre el proceso de concepcion de sistemas complejos. medes: un metodo de especificacion, desarrollo y evolucion de sistemas software.
Tesis doctoral de José Parets Llorca Desarrollo de un metodo de desarrollo y evolucion de sistemas software basado en la
Desarrollo de metodologías para sintesis y optimizacion de circuitos logicos multinivel
Tesis doctoral de Juan Lanchares Davila El objetivo del trabajo es el estudio de la sintesis logica combinacional multinivel usando
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
Estudio de aspectos dinamicos en sistemas orientados al objeto.
Tesis doctoral de Manuel Barrio Solorzano En esta tesis se han estudiado los componentes principales de sistemas orientados al objeto
Modelo de programacion basado en actores para sistemas masivamente paralelos.
Tesis doctoral de Hernandez Nuñez Juan M. Los avances tecnologicos y la disminucion progresiva de los precios del hardware, han
Soporte grafico para la descripcion arquitectonica de sistemas
Tesis doctoral de Jesús Sanchez Allende La contribucion de la presente tesis consiste en la definicion de un lenguaje grafico