Comunicación inducida por checkpointing con registro de mensajes más allá del modelo determinístico por partes (PWD) para sistemas distribuidos
Autores: Ahn, Jinho
Idioma: Inglés
Editor: MDPI
Año: 2021
Acceso abierto
Artículo científico
2021
Comunicación inducida por checkpointing con registro de mensajes más allá del modelo determinístico por partes (PWD) para sistemas distribuidos
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Comunicación
Protocolo de verificación
Registro de mensajes
Verificación forzada
Estado recuperable
Resultados de simulación
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 38
Citaciones: Sin citaciones
Este protocolo puede mantener estas características al incluir una variable de un bit y un vector de tamaño n en cada mensaje enviado.
Descripción
Este protocolo puede mantener estas características al incluir una variable de un bit y un vector de tamaño n en cada mensaje enviado.