000			01469nmm a2200241 a 4500
008			160202e2018 ck |||fq||d| 00| 0 spa d
082	0	4	_a004.0151 _bS197s _223
100	1		_aSanabria Ardila, Mateo. _99861
245	1	3	_aUna semántica formal para Apache Spark en lógica de reescritura _h[Recurso Electrónico] / _cMateo Sanabria Ardila.
260			_aBogotá (Colombia): _bEscuela Colombiana de Ingeniería Julio Garavito, _c2018
300			_a62 paginas. _bgráficos.
502	1		_aTesis (Matemático)
520	1		_aEste 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.
650		0	_aSOFTWARE DE CÓDIGO ABIERTO _911137
650		0	_aPROCESAMIENTO DE DATOS _911231
650		0	_aAPACHE SPARK _941380
650		0	_aLÓGICA DE REESCRITURA _93363
650		0	_aTESIS Y DISERTACIONES ACADÉMICAS _9931
700			_aRocha Niño, Hernan Camilo _edirector. _921469
856			_uhttps://repositorio.escuelaing.edu.co/handle/001/788
942			_2ddc _cTE
999			_c21461 _d21461