Una semántica formal para Apache Spark en lógica de reescritura
Trabajo de grado - Pregrado
2018
Escuela Colombiana de Ingeniería Julio Garavito
This document presents an executable semantics for Apache
Spark in rewrite logic. Apache Spark is a work environment
open source designed for data processing that provides
an application programming interface for the manipulation of
large volumes of data. The Apache Spark executable semantics
it is made available through a formal specification in Maude, this specification being executable and with which it is possible to study the dynamic behavior of Apache Spark's job scheduler. 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.
Descripción:
Sanabria Ardila, Mateo -2018.pdf
Título: Sanabria Ardila, Mateo -2018.pdf
Tamaño: 757.5Kb
PDFLEER EN FLIP
Descripción: Autorizacion.pdf
Título: Autorizacion.pdf
Tamaño: 346.9Kb
PDF
Título: Sanabria Ardila, Mateo -2018.pdf
Tamaño: 757.5Kb
PDFLEER EN FLIP
Descripción: Autorizacion.pdf
Título: Autorizacion.pdf
Tamaño: 346.9Kb