Listar JA - Trabajos Dirigidos de Matemáticas por autor "Rocha Niño, Hernan Camilo, (dir)"
Mostrando ítems 1-1 de 1
-
Especificación formal y verificación de invariantes para un protocolo de coherencia del caché
Ramirez Rico, Sergio Steven (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2015)This document presents a case study in the specification and verification of invariants of a cache coherence protocol. This protocol is based on the ESI coordination technique based on exclusive or shared access to a ...