Catálogo de publicaciones - tesis
Título de Acceso Abierto
Implementación eficiente de construcciones de alto nivel para la programación concurrente
Damián Barsotti Javier Oscar Blanco
acceptedVersion.
Resumen/Descripción – provisto por el repositorio digital
Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2011.Palabras clave – provistas por el repositorio digital
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
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | 2011 | Repositorio Digital Universitario (SNRD) |
|
Información
Tipo de recurso:
tesis
Idiomas de la publicación
- español castellano
País de edición
Argentina
Fecha de publicación
2011
