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

Autores
Barsotti, Damián
Año de publicación
2011
Idioma
español castellano
Tipo de recurso
tesis doctoral
Estado
versión publicada
Colaborador/a o director/a de tesis
Blanco, Javier Oscar
Descripció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.
Materia
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
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/164
Acceder
id RDUUNC_a1ad53573201848c0b5999faa58a1cf5
oai_identifier_str oai:rdu.unc.edu.ar:11086/164
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Implementación eficiente de construcciones de alto nivel para la programación concurrenteBarsotti, DamiánConcurrent programmingSoftwareLanguage constructs and featuresPerformanceAutomatic programmingDeduction and theorem provingProgramación concurrenteProbador de teoremasSMT solverOptimizaciónRegión crítica condicionalMonitorSeñalSemáforo binario divididoCompilaciónTesis (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.Blanco, Javier Oscar2011info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_db06info:ar-repo/semantics/tesisDoctoralapplication/pdfBibliografía : p. 223-228.http://hdl.handle.net/11086/164spaDisponible en líneainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-29T13:43:08Zoai:rdu.unc.edu.ar:11086/164Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-29 13:43:08.297Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Implementación eficiente de construcciones de alto nivel para la programación concurrente
title Implementación eficiente de construcciones de alto nivel para la programación concurrente
spellingShingle Implementación eficiente de construcciones de alto nivel para la programación concurrente
Barsotti, Damián
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
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
dc.creator.none.fl_str_mv Barsotti, Damián
author Barsotti, Damián
author_facet Barsotti, Damián
author_role author
dc.contributor.none.fl_str_mv Blanco, Javier Oscar
dc.subject.none.fl_str_mv 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
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
dc.description.none.fl_txt_mv 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.
description Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2011.
publishDate 2011
dc.date.none.fl_str_mv 2011
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_db06
info:ar-repo/semantics/tesisDoctoral
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv Bibliografía : p. 223-228.
http://hdl.handle.net/11086/164
identifier_str_mv Bibliografía : p. 223-228.
url http://hdl.handle.net/11086/164
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv Disponible en línea
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1844618945847361536
score 12.891075

Publicaciones similares