Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
-
Updated
Aug 28, 2026 - OCaml
#
termination-detection-algorithm
Here are 9 public repositories matching this topic...
Emulating Distributed Fault Tolerant Termination Detection with Safra's Algorithm
-
Updated
Apr 5, 2021 - Java
Implementation of the MOEA Entropy based automatic termination algorithm (Saxena et al. 2016)
python algorithm entropy multi-objective-optimization evolutionary-algorithm moea deap termination-detection-algorithm
-
Updated
Jun 14, 2017 - Python
Large Scale Distributed Systems Assessment
python fault-injection termination-detection-algorithm fault-detection push-sum cap-theorem decentralized-aggregation
-
Updated
Jun 19, 2020 - Jupyter Notebook
Multi-Objective Evolutionary Algorithms Termination Condition
-
Updated
Dec 28, 2016 - Java
This repo contains the implementation of the chandy and lamport's snapshot protocol
socket-programming termination-detection-algorithm chandy--lamport-snapshot-algorithm vector-clock distributed-operating-systems snapshot-algorithm fidge-mattern-vector-clock map-protocol
-
Updated
Oct 29, 2023 - Java
cpp distributed-computing threads termination-detection-algorithm client-server-architecture logical-clocks
-
Updated
Nov 9, 2019 - C++
termination detection algorithm in distributed system
-
Updated
May 15, 2020 - C++
Termination Detection algorithm implementation in distributed system, along with casual and arbitary channel
-
Updated
May 21, 2020 - C++
Add this topic to your repo
To associate your repository with the termination-detection-algorithm topic, visit your repo's landing page and select "manage topics."