Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | Repositorio Digital Universitario - Universidad Nacional de Córdoba | - |
| dc.contributor | Blanco, Javier Oscar | - |
| dc.creator | Barsotti, Damián | - |
| dc.date | 2011 | - |
| dc.date.accessioned | 2019-07-13T15:54:12Z | - |
| dc.date.available | 2019-07-13T15:54:12Z | - |
| dc.date.issued | 2011 | - |
| dc.identifier | Bibliografía : p. 223-228. | - |
| dc.identifier | http://hdl.handle.net/11086/164 | - |
| dc.identifier.uri | http://rodna.bn.gov.ar/jspui/handle/bnmm/566806 | - |
| dc.description | Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2011. | - |
| dc.description | 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. | - |
| dc.description | Damián Barsotti. | - |
| dc.format | application/pdf | - |
| dc.language | spa | - |
| dc.relation | Disponible en línea | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.source | reponame:Repositorio Digital Universitario (UNC) | - |
| dc.source | instname:Universidad Nacional de Córdoba | - |
| dc.source | instacron:UNC | - |
| dc.source.uri | http://hdl.handle.net/11086/164 | - |
| dc.subject | Concurrent Programming | - |
| dc.subject | Software | - |
| dc.subject | Language Constructs and Features | - |
| dc.subject | Performance | - |
| dc.subject | Automatic Programming | - |
| dc.subject | Deduction and Theorem Proving | - |
| dc.subject | Programación concurrente | - |
| dc.subject | Probador de teoremas | - |
| dc.subject | SMT solver | - |
| dc.subject | Optimización | - |
| dc.subject | Región crítica condicional | - |
| dc.subject | Monitor | - |
| dc.subject | Señal | - |
| dc.subject | Semáforo binario dividido | - |
| dc.subject | Compilación | - |
| dc.title | Implementación eficiente de construcciones de alto nivel para la programación concurrente | - |
| dc.type | info:eu-repo/semantics/doctoralThesis | - |
| dc.type | info:eu-repo/semantics/acceptedVersion | - |
| dc.type | info:ar-repo/semantics/tesisDoctoral | - |
| Aparece en las colecciones: | Universidad Nacional de Córdoba. Repositorio Digital Universitario | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.