Please use this identifier to cite or link to this item: https://repositorio.escuelaing.edu.co/handle/001/788
Exportar a Bibtex Exportar a RIS Exportar a Excel Buscar en google Schoolar Buscar en microsoft academic
Title: Una semántica formal para Apache Spark en lógica de reescritura
Authors: Sanabria Ardila, Mateo 
metadata.dc.thesis.grantor: Rocha Niño, Hernan Camilo (dir)
Keywords: Lógica de reescritura
Procesamiento de datos
Apache Spark
Código abierto
Issue Date: 2018
Publisher: Escuela Colombiana de Ingeniería Julio Garavito
metadata.dc.description.resumen: 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: 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.
URI: https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21461
https://repositorio.escuelaing.edu.co/handle/001/788
Appears in Collections:GA - Trabajos de Grado Matemáticas

Files in This Item:
File Description SizeFormat 
Sanabria Ardila, Mateo -2018.pdf757.55 kBAdobe PDFThumbnail
View/Open
Autorizacion.pdf346.92 kBAdobe PDFThumbnail
View/Open
Show full item record

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.