Mostrar el registro sencillo del ítem
Una semántica formal para Apache Spark en lógica de reescritura
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 |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
JA - Trabajos Dirigidos de Matemáticas [16]
Trabajos de Grado del Pregrado de Matemáticas de la Escuela Colombiana de Ingeniería Julio Garavito