Una semántica formal para Apache Spark en lógica de reescritura [Recurso Electrónico] / Mateo Sanabria Ardila.
Tipo de material:![Archivo de ordenador](/opac-tmpl/lib/famfamfam/CF.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Tipo de ítem | Ubicación actual | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca Jorge Álvarez Lleras Fondo general | 004.0151 S197s Ts (Navegar estantería) | Ej.1 | 1 | Disponible | D001266 |
Total de reservas: 0
Tesis (Matemático)
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.
No hay comentarios en este titulo.