Tesis doctorales sobre Teoría de la programacion

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 […]

Antonio Marquina Vila, Domingo Giménez Cánovas, José Miguel Mantas Ruiz, Julio Ortega Lopera, lorenzo Pareschi, mancia Anguita lópez

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

Carlos Bunge, dorca Carré Carbó, josep María Bofill vill?, Miquel Duran Portas, robert Ponec, Xavier Gironés Torrent

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

De Frutos Escrig David, Diego Carlos Cazorla Lopez, Fernando Cuartero Gomez, Isidro Ramos Salavert, Javier Campos laclaustra, Manuel Nuñez garcia

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

Ambrosio Toval Alvarez, Isidro Ramos Salavert, Manuel Silva suárez, óscar Pastor lópez, Pedro Sánchez Palma, Pere Botella López

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

Gines Damian Moreno Valverde, Isidro Ramos Salavert, María Alpuente Frasnedo, Mario Rodríguez Artalejo, moreno Flaschi, Ricardo Peña Mari

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

isidro Ramos slavert, María Alpuente Frasnedo, Mario Rodríguez Artalejo, moreno Falaschi, pascual Julian iranzo, Ricardo Peña Mari

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

Eladio Domínguez Murillo, Freire Nistal José L., Manuel Hermenegildo Salinas, Roberto Moreno Diaz, Senén Barro Ameneiro, Victor M. Gulias Fernandez

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

Dora Blanco Heras, Emilio Lopez Zapata, Francisco Fernandez Rivera, Javier Diaz Bruguera, Juan José Navarro garcia, ramon Boallo biempica

Factorizacion de cholesky modificada de matrices dispersas sobre multiprocesadores.

Tesis doctoral de María José Martín Santamaría En esta tesis doctoral se establecen estrategias de programación para obtener altos rendimientos

Ana María Ripoll Aracil, Emilio Lopez Zapata, Francisco Fernandez Rivera, inmaculada Garcia fernandez, María José Martín Santamaría, óscar Plata González

Programacion logico-funcional con tipos parametricos y generos ordenados.

Tesis doctoral de Jesús Almendros Jimenez Presentamos un lenguaje lógico-funcional con subtipos en el que las reglas de programa consisten

Antonio Gavilanes Franco, ernesto Pimentel sanchez, Francisca Lucio Carrasco, Jesús Almendros Jimenez, Juan José Moreno Navarro, Mario Rodríguez Artalejo

Tesis doctoral sobre Teoría de la programacion