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
id I10-R14111086-164
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic 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
spellingShingle 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
Barsotti, Damián
Implementación eficiente de construcciones de alto nivel para la programación concurrente
topic_facet 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
description Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2011.
author2 Blanco, Javier Oscar
author_facet Blanco, Javier Oscar
Barsotti, Damián
format doctoralThesis
author Barsotti, Damián
author_sort Barsotti, Damián
title Implementación eficiente de construcciones de alto nivel para la programación concurrente
title_short Implementación eficiente de construcciones de alto nivel para la programación concurrente
title_full Implementación eficiente de construcciones de alto nivel para la programación concurrente
title_fullStr Implementación eficiente de construcciones de alto nivel para la programación concurrente
title_full_unstemmed Implementación eficiente de construcciones de alto nivel para la programación concurrente
title_sort implementación eficiente de construcciones de alto nivel para la programación concurrente
publishDate 2011
url http://hdl.handle.net/11086/164
work_keys_str_mv AT barsottidamian implementacioneficientedeconstruccionesdealtonivelparalaprogramacionconcurrente
bdutipo_str Repositorios
_version_ 1764820393194946564

Ejemplares similares