Especificación formal y verificación de invariantes para un protocolo de coherencia del caché / (Registro nro. 17655)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| Campo de control de longitud fija | 01330amm a2200253 a 4500 |
| 001 - NÚMERO DE CONTROL | |
| Campo de control | 15890 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
| Campo de control | CoBo-ECI |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| Campo de control | 20240425094246.0 |
| 008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL | |
| Campo de control de longitud fija | 150602e2015 ck ||||fr|||| 00| 0 spa d |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
| Número de clasificación Decimal | 510.005435 |
| Número de documento (Cutter) | R173e Ts |
| Número de edición DEWEY | 23 |
| 100 1# - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL | |
| Nombre de persona | Ramirez Rico, Sergio Steven |
| 9 (RLIN) | 4598 |
| 245 00 - TÍTULO PROPIAMENTE DICHO | |
| Título | Especificación formal y verificación de invariantes para un protocolo de coherencia del caché / |
| Mención de responsabilidad, etc. | Sergio Steven Ramirez Rico |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA) | |
| Lugar de publicación, distribución, etc. | Bogotá : |
| Nombre del editor, distribuidor, etc. | Escuela Colombiana de Ingeniería Julio Garavito, |
| Fecha de publicación, distribución, etc. | 2015 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 1 CD-ROM (4 3/4 plg.) ; |
| Dimensiones | 12 cm. |
| 502 ## - NOTA DE TESIS | |
| Nota de Disertaciones | Tesis (Matemático) |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. | |
| Bibliografía, etc. | Incluye bibliografía |
| 520 ## - RESUMEN, ETC. | |
| Nota de sumario, etc. | 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. |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | CACHÉ (MEMORIA DE COMPUTADORAS) |
| 9 (RLIN) | 4599 |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 3378 |
| Nombre de materia o nombre geográfico como elemento de entrada | MATEMÁTICAS |
| Enlace | HISTORIA, GECIA |
| 700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL | |
| Nombre de persona | Rocha Niño, Hernan Camilo, |
| Término relacionador | director. |
| 9 (RLIN) | 21469 |
| 856 ## - ACCESO ELECTRÓNICO | |
| Identificador uniforme del recurso URI | http://repositorio.escuelaing.edu.co/handle/001/216 |
| 942 ## - ELEMENTOS KOHA | |
| Fuente de clasificación o esquema de ordenación en estanterías | |
| Koha tipo de item | TRABAJOS DE GRADO |
| Disponibilidad | Mostrar en OPAC | Fuente de clasificación o esquema | Tipo de Descarte | Estado | Localización permanente | Localización actual | Colección | Fecha adquisición | Proveedor | Forma de Adq | Precio normal de compra | Datos del ítem (Volumen, Tomo) | Préstamos totales | Signatura completa | Código de barras | Fecha última consulta | Número de ejemplar | Propiedades de Préstamo KOHA | Formato de Material | Programa Académico |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Préstamo Normal | Biblioteca Jorge Álvarez Lleras | Biblioteca Jorge Álvarez Lleras | Fondo general | 2015-06-17 | Matematicas | Donación | 0.00 | Ej. 1 | 510.005435 R173e Ts | 023504DC | 2015-06-17 | 1 | TRABAJOS DE GRADO | Colección / Fondo / Acervo / Resguardo | Matemáticas |
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.