An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: termination-detection-algorithm

rescript-lang/reanalyze

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

Language: OCaml - Size: 4.17 MB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 279 - Forks: 21

darshank15/termination-detection-algorithm-DS

termination detection algorithm in distributed system

Language: C++ - Size: 25.6 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

chaitanya-basava/chandy_and_lamport_snapshot_protocol

This repo contains the implementation of the chandy and lamport's snapshot protocol

Language: Java - Size: 256 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yu961549745/MOEATC

Multi-Objective Evolutionary Algorithms Termination Condition

Language: Java - Size: 58.6 KB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

joaop21/Decentralized-Aggregation 📦

Large Scale Distributed Systems Assessment

Language: Jupyter Notebook - Size: 7.86 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

MiroslavRepka/killCatcher

Simple go module for detecting the pod deletion from Kubernetes cluster

Language: Go - Size: 15.6 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

mbelmadani/moea-automatic-termination

Implementation of the MOEA Entropy based automatic termination algorithm (Saxena et al. 2016)

Language: Python - Size: 17.6 KB - Last synced at: 4 months ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 1

dhawal777/Distributed-System-Termination-Detection-with-Casusal-and-Arbitrary-Channel

Termination Detection algorithm implementation in distributed system, along with casual and arbitary channel

Language: C++ - Size: 25.6 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0