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 […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
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
Programacion en paralelo y tecnicas algoritmicas.
Tesis doctoral de Garcia Lopez Felix Cesar El trabajo aborda la paralelizacion de tres de las tecnicas algoritmicas mas importantes
Diseño de elementos finitos h-adaptables basado en tecnologías orientadas a objeto.
Tesis doctoral de Zurita Gabasa Jesús Adolfo En la presente tesis doctoral se ha realizado un programa de analisis mecanico
Modelo de programacion basado en actores para sistemas masivamente paralelos.
Tesis doctoral de Hernandez Nuñez Juan M. Los avances tecnologicos y la disminucion progresiva de los precios del hardware, han
Programacion funcional y logica con restricciones
Tesis doctoral de Francisco Javier Lopez Fraguas En este trabajo presentamos e investigamos el esquema teorico cflp(x) para la programacion
Independencia, analisis global y paralelismo en computacion logica con restricciones y planificacion dinamica
Tesis doctoral de Garcia De La Banda Garcia M. Jose La nocion de independencia es crucial en la definicion de
Decidibilidad de problemas sobre redes de petri temporizadas.
Tesis doctoral de Valentin Valero Ruiz La tesis investiga cuestiones de decidibilidad sobre distintas variantes de redes de petri temporizadas.