Vista normal Vista MARC Vista ISBD

Ramirez Rico, Sergio Steven

Especificación formal y verificación de invariantes para un protocolo de coherencia del caché / Sergio Steven Ramirez Rico - Bogotá : Escuela Colombiana de Ingeniería Julio Garavito, 2015 - 1 CD-ROM (4 3/4 plg.) ; 12 cm.

Tesis (Matemático)

Incluye bibliografía

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.

Subjects--Topical Terms:
CACHÉ (MEMORIA DE COMPUTADORAS)
MATEMÁTICAS

Dewey Class. No.: 510.005435 / R173e Ts