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 […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
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
Desarrollo basado en componentes de resolutores de ecuaciones diferenciales para multicomputadores
Tesis doctoral de José Miguel Mantas Ruiz Se aplican los conceptos de software basado en componentes al campo de la
Funciones densidad y semejanza quántica: nuevos desarrollos y aplicaciones
Tesis doctoral de Xavier Gironés Torrent La tesis se divide en tres partes claramente diferenciadas. En la primera se repasa
Pnal. un modelo algebraico para procesos probabilisticos y no deterministas
Tesis doctoral de Diego Carlos Cazorla Lopez En esta tesis presentamos un modelo algebraico para procesos probabilisticos y no deterministas
Animación de especificaciones oasis mediante redes de petri orientadas a objeto.
Tesis doctoral de Pedro Sánchez Palma La validación mediante animación permite el desarrollo sistemático de especificaciones software claras, concisas, precisas
Reglas y estrategias de trasnformación para programas logico-funcionales.
Tesis doctoral de Gines Damian Moreno Valverde El problema de la integración de la programación lógica y funcional esta considerado
Reglas y estrategias de transformación para programas logico-funcionales.
Tesis doctoral de Pascual Julian Iranzo La evaluación parcial (ep) es una técnica de transformación automática que consigue la optimización
Dfl, computacion funcional distribuida
Tesis doctoral de Victor M. Gulias Fernandez La investigación se centra en la explotación de la programación concurrente funcional sobre
Modelado y mejora de localidad en codigos irregulares.
Tesis doctoral de Dora Blanco Heras En este trabajo se presenta un modelo para determinar y mejorar la localidad asociada