Un modelo de flujo de datos para la evaluacion de consultas en bases de datos deductivas.
Tesis doctoral de José Francisco Aldana Montes El presente trabajo estudia la evaluación paralela y distribuida de consultas datalog con […]
Tesis doctoral sobre Lenguajes de programacion
Accede a todas las tesis doctorales sobre Lenguajes de programacion mas relevantes.
Un estudio de las tecnicas de hibridacion y su aplicacion al diseño de algoritmos evolutivos.
Tesis doctoral de Carlos Cotta Porras Cualquier algoritmo de búsqueda esta inherentemente limitado si una clase lo suficientemente amplia de
Una arquitectura software para el desarrollo de servicios avanzados de telecomunicacion.
Tesis doctoral de Lidia Fuentes Fernández Dentro de este trabajo se abordan aspectos relacionados con el diseño de arquitecturas software
Analisis morfosintactico y desambiguacion en castellano.
Tesis doctoral de Fernando Sanchez Leon Esta tesis aborda una serie de problemas comunes al analisis morfosintactico automatico de las
Diseño e implementacion de lenguajes orientados al modelo pram.
Tesis doctoral de Coromoto Leon Hernandez Un lenguaje orientado al modelo pram requiere la posibilidad de distinguir entre variables compartidas
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
Gestion global de base de datos en una estructura compleja de sistemas de control de energia.
Tesis doctoral de Fernando Arronte Villegas Los sistemas de gestion de energia (ems) y, en general, los de supervision y
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,
Analisis semantico y transformacion de programas logico-funcionales
Tesis doctoral de German Vidal Oriola El problema de la integracion de la programacion logica y funcional esta considerado como
Implementacion eficiente de la recursividad final en lenguajes imperativos basada en nuevas tecnicas de compilacion.
Tesis doctoral de Diaz Labrador Jesús Luis El trabajo propone una implementacion eficiente de los programas recursivos finales en lenguajes