Factorizacion de cholesky modificada de matrices dispersas sobre multiprocesadores.
Tesis doctoral de María José Martín Santamaría En esta tesis doctoral se establecen estrategias de programación para obtener altos rendimientos […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
Programacion logico-funcional con tipos parametricos y generos ordenados.
Tesis doctoral de Jesús Almendros Jimenez Presentamos un lenguaje lógico-funcional con subtipos en el que las reglas de programa consisten
Programacion declarativa con restricciones sobre tipos de datos algebraicos.
Tesis doctoral de Purificacion Arenas Sanchez El objetivo principal de esta tesis es introducir constructoras de datos algebraicas y restricciones
El modelo de computacion colectiva: una metodología eficiente para la ampliacion del modelo de libreria de paso de mensajes con paralelismo de datos anidado.
Tesis doctoral de Francisco De Sande González En esta memoria de tesis se propone el modelo de computación colectiva, un
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
Persistencia completa para un sistema operativo orientado a objetos usando una maquina abstracta con arquitectura reflectiva.
Tesis doctoral de Dario Alvarez Gutierrez La adopción del paradigma de la orientación a objetos no se produce de manera
Aplicacions distribuides sobre memoria compartida: suport i analisi formal.
Tesis doctoral de Jordi Bataller Mascarell Datos académicos de la tesis doctoral «Aplicacions distribuides sobre memoria compartida: suport i
Verificacio automatica de programes basada en semantica de comportament i logica de primer ordre: el metodo alice.
Tesis doctoral de Palasi Lallana Vicent Ramon Se presenta un metodo de verificacion automatica llamado alice (algebraic inference of the
Jugando con el tiempo.
Tesis doctoral de Llana Diaz Luis Fernando En el presente trabajo hemos estudiado la semantica de pruebas para algebras de
Semanticas de pruebas para algebras de procesos probabilisticos.
Tesis doctoral de Manuel Nuñez Garcia En esta tesis presentamos un algebra de procesos que ha sido extendida con informacion