Verificación formal de un modelo de simulación DEVS de una aplicación Storm
RESUMEN Las plataformas de procesamiento de permiten la manipulación y análisis de datos en tiempo real. Un sistema reconocido para este propósito es la llamada plataforma Storm, que es un sistema para computación distribuida, de código abierto, escalable, rápido y tolerante a fallos. La plataforma...
Guardado en:
Autores principales: | Inostrosa-Psijas,Alonso, Oyarzún-Silva,Mauricio, Medina-Quispe,Fernando, García-Barrera,Francisco, Solar-Gallardo,Roberto |
---|---|
Lenguaje: | Spanish / Castilian |
Publicado: |
Universidad de Tarapacá.
2019
|
Materias: | |
Acceso en línea: | http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052019000400682 |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
ESTUDIO ESTADÍSTICO DEL NÚMERO DE REGLAS RESULTANTES AL TRANSFORMAR UNA GRAMÁTICA LIBRE DE CONTEXTO A LA FORMA NORMAL DE CHOMSKY
por: Amaya Robayo,Fredy Ángel Miguel, et al.
Publicado: (2010) -
Estudio teórico de la dispersión de productos antiparasitarios en sistemas de baño cerrado utilizados por la industria salmonicultora en Chile
por: León,Alejandro, et al.
Publicado: (2017) -
LOS PROCEDIMIENTOS DE VERIFICACIÓN DE DATOS Y COMPROBACIÓN LIMITADA: CUESTIONES PROBLEMÁTICAS Y PROPUESTAS DE REFORMA
por: Francisco Adame Martínez
Publicado: (2014) -
Escalamiento de antimicrobianos con la inclusión de una lista de verificación en la unidad de cuidados intensivos pediátricos
por: Mesquita,Mirta N., et al.
Publicado: (2020) -
CRECIMIENTO URBANO DIFUSO EN CIUDADES INTERMEDIAS. SIMULANDO EL PROCESO DE EXPANSIÓN EN LA CIUDAD DE TEMUCO, CHILE
por: Maturana,Francisco, et al.
Publicado: (2021)