Parallel time and sequential reducibilities
Tesis doctoral de Carme Alvarez Faura La tesis es un estudio teorico de las clases de problemas computacionales resolubles muy […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
Contributions to the study of resource-bounded measure
Tesis doctoral de Elvira Mayordomo Camara La tesis presenta extensiones y nuevas aplicaciones de la teoria de la medida con
Automated deduction with constrained clauses
Tesis doctoral de Albert Rubio Gimeno Esta tesis doctoral se centra en el estudio de mecanismos para realizar deduccion automatica
Contribucion al estudio de funciones de sintesis para la inteligencia artificial.
Tesis doctoral de VicenÁ§ Torra Reventós Se desarrollan diversos resultados en el campo de las funciones de combinacion. Se analizan
Modelizacion de un sistema operativo multiproposito: especificacion formal en estelle.
Tesis doctoral de Oliverio Gonzalez Alonso Se pretende aplicar una tecnica de descripcion formal (fdt) a la modelizacion de un
Eppi: entorno paralelo orientado al procesamiento digital de imagenes.
Tesis doctoral de Quiles Flor Francisco Jose Este trabajo presenta el diseño de un entorno de programacion paralela orientado al
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
Implantes intraoculares de pem2 e iogel analisis mediante un software personal.
Tesis doctoral de Ruiz Bilbao Susana Marta A raiz de la colocacion de la primera lente intraocular por ridley en
Tecnicas para modelage de solidos con frontera continua.
Tesis doctoral de Nuria Pla Garcia El principal objetivo de esta tesis es el estudio exhaustivo de un sistema de