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.

Guardado en:

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.