Una semántica formal para Apache Spark en lógica de reescritura [Recurso Electrónico] / Mateo Sanabria Ardila.
Tipo de material: Archivo de ordenadorEditor: Bogotá (Colombia): Escuela Colombiana de Ingeniería Julio Garavito, 2018Descripción: 62 paginas. gráficosTema(s): SOFTWARE DE CÓDIGO ABIERTO | PROCESAMIENTO DE DATOS | APACHE SPARK | LÓGICA DE REESCRITURA | TESIS Y DISERTACIONES ACADÉMICASClasificación CDD: 004.0151 Recursos en línea: Haga clic para acceso en línea Nota de disertación: Tesis (Matemático) Revisión: 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 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.Tipo de ítem | Ubicación actual | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
TRABAJOS DE GRADO | Biblioteca Jorge Álvarez Lleras Fondo general | 004.0151 S197s Ts (Navegar estantería) | Ej.1 | 1 | Disponible | D001266 |
Total de reservas: 0
Tesis (Matemático)
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
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.
No hay comentarios en este titulo.