Un sistema de gestión de bases de datos orientadas a objetos sobre una máquina abstracta persistente
Tesis doctoral de Ana Belén Martínez Prieto Esta tesis describe un sistema de gestión de bases de datos orientadas a […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
Un framework orientado a aspectos para la descripción del comportamiento coordinado en sistemas abiertos
Tesis doctoral de Pérez Castellanos José Antonio La tesis presenta an framework aorientado a la discripción del comportamiento coordinado como
Una metodología para la ingeniería y reingeniería de sistemas de información basada en patrones, antipatrones y marcos
Tesis doctoral de García-tizón Iglesias José M. El objetivo fundamental de la tesis es aportar una metodología para la ingeniería
Sobre la equiValencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos
Tesis doctoral de Lidia Sánchez Gil Eden es un lenguaje funcional paralelo que extiende haskell con construcciones sintácticas para especificar
Enfoque integrado para el modelado, emparejamiento y composición sensible al contexto de servicios semánticos, basado en precondiciones y efectos, orientado a entornos inteligentes
Tesis doctoral de Aitor Urbieta Arteche La visión planteada por weiser en la década de los 90 propone la visión
Towards the automatic synthesis of asynchronous communication mechanisms
Tesis doctoral de Kyller Costa GorgÁ´nio The correct transfer of data between concurrent processes is important in the exploitation of
Efectos de la malnutrición durante la gestación en las adaptaciones metabólicas en la madre y sus consecuencias en su descendencia
Tesis doctoral de María Limones Cornejo Mediante estudios epidemiológicos realizados en distintas poblaciones, se ha concluido que la situación nutricional
Poly-controlled partial evaluation and its apllication to resource-aware program specialization (evaluacion parcial poicontrolada y su aplicacion a la especializacion de programas consiciente de los recursos
Tesis doctoral de Ochoa Claudio J. G. La principal contribucion de esta tesis es el desarrollo de la evaluacion parcial
Automatic generation of polynomial invarianst for systema verification
Tesis doctoral de Enric Rodríguez Carbonell Datos académicos de la tesis doctoral «Automatic generation of polynomial invarianst for systema
Evaluación de arquitecturas integradas en procesadores
Tesis doctoral de Rafael Rico López En el ámbito de la concurrencia de grano fino han sido identificados diferentes factores