Mostrar el registro sencillo del ítem
Especificación formal y verificación de invariantes para un protocolo de coherencia del caché
dc.contributor.advisor | Rocha Niño, Hernan Camilo, (dir) | spa |
dc.contributor.author | Ramirez Rico, Sergio Steven | spa |
dc.date.accessioned | 2015-06-17T16:53:05Z | spa |
dc.date.accessioned | 2021-10-01T16:52:41Z | |
dc.date.available | 2015-06-17T16:53:05Z | spa |
dc.date.available | 2021-10-01T16:52:41Z | |
dc.date.issued | 2015 | spa |
dc.identifier.uri | http://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=17655 | spa |
dc.identifier.uri | https://repositorio.escuelaing.edu.co/handle/001/216 | |
dc.description.abstract | 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 resource. Invariant verification uses algorithmic and deductive analysis, and Maude is used as the specification language and verification system. | eng |
dc.description.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. | spa |
dc.format.mimetype | application/pdf | spa |
dc.language.iso | spa | spa |
dc.publisher | Escuela Colombiana de Ingeniería Julio Garavito | spa |
dc.rights | Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito | spa |
dc.rights.uri | https://creativecommons.org/licenses/by-nc/4.0/ | spa |
dc.subject | Matemáticas | spa |
dc.subject | Memoria Caché | spa |
dc.title | Especificación formal y verificación de invariantes para un protocolo de coherencia del caché | spa |
dc.type | Trabajo de grado - Pregrado | spa |
dc.type.version | info:eu-repo/semantics/publishedVersion | spa |
oaire.accessrights | http://purl.org/coar/access_right/c_abf2 | spa |
oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | spa |
dc.description.degreelevel | Pregrado | spa |
dc.description.degreename | Matemático | spa |
dc.publisher.program | Matemáticas | spa |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
dc.rights.creativecommons | Atribución-NoComercial 4.0 Internacional (CC BY-NC 4.0) | spa |
dc.type.coar | http://purl.org/coar/resource_type/c_7a1f | spa |
dc.type.content | Text | spa |
dc.type.driver | info:eu-repo/semantics/bachelorThesis | spa |
dc.type.redcol | http://purl.org/redcol/resource_type/TP | spa |
dc.subject.keywords | Math | spa |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
JA - Trabajos Dirigidos de Matemáticas [16]
Trabajos de Grado del Pregrado de Matemáticas de la Escuela Colombiana de Ingeniería Julio Garavito