Proyectos finalizados

2012

  1. ANÁLISIS Y APROVECHAMIENTO DE LA COHERENCIA DE RAYOS PARA UN RAY TRACER IMPLEMENTADO EN HARDWARE GRÁFICO

    PEDRO JESÚS MARTÍN DE LA CALLE

2009

  1. APLICACIÓN DE CUDA EN LA SÍNTESIS DE IMÁGENES REALISTAS

    PEDRO JESÚS MARTÍN DE LA CALLE

2001

  1. TECNICAS AVANZADAS DE DESARROLLO DE PROGRAMAS EN ENTORNOS DECLARATIVOS (TREND).

    Mario RODRÍGUEZ ARTALEJO

1998

  1. COMBINACION DE PARADIGMAS DE PROGRAMACION DECLARATIVA (CPD)

    Mario RODRÍGUEZ ARTALEJO

1996

  1. DEMOSTRACION AUTOMATICA PARA PREORDENES BASADA EN METODOS DE TABLEAUX CON VARIABLES LIBRES.

    ANTONIO GAVILANES FRANCO

1995

  1. DESARROLLO DE UN ENTORNO DE PROGRAMACION DECLARATIVA CON RESTRICCIONES RESTRICCIONES Y TECNICAS DE EJECUCION PARALELA.

    Mario RODRÍGUEZ ARTALEJO

1993

  1. DEDUCCION AUTOMATICA Y PROGRAMACION

    Mario RODRÍGUEZ ARTALEJO

1992

  1. BABEL: DISEÐO E IMPLEMENTACION DE UN LENGUAJE LOGICO-FUNCIONAL CONCURRENTE.

    Mario RODRÍGUEZ ARTALEJO

  2. DEDUCCION AUTOMATICA Y PROGRAMACION

    Mario RODRÍGUEZ ARTALEJO