dc.contributor.advisor | Rocha Niño, Hernan Camilo (dir) | spa |
dc.contributor.author | Sanabria Ardila, Mateo | spa |
dc.date.accessioned | 2018-08-01T20:02:19Z | spa |
dc.date.accessioned | 2021-10-01T16:52:44Z | |
dc.date.available | 2018-08-01T20:02:19Z | spa |
dc.date.available | 2021-10-01T16:52:44Z | |
dc.date.issued | 2018 | spa |
dc.identifier.uri | https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21461 | spa |
dc.identifier.uri | https://repositorio.escuelaing.edu.co/handle/001/788 | |
dc.description.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. | eng |
dc.description.abstract | 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. | spa |
dc.format.mimetype | application/pdf | spa |
dc.language.iso | spa | spa |
dc.publisher | Escuela Colombiana de Ingeniería Julio Garavito | spa |
dc.rights | Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito | spa |
dc.rights.uri | https://creativecommons.org/licenses/by-nc/4.0/ | spa |
dc.subject | Lógica de reescritura | spa |
dc.subject | Procesamiento de datos | spa |
dc.subject | Apache Spark | spa |
dc.subject | Código abierto | spa |
dc.title | Una semántica formal para Apache Spark en lógica de reescritura | spa |
dc.type | Trabajo de grado - Pregrado | spa |
dc.type.version | info:eu-repo/semantics/publishedVersion | spa |
oaire.accessrights | http://purl.org/coar/access_right/c_abf2 | spa |
oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | spa |
dc.description.degreelevel | Pregrado | spa |
dc.description.degreename | Matemático | spa |
dc.publisher.program | Matemáticas | spa |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
dc.rights.creativecommons | Atribución-NoComercial 4.0 Internacional (CC BY-NC 4.0) | spa |
dc.type.coar | http://purl.org/coar/resource_type/c_7a1f | spa |
dc.type.content | Text | spa |
dc.type.driver | info:eu-repo/semantics/bachelorThesis | spa |
dc.type.redcol | http://purl.org/redcol/resource_type/TP | spa |
dc.subject.keywords | Open Source Rewrite logic | spa |
dc.subject.keywords | Data processing | spa |
dc.subject.keywords | Apache Spark | spa |
dc.subject.keywords | Open Source | spa |