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 […]
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.
Diseño de sistemas de control no lineales mediante qft: analisis computacional y desarrollo de una herramienta cacsd.
Tesis doctoral de Francisco Jose Montoya Dato En el diseño de sistemas de control robusto no lineales mediante qft (lo
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
Un sistema de planificacion de terapia en agricultura.
Tesis doctoral de Samuel Tunez Perez El trabajo de investigación presentado en esta tesis tiene por objetivos globales la propuesta
Aplicacion de tecnicas basadas en conocimiento como soporte a la reutilizacion en bibliotecas orientadas a objetos.
Tesis doctoral de Gonzalez Calero Pedro Antonio Este trabajo se enmarca dentro de un numeroso conjunto de esfuerzos encaminados a
Modelos en programacion dinamica paralela para el caso discreto.
Tesis doctoral de Francisco Almeida Rodriguez En este trabajo se introducen modelos formales basados en la teoria de automatas para
Hacia un sistema basado en el conocimiento para el diagnostico de patologías en señales cerebrales.
Tesis doctoral de Piñeiro Vera José Demetrio En este trabajo se aplican una serie de tecnicas de inteligencia artificial (ia)
Medicion y prediccion de atributos del diseño de software en una metodología formalizada.
Tesis doctoral de Luis Fernandez Sanz La medicion del software en las primeras etapas del ciclo de vida resulta insatisfactoria
Modelado y soporte al proceso de desarrollo software con tecnicas de descripcion formal (fdt).
Tesis doctoral de Yelmo Garcia Juan Carlos Esta tesis aborda algunos de los retos impuestos por el despliegue de nuevos
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,