Una semántica formal para Apache Spark en lógica de reescritura
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...
- Autores:
-
Sanabria Ardila, Mateo
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2018
- Institución:
- Escuela Colombiana de Ingeniería Julio Garavito
- Repositorio:
- Repositorio Institucional ECI
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.escuelaing.edu.co:001/788
- Acceso en línea:
- https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21461
https://repositorio.escuelaing.edu.co/handle/001/788
- Palabra clave:
- Lógica de reescritura
Procesamiento de datos
Apache Spark
Código abierto
Open Source Rewrite logic
Data processing
Apache Spark
Open Source
- Rights
- openAccess
- License
- Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito
| id |
ESCUELAIG2_2839861c718e0cb8440021447a05e590 |
|---|---|
| oai_identifier_str |
oai:repositorio.escuelaing.edu.co:001/788 |
| network_acronym_str |
ESCUELAIG2 |
| network_name_str |
Repositorio Institucional ECI |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
Una semántica formal para Apache Spark en lógica de reescritura |
| title |
Una semántica formal para Apache Spark en lógica de reescritura |
| spellingShingle |
Una semántica formal para Apache Spark en lógica de reescritura Lógica de reescritura Procesamiento de datos Apache Spark Código abierto Open Source Rewrite logic Data processing Apache Spark Open Source |
| title_short |
Una semántica formal para Apache Spark en lógica de reescritura |
| title_full |
Una semántica formal para Apache Spark en lógica de reescritura |
| title_fullStr |
Una semántica formal para Apache Spark en lógica de reescritura |
| title_full_unstemmed |
Una semántica formal para Apache Spark en lógica de reescritura |
| title_sort |
Una semántica formal para Apache Spark en lógica de reescritura |
| dc.creator.fl_str_mv |
Sanabria Ardila, Mateo |
| dc.contributor.advisor.spa.fl_str_mv |
Rocha Niño, Hernan Camilo (dir) |
| dc.contributor.author.spa.fl_str_mv |
Sanabria Ardila, Mateo |
| dc.subject.spa.fl_str_mv |
Lógica de reescritura Procesamiento de datos Apache Spark Código abierto |
| topic |
Lógica de reescritura Procesamiento de datos Apache Spark Código abierto Open Source Rewrite logic Data processing Apache Spark Open Source |
| dc.subject.keywords.spa.fl_str_mv |
Open Source Rewrite logic Data processing Apache Spark Open Source |
| description |
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. |
| publishDate |
2018 |
| dc.date.accessioned.spa.fl_str_mv |
2018-08-01T20:02:19Z |
| dc.date.available.spa.fl_str_mv |
2018-08-01T20:02:19Z |
| dc.date.issued.spa.fl_str_mv |
2018 |
| dc.date.accessioned.none.fl_str_mv |
2021-10-01T16:52:44Z |
| dc.date.available.none.fl_str_mv |
2021-10-01T16:52:44Z |
| dc.type.spa.fl_str_mv |
Trabajo de grado - Pregrado |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TP |
| format |
http://purl.org/coar/resource_type/c_7a1f |
| status_str |
publishedVersion |
| dc.identifier.uri.spa.fl_str_mv |
https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21461 |
| dc.identifier.uri.none.fl_str_mv |
https://repositorio.escuelaing.edu.co/handle/001/788 |
| url |
https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21461 https://repositorio.escuelaing.edu.co/handle/001/788 |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.rights.spa.fl_str_mv |
Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.uri.spa.fl_str_mv |
https://creativecommons.org/licenses/by-nc/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.creativecommons.spa.fl_str_mv |
Atribución-NoComercial 4.0 Internacional (CC BY-NC 4.0) |
| rights_invalid_str_mv |
Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito https://creativecommons.org/licenses/by-nc/4.0/ Atribución-NoComercial 4.0 Internacional (CC BY-NC 4.0) http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Escuela Colombiana de Ingeniería Julio Garavito |
| dc.publisher.program.spa.fl_str_mv |
Matemáticas |
| institution |
Escuela Colombiana de Ingeniería Julio Garavito |
| bitstream.url.fl_str_mv |
https://repositorio.escuelaing.edu.co/bitstream/001/788/1/Sanabria%20Ardila%2c%20Mateo%20-2018.pdf https://repositorio.escuelaing.edu.co/bitstream/001/788/2/Autorizacion.pdf https://repositorio.escuelaing.edu.co/bitstream/001/788/3/license.txt https://repositorio.escuelaing.edu.co/bitstream/001/788/8/Sanabria%20Ardila%2c%20Mateo%20-2018.pdf.txt https://repositorio.escuelaing.edu.co/bitstream/001/788/10/Autorizacion.pdf.txt https://repositorio.escuelaing.edu.co/bitstream/001/788/9/Sanabria%20Ardila%2c%20Mateo%20-2018.pdf.jpg https://repositorio.escuelaing.edu.co/bitstream/001/788/11/Autorizacion.pdf.jpg |
| bitstream.checksum.fl_str_mv |
678f6b3f797a0bdc09668c4a9c027ba8 740dda422ba5a8af9a2527dd9769ce0b 5a7ca94c2e5326ee169f979d71d0f06e 93d565213eaa66d166e1c07ba7d83341 e1c06d85ae7b8b032bef47e42e4c08f9 dbd00e32b98718caeb3957b8291262db 2a674f36662d815586754eedf977d04d |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Escuela Colombiana de Ingeniería Julio Garavito |
| repository.mail.fl_str_mv |
repositorio.eci@escuelaing.edu.co |
| _version_ |
1814355597530759168 |
| spelling |
Rocha Niño, Hernan Camilo (dir)b391807090ed5aee02db450ba0de86e3500Sanabria Ardila, Mateodb56ee16e0fcaa4d8c7e4dca34f9b5dc6002018-08-01T20:02:19Z2021-10-01T16:52:44Z2018-08-01T20:02:19Z2021-10-01T16:52:44Z2018https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21461https://repositorio.escuelaing.edu.co/handle/001/788This 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.PregradoMatemáticoapplication/pdfspaEscuela Colombiana de Ingeniería Julio GaravitoMatemáticasDerechos Reservados - Escuela Colombiana de Ingeniería Julio Garavitohttps://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccessAtribución-NoComercial 4.0 Internacional (CC BY-NC 4.0)http://purl.org/coar/access_right/c_abf2Lógica de reescrituraProcesamiento de datosApache SparkCódigo abiertoOpen Source Rewrite logicData processingApache SparkOpen SourceUna semántica formal para Apache Spark en lógica de reescrituraTrabajo de grado - Pregradoinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1fTextinfo:eu-repo/semantics/bachelorThesishttp://purl.org/redcol/resource_type/TPhttp://purl.org/coar/version/c_970fb48d4fbd8a85ORIGINALSanabria Ardila, Mateo -2018.pdfapplication/pdf775727https://repositorio.escuelaing.edu.co/bitstream/001/788/1/Sanabria%20Ardila%2c%20Mateo%20-2018.pdf678f6b3f797a0bdc09668c4a9c027ba8MD51open accessAutorizacion.pdfapplication/pdf355245https://repositorio.escuelaing.edu.co/bitstream/001/788/2/Autorizacion.pdf740dda422ba5a8af9a2527dd9769ce0bMD52metadata only accessLICENSElicense.txttext/plain1881https://repositorio.escuelaing.edu.co/bitstream/001/788/3/license.txt5a7ca94c2e5326ee169f979d71d0f06eMD53open accessTEXTSanabria Ardila, Mateo -2018.pdf.txtSanabria Ardila, Mateo -2018.pdf.txtExtracted texttext/plain84519https://repositorio.escuelaing.edu.co/bitstream/001/788/8/Sanabria%20Ardila%2c%20Mateo%20-2018.pdf.txt93d565213eaa66d166e1c07ba7d83341MD58open accessAutorizacion.pdf.txtAutorizacion.pdf.txtExtracted texttext/plain2https://repositorio.escuelaing.edu.co/bitstream/001/788/10/Autorizacion.pdf.txte1c06d85ae7b8b032bef47e42e4c08f9MD510metadata only accessTHUMBNAILSanabria Ardila, Mateo -2018.pdf.jpgSanabria Ardila, Mateo -2018.pdf.jpgGenerated Thumbnailimage/jpeg5734https://repositorio.escuelaing.edu.co/bitstream/001/788/9/Sanabria%20Ardila%2c%20Mateo%20-2018.pdf.jpgdbd00e32b98718caeb3957b8291262dbMD59open accessAutorizacion.pdf.jpgAutorizacion.pdf.jpgGenerated Thumbnailimage/jpeg11616https://repositorio.escuelaing.edu.co/bitstream/001/788/11/Autorizacion.pdf.jpg2a674f36662d815586754eedf977d04dMD511metadata only access001/788oai:repositorio.escuelaing.edu.co:001/7882021-10-01 16:30:07.289open accessRepositorio Escuela Colombiana de Ingeniería Julio Garavitorepositorio.eci@escuelaing.edu.coU0kgVVNURUQgSEFDRSBQQVJURSBERUwgR1JVUE8gREUgUEFSRVMgRVZBTFVBRE9SRVMgREUgTEEgQ09MRUNDScOTTiAiUEVFUiBSRVZJRVciLCBPTUlUQSBFU1RBIExJQ0VOQ0lBLgoKQXV0b3Jpem8gYSBsYSBFc2N1ZWxhIENvbG9tYmlhbmEgZGUgSW5nZW5pZXLDrWEgSnVsaW8gR2FyYXZpdG8gcGFyYSBwdWJsaWNhciBlbCB0cmFiYWpvIGRlIGdyYWRvLCBhcnTDrWN1bG8sIHZpZGVvLCAKY29uZmVyZW5jaWEsIGxpYnJvLCBpbWFnZW4sIGZvdG9ncmFmw61hLCBhdWRpbywgcHJlc2VudGFjacOzbiB1IG90cm8gKGVuICAgIGFkZWxhbnRlIGRvY3VtZW50bykgcXVlIGVuIGxhIGZlY2hhIAplbnRyZWdvIGVuIGZvcm1hdG8gZGlnaXRhbCwgeSBsZSBwZXJtaXRvIGRlIGZvcm1hIGluZGVmaW5pZGEgcXVlIGxvIHB1YmxpcXVlIGVuIGVsIHJlcG9zaXRvcmlvIGluc3RpdHVjaW9uYWwsIAplbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsYSBMZXkgMjMgZGUgMTk4MiwgbGEgTGV5IDQ0IGRlIDE5OTMsIHkgZGVtw6FzIGxleWVzIHkganVyaXNwcnVkZW5jaWEgdmlnZW50ZQphbCByZXNwZWN0bywgcGFyYSBmaW5lcyBlZHVjYXRpdm9zIHkgbm8gbHVjcmF0aXZvcy4gRXN0YSBhdXRvcml6YWNpw7NuIGVzIHbDoWxpZGEgcGFyYSBsYXMgZmFjdWx0YWRlcyB5IGRlcmVjaG9zIGRlIAp1c28gc29icmUgbGEgb2JyYSBlbiBmb3JtYXRvIGRpZ2l0YWwsIGVsZWN0csOzbmljbywgdmlydHVhbDsgeSBwYXJhIHVzb3MgZW4gcmVkZXMsIGludGVybmV0LCBleHRyYW5ldCwgeSBjdWFscXVpZXIgCmZvcm1hdG8gbyBtZWRpbyBjb25vY2lkbyBvIHBvciBjb25vY2VyLgpFbiBtaSBjYWxpZGFkIGRlIGF1dG9yLCBleHByZXNvIHF1ZSBlbCBkb2N1bWVudG8gb2JqZXRvIGRlIGxhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gZXMgb3JpZ2luYWwgeSBsbyBlbGFib3LDqSBzaW4gCnF1ZWJyYW50YXIgbmkgc3VwbGFudGFyIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvcy4gUG9yIGxvIHRhbnRvLCBlcyBkZSBtaSBleGNsdXNpdmEgYXV0b3LDrWEgeSwgZW4gY29uc2VjdWVuY2lhLCAKdGVuZ28gbGEgdGl0dWxhcmlkYWQgc29icmUgw6lsLiBFbiBjYXNvIGRlIHF1ZWphIG8gYWNjacOzbiBwb3IgcGFydGUgZGUgdW4gdGVyY2VybyByZWZlcmVudGUgYSBsb3MgZGVyZWNob3MgZGUgYXV0b3Igc29icmUgCmVsIGRvY3VtZW50byBlbiBjdWVzdGnDs24sIGFzdW1pcsOpIGxhIHJlc3BvbnNhYmlsaWRhZCB0b3RhbCB5IHNhbGRyw6kgZW4gZGVmZW5zYSBkZSBsb3MgZGVyZWNob3MgYXF1w60gYXV0b3JpemFkb3MuIEVzdG8gCnNpZ25pZmljYSBxdWUsIHBhcmEgdG9kb3MgbG9zIGVmZWN0b3MsIGxhIEVzY3VlbGEgYWN0w7phIGNvbW8gdW4gdGVyY2VybyBkZSBidWVuYSBmZS4KVG9kYSBwZXJzb25hIHF1ZSBjb25zdWx0ZSBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIEVzY3VlbGEsIGVsIENhdMOhbG9nbyBlbiBsw61uZWEgdSBvdHJvIG1lZGlvIGVsZWN0csOzbmljbywgCnBvZHLDoSBjb3BpYXIgYXBhcnRlcyBkZWwgdGV4dG8sIGNvbiBlbCBjb21wcm9taXNvIGRlIGNpdGFyIHNpZW1wcmUgbGEgZnVlbnRlLCBsYSBjdWFsIGluY2x1eWUgZWwgdMOtdHVsbyBkZWwgdHJhYmFqbyB5IGVsIAphdXRvci5Fc3RhIGF1dG9yaXphY2nDs24gbm8gaW1wbGljYSByZW51bmNpYSBhIGxhIGZhY3VsdGFkIHF1ZSB0ZW5nbyBkZSBwdWJsaWNhciB0b3RhbCBvIHBhcmNpYWxtZW50ZSBsYSBvYnJhIGVuIG90cm9zIAptZWRpb3MuRXN0YSBhdXRvcml6YWNpw7NuIGVzdMOhIHJlc3BhbGRhZGEgcG9yIGxhcyBmaXJtYXMgZGVsIChsb3MpIGF1dG9yKGVzKSBkZWwgZG9jdW1lbnRvLiAKU8OtIGF1dG9yaXpvIChhbWJvcykK |