Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing
Tesis doctoral de Roberto Torres De Alba La obtención de imágenes que sean indistinguibles de una fotografía es uno de […]
Tesis doctoral de Ricardo Peña Mari
Información academica Ricardo Peña Mari. Tesis donde Ricardo Peña Mari ha sido autor, director o parte del tribunal.
Certificación formal de programas en un lenguaje funcional impaciente
Tesis doctoral de JavierDe Dios Castro En esta tesis se propone un metodo basado en la infraestructura pcc para convertir
Abstract certification of java programs in rewriting logic
Tesis doctoral de Mauricio Fernando Alba Castro In this thesis we propose an abstraction based certification technique for java programs
Técnicas avanzadas de compilación para programación lógica
Tesis doctoral de José Francisco Morales Caballero (english) declarative programming languages allow the expression of programs in a language that
Formalizando el proceso de depuración en programación funcional paralela y perezosa.
Tesis doctoral de Alberto De La Encina Vara Un aspecto poco tratado hasta hace relativamente poco tiempo en el área
Análisis y verificación de programas modulares
Tesis doctoral de Jesús Correas Fernández Existe un gran número de técnicas avanzadas de verificación y optimización estática de programas
Redes de petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos
Tesis doctoral de Fernando Rosa Velardo Las redes de petri son un formalismo presentado por primera vez en la tesis
From sofware architecture to formal verification of a distributed system
Tesis doctoral de Sanchez Penas Juan Jose La tesis estudia como ir desde la arquitectura software a la verificación formal
Analisis de programas en lenguajes funcionales paralelos
Tesis doctoral de Segura Diaz Clara M. Las tecnicas de analisis de programas se han demostrado útiles en todo tipo
Programación funcional paralela eficiente en eden
Tesis doctoral de Fernando Rubio Diez La tesis se sitúa en el área de los lenguajes funcionales paralelos y muestra