Especificación formal y verificación de invariantes para un protocolo de coherencia del caché / Sergio Steven Ramirez Rico
Por: Ramirez Rico, Sergio Steven
Colaborador(es): Rocha Niño, Hernan Camilo [director.]Tipo de material: 
Archivo de ordenadorEditor: Bogotá : Escuela Colombiana de Ingeniería Julio Garavito, 2015Descripción: 1 CD-ROM (4 3/4 plg.) ; 12 cmTema(s): CACHÉ (MEMORIA DE COMPUTADORAS) | MATEMÁTICASClasificación CDD: 510.005435 Recursos en línea: Haga clic para acceso en línea Nota de disertación: Tesis (Matemático) Resumen: 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.
| Tipo de ítem | Ubicación actual | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
TRABAJOS DE GRADO
|
Biblioteca Jorge Álvarez Lleras Fondo general | 510.005435 R173e Ts (Navegar estantería) | Ej. 1 | 1 | Disponible | 023504DC |
Total de reservas: 0
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.
Haga clic en una imagen para verla en el visor de imágenes
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.
No hay comentarios en este titulo.