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-R141-11086-164
record_format dspace
spelling I10-R141-11086-1642024-03-27T14:04:42Z Implementación eficiente de construcciones de alto nivel para la programación concurrente Barsotti, Damián Blanco, Javier Oscar 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 Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2011. El trabajo de tesis doctoral presenta métodos automáticos para mejorar implementaciones de regiones críticas condicionales y monitores con señalamiento automático, mediante el uso de probadores de teoremos del tipo SMT solver (CVC) y probadores de lógica de alto orden (Isabelle/Isar), utilizados dentros de técnicas de interpretación abstracta. En el caso de regiones críticas condicionales la propuesta se aplica a implementaciones automáticas producidas por la técnica de Semáforos Binarios Divididos desarrollada por E.W.Dijkstra. En el caso de monitores el método mejora implementaciones con señalamiento explícito. Los resultado brindan construcciones eficientes de alto nivel, que permiten desarrollar programas concurrentes de forma simple y correcta. Damián Barsotti. 2011-09-06T15:27:33Z 2011-09-06T15:27:33Z 2011 doctoralThesis Bibliografía : p. 223-228. http://hdl.handle.net/11086/164 spa Disponible en línea Atribución-NoComercial-SinDerivadas 2.5 Argentina http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ xi, 228 p. :
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
_version_ 1806949237781430272

Ejemplares similares