000			01330amm a2200253 a 4500
001			15890
003			CoBo-ECI
005			20240425094246.0
008			150602e2015 ck ||||fr|||| 00| 0 spa d
082			_a510.005435 _bR173e Ts _223
100	1		_aRamirez Rico, Sergio Steven _94598
245	0	0	_aEspecificación formal y verificación de invariantes para un protocolo de coherencia del caché / _cSergio Steven Ramirez Rico
260			_aBogotá : _bEscuela Colombiana de Ingeniería Julio Garavito, _c2015
300			_a1 CD-ROM (4 3/4 plg.) ; _c12 cm.
502			_aTesis (Matemático)
504			_aIncluye bibliografía
520			_aEste 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.
650			_aCACHÉ (MEMORIA DE COMPUTADORAS) _94599
650			_93378 _aMATEMÁTICAS _6HISTORIA, GECIA
700	1		_aRocha Niño, Hernan Camilo, _edirector. _921469
856			_uhttp://repositorio.escuelaing.edu.co/handle/001/216
942			_2ddc _cTE
999			_c17655 _d17655