Reparación eficiente de estructuras de datos en tiempo de ejecución basada en SAT

Las fallas de un programa pueden producir estados internos inconsistentes, cuya propagación puede provocar la terminación abrupta del programa, la pérdida de datos del usuario, la incapacidad de realizar alguna tarea, etc. La reparación de estructuras de datos consiste en reemplazar estos estados in...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Uva, Marcelo, Ponzio, Pablo Daniel, Regis, Germán, Aguirre, Nazareno Matías
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2016
Materias:
Ciencias Informáticas
rotura de simetrías
cotas ajustadas
SAT solving
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/56418
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-56418
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
rotura de simetrías
cotas ajustadas
SAT solving
spellingShingle Ciencias Informáticas
rotura de simetrías
cotas ajustadas
SAT solving
Uva, Marcelo
Ponzio, Pablo Daniel
Regis, Germán
Aguirre, Nazareno Matías
Reparación eficiente de estructuras de datos en tiempo de ejecución basada en SAT
topic_facet Ciencias Informáticas
rotura de simetrías
cotas ajustadas
SAT solving
description Las fallas de un programa pueden producir estados internos inconsistentes, cuya propagación puede provocar la terminación abrupta del programa, la pérdida de datos del usuario, la incapacidad de realizar alguna tarea, etc. La reparación de estructuras de datos consiste en reemplazar estos estados inconsistentes por estructuras generadas a partir de especificaciones formales, utilizando algún procedimiento de decisión, que permitan al programa continuar su ejecución sin mayores problemas. En este trabajo se presenta un enfoque para resolver este problema basado en SAT solving, cuya característica distintiva es el aprovechamiento de dos técnicas del estado del arte para mejorar su eficiencia y escalabilidad: el uso de rotura de simetrías y de cotas ajustadas. La evaluación experimental preliminar realizada muestra que nuestro enfoque es más eficiente y es capaz de lidiar con estructuras de mayor complejidad que técnicas relacionadas.
format Objeto de conferencia
Objeto de conferencia
author Uva, Marcelo
Ponzio, Pablo Daniel
Regis, Germán
Aguirre, Nazareno Matías
author_facet Uva, Marcelo
Ponzio, Pablo Daniel
Regis, Germán
Aguirre, Nazareno Matías
author_sort Uva, Marcelo
title Reparación eficiente de estructuras de datos en tiempo de ejecución basada en SAT
title_short Reparación eficiente de estructuras de datos en tiempo de ejecución basada en SAT
title_full Reparación eficiente de estructuras de datos en tiempo de ejecución basada en SAT
title_fullStr Reparación eficiente de estructuras de datos en tiempo de ejecución basada en SAT
title_full_unstemmed Reparación eficiente de estructuras de datos en tiempo de ejecución basada en SAT
title_sort reparación eficiente de estructuras de datos en tiempo de ejecución basada en sat
publishDate 2016
url http://sedici.unlp.edu.ar/handle/10915/56418
work_keys_str_mv AT uvamarcelo reparacioneficientedeestructurasdedatosentiempodeejecucionbasadaensat
AT ponziopablodaniel reparacioneficientedeestructurasdedatosentiempodeejecucionbasadaensat
AT regisgerman reparacioneficientedeestructurasdedatosentiempodeejecucionbasadaensat
AT aguirrenazarenomatias reparacioneficientedeestructurasdedatosentiempodeejecucionbasadaensat
bdutipo_str Repositorios
_version_ 1764820477184835584

Ejemplares similares