Una solucion al problema del interbloqueo en sistemas distribuidos con modelo and de peticion de recursos.
Tesis doctoral de Federico Fariña Figueredo Uno de los problemas que frena el desarrollo de los sistemas distribuidos es la […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
Especificacion formal de sistemas graficos.
Tesis doctoral de Miguel Gea Megias En la tesis se presenta un nuevo metodo de especificacion formal, orientado a la
Los bancos de items en el desarrollo de tests. aspectos psicometricos y analisis de un sistema para su desarrollo y gestion informatizada.
Tesis doctoral de Molina Ibañez Jesús Gabriel Los bancos de items, concepto ya arraigado desde hace años en la practica
Medicion y prediccion de atributos del diseño de software en una metodología formalizada.
Tesis doctoral de Luis Fernandez Sanz La medicion del software en las primeras etapas del ciclo de vida resulta insatisfactoria
Una extension del lamda-calculo para la modelizacion de procesos concurrentes.
Tesis doctoral de Oliver Villarroya Francisco Javier El -calculo es una teoria sin tipos que interpreta las funciones como reglas,
Analisis semantico y transformacion de programas logico-funcionales
Tesis doctoral de German Vidal Oriola El problema de la integracion de la programacion logica y funcional esta considerado como
La proteccion internacional de los programas de ordenador
Tesis doctoral de Enrique Fernandez Masia En esta tesis se intenta delimitar cual es el regimen juridico de proteccion internacional
Optimizacion y paralelizacion en sintesis de escenas naturales por trazado de rayos.
Tesis doctoral de Isidro Verdu Conesa El problema que se ha abordado en este trabajo consiste en el estudio, desarrollo
Tecnicas de visualizacion y simulacion en tiempo real de entornos de conduccion: nuevos algoritmos, estructuras de datos y su gestion.
Tesis doctoral de Salavador Bayarri Romar El trabajo plantea la especificacion de una estructura de datos que permite la simulacion
Descripcion de interfaces hombres-ordenador por medio de metodos formales: aplicaciones de metodos para la evaluacion de un interfaz simulado.
Tesis doctoral de Valero Mora Pedro Miguel Esta tesis enmarca dentro de la linea de formalizar modelos de interaccion hombre-computador.