Please use this identifier to cite or link to this item: https://repositorio.escuelaing.edu.co/handle/001/216
Exportar a Bibtex Exportar a RIS Exportar a Excel Buscar en google Schoolar Buscar en microsoft academic
Title: Especificación formal y verificación de invariantes para un protocolo de coherencia del caché
Authors: Ramirez Rico, Sergio Steven
metadata.dc.thesis.grantor: Rocha Niño, Hernan Camilo, (dir)
Keywords: Matemáticas
Memoria Caché
Issue Date: 2015
Publisher: Escuela Colombiana de Ingeniería Julio Garavito
Abstract: Este documento presenta un caso de estudio en la especificación y verificación de invariantes de un protocolo de coherencia del caché. Este protocolo está fundamentado en la técnica ESI de coordinación basada en acceso exclusivo o compartido a un recurso. La verificación de los invariantes utiliza análisis algorítmico y deductivo, y se emplea Maude como lenguaje de especificación y sistema de verificación.
URI: http://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=17655
http://repositorio.escuelaing.edu.co/handle/001/216
Appears in Collections:GA - Trabajos de Grado Matemáticas

Files in This Item:
File Description SizeFormat 
GA-Matematicas-1075671646.pdfPDF689.33 kBAdobe PDFThumbnail
View/Open
Show full item record

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.