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 […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
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
Una metodología de sintesis de arquitecturas vlsi: su aplicacion a la realizacion del algoritmo de viterbi sobre modelos ocultos de markov
Tesis doctoral de Felix Moreno Gonzalez Se desarrolla el estudio, planteamiento y realizacion de una metodología de sintesis de arquitecturas
Una aproximacion a la programacion logica con funciones indeterministas.
Tesis doctoral de Antonio Sarmiento Escalona La memoria es un intento de integracion de programacion logica y funcional derivado del
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
Logica para la inteligencia artificial: conocimiento creencia e intencion.
Tesis doctoral de Agustin Arrieta Urtizberea En este trabajo hemos desarrollado dos temas que resultan relevantes en el mundo de
Planificacion automatica y supervision de operaciones de montaje mediante robots.
Tesis doctoral de Raúl Suárez Feijoo Uno de los principales problemas a resolver en la automatizacion total de una tarea
Qbz: un multicomputador para tratamiento digital de señales en tiempo real.
Tesis doctoral de Jose Parera Bermudez El objetivo global es el diseño de un sistema paralelo de proposito general para
Diagramas de voronoi en caleidoscopios.
Tesis doctoral de Mazon Calpena M. Luisa En esta memoria se realiza un estudio topologico de la estructura de los
Un nuevo enfoque en el metodo de los elementos de contorno. aplicaciones en elasticidad tridimensional
Tesis doctoral de Javier Dominguez Hernandez La influencia del metodo de los elementos pinitos (fem) sobre el metodo de los