Evaluación de métodos de generación de invariantes sobre estructuras de datos

Por: Cavieres Torres, Carlos DanielColaborador(es): Simmonds W., Jocelyn (Comisión de tesis) [, prof. guía] | Arroyuelo B., Diego (Comisión de tesis) [, prof. corref.] | UTFSM. Departamento de Informática (1994-) Departamento de Informática (1994 -)Tipo de material: TextoTextoDetalles de publicación: Valparaíso : UTFSM, 2013Descripción: xi, 66 h. : ilTema(s): ESTRUCTURA DE DATOS (Ciencia de la Computación)Clasificación CDD: M 005.73 Nota de disertación: Tesis (Ing. Civil Informático) -- Porf. Guía : Jocelyn Simmonds; prof. corref.: Diego Arroyuelo Resumen: En el presente trabajo se estudian y analizan dos algoritmos de generación de invariantes para estructuras de datos disponibles en la actualidad, sometiéndolos a pruebas y realizando comparaciones basadas en su desempeño y capacidad de detección de invariantes conocidas en estructuras de datos predefinidas, con el fin de evaluar sus principales propiedades, fortalezas y debilidades.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección número de clasificación Copia número Estado Notas Fecha de vencimiento Código de barras
Memorias Memorias Biblioteca Central
Memorias M 005.73 C382 (Navegar estantería(Abre debajo)) 1 Disponible DISPONIBLE A TRAVES DE REPOSITORIO INSTITUCIONAL 3560900214350

Tesis (Ing. Civil Informático) -- Porf. Guía : Jocelyn Simmonds; prof. corref.: Diego Arroyuelo

En el presente trabajo se estudian y analizan dos algoritmos de generación de invariantes para estructuras de datos disponibles en la actualidad, sometiéndolos a pruebas y realizando comparaciones basadas en su desempeño y capacidad de detección de invariantes conocidas en estructuras de datos predefinidas, con el fin de evaluar sus principales propiedades, fortalezas y debilidades.

2

CONSULTE EN LINEA A TRAVES DE REPOSITORIO INSTITUCIONAL