Una semántica formal para Apache Spark en lógica de reescritura (Registro nro. 21461)
[ vista simple ]
000 -CABECERA | |
---|---|
Campo de control de longitud fija | 01469nmm a2200241 a 4500 |
008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL | |
Campo de control de longitud fija | 160202e2018 ck |||fq||d| 00| 0 spa d |
082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
Número de clasificación Decimal | 004.0151 |
Número de documento (Cutter) | S197s |
Número de edición DEWEY | 23 |
100 1# - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL | |
Nombre de persona | Sanabria Ardila, Mateo. |
9 (RLIN) | 9861 |
245 13 - TÍTULO PROPIAMENTE DICHO | |
Título | Una semántica formal para Apache Spark en lógica de reescritura |
Medio físico | [Recurso Electrónico] / |
Mención de responsabilidad, etc. | Mateo Sanabria Ardila. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA) | |
Lugar de publicación, distribución, etc. | Bogotá (Colombia): |
Nombre del editor, distribuidor, etc. | Escuela Colombiana de Ingeniería Julio Garavito, |
Fecha de publicación, distribución, etc. | 2018 |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | 62 paginas. |
Otros detalles físicos | gráficos. |
502 1# - NOTA DE TESIS | |
Nota de Disertaciones | Tesis (Matemático) |
520 1# - RESUMEN, ETC. | |
Nota de sumario, etc. | Este documento presenta una semántica ejecutable para Apache Spark en lógica de reescritura. Apache Spark es un entorno de trabajo de código abierto diseñado para el procesamiento de datos que provee una interfaz de programación de aplicaciones para la manipulación de<br/>grandes volúmenes de datos. La semántica ejecutable de Apache Spark se hace disponible a través de una especificación formal en Maude siendo esta especificación ejecutable y con la cual se puede estudiar el comportamiento dinámico del agendador de trabajos de Apache Spark. |
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
Nombre de materia o nombre geográfico como elemento de entrada | SOFTWARE DE CÓDIGO ABIERTO |
9 (RLIN) | 11137 |
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
Nombre de materia o nombre geográfico como elemento de entrada | PROCESAMIENTO DE DATOS |
9 (RLIN) | 11231 |
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
Nombre de materia o nombre geográfico como elemento de entrada | APACHE SPARK |
9 (RLIN) | 41380 |
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
Nombre de materia o nombre geográfico como elemento de entrada | LÓGICA DE REESCRITURA |
9 (RLIN) | 3363 |
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
Nombre de materia o nombre geográfico como elemento de entrada | TESIS Y DISERTACIONES ACADÉMICAS |
9 (RLIN) | 931 |
700 ## - 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 | https://repositorio.escuelaing.edu.co/handle/001/788 |
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 | 2018-08-01 | Matemáticas | Donación | 0.00 | Ej.1 | 004.0151 S197s Ts | D001266 | 2018-08-01 | 1 | TRABAJOS DE GRADO | Colección General | Matemáticas |