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 […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
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
Soluciones formales al problema de la deteccion del interbloqueo.
Tesis doctoral de José Ramon Gonzalez De Mendivil Moreno El objetivo del trabajo ha sido el desarrollo de algoritmos de
Implementacion de especificaciones algebraicas
Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su
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.
L2 ii o2 un lenguaje logico concurrente orientado a objetos
Tesis doctoral de Ernesto Pimentel Sanchez El trabajo desarrollado en el estudio se debe enmarcar en el ambito de la
Tecnicas formales para el desarrollo jerarquico de sistemas concurrentes
Tesis doctoral de Alonso Gonzalez Luis M. Se presenta un metodo para el desarrollo de sistemas concurrentes, aplicable a sistemas