Implementación eficiente de construcciones de alto nivel para la programación concurrente

Mostrar todas las versiones(2)

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2011.

Detalles Bibliográficos
Autor principal: Barsotti, Damián
Otros Autores: Blanco, Javier Oscar
Formato: doctoralThesis
Lenguaje:Español
Publicado: 2011
Materias:
Concurrent Programming
Software
Language Constructs and Features
Performance
Automatic Programming
Deduction and Theorem Proving
Programación concurrente
Probador de teoremas
SMT solver
Optimización
Región crítica condicional
Monitor
Señal
Semáforo binario dividido
Compilación
Acceso en línea:http://hdl.handle.net/11086/164
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
Descripción
Sumario:Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2011.

Ejemplares similares