Publication:
Una semántica formal para Apache Spark en lógica de reescritura

Thumbnail Image
Files

Files

Primary Sanabria Ardila, Mateo -2018.pdf (757.55 KB)
 Autorizacion.pdf (346.92 KB)
View Statistics
Reference Managers
Mendeley
Indexers
Google Scholar CORE
QR Code
QR Code
Authors

Authors

Sanabria Ardila, Mateo
Abstract (Spanish)
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.
Abstract (English)
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.
Director

Advisors/Directors

Rocha Niño, Hernan Camilo (dir)
Rights

Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito

URI: https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21461
Collections

Collections

JA - Trabajos Dirigidos de Matemáticas