On the public citation graph
Algorithms for distributed termination detection
0 signed · 266 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-10699-5_105openalex-snapshot
Distributed termination with interval assertions
inferredcites →https://doi.org/10.1007/3-540-16042-6_4openalex-snapshot
A class of termination detection algorithms for distributed computations
inferredcites →https://doi.org/10.1007/3-540-16761-7_69openalex-snapshot
A termination detector for static and dynamic distributed systems with asynchronous non-first-in-first-out communication
inferredcites →https://doi.org/10.1007/3-540-16761-7_84openalex-snapshot
A new approach to detection of locally indicative stability
inferredcites →https://doi.org/10.1007/3-540-18740-5_98openalex-snapshot
Distributed infimum approximation
inferredcites →https://doi.org/10.1007/978-3-642-82453-1_11openalex-snapshot
A Paradigm for Detecting Quiescent Properties in Distributed Computations
inferredcites →https://doi.org/10.1007/978-3-642-82921-5openalex-snapshot
Control Flow and Data Flow: Concepts of Distributed Programming
inferredcites →https://doi.org/10.1007/978-3-642-95486-3_36openalex-snapshot
Symmetric Distributed Termination
inferredcites →https://doi.org/10.1007/bf01840392openalex-snapshot
Asynchronous distributed termination—parallel and symmetric solutions with echo algorithms
inferredcites →https://doi.org/10.1007/bfb0015731openalex-snapshot
Repeated synchronous snapshots and their implementation in CSP
inferredcites →https://doi.org/10.1007/bfb0016283openalex-snapshot
Model and complexity of termination for distributed computations
inferredcites →https://doi.org/10.1007/bfb0019800openalex-snapshot
Experience with a new distributed termination detection algorithm
inferredcites →https://doi.org/10.1007/bfb0024015openalex-snapshot
Distributed termination in CSP symmetric solutions with minimal storage
inferredcites →https://doi.org/10.1016/0020-0190(80)90021-6openalex-snapshot
Termination detection for diffusing computations
inferredcites →https://doi.org/10.1016/0020-0190(83)90089-3openalex-snapshot
A distributed solution of the distributed termination problem
inferredcites →https://doi.org/10.1016/0020-0190(83)90092-3openalex-snapshot
Derivation of a termination detection algorithm for distributed computations
inferredcites →https://doi.org/10.1016/0020-0190(84)90071-1openalex-snapshot
Termination detection for distributed computations
inferredcites →https://doi.org/10.1016/0020-0190(86)90043-8openalex-snapshot
A fully distributed (minimal) spanning tree algorithm
inferredcites →https://doi.org/10.1016/0020-0190(86)90072-4openalex-snapshot
Distributed termination detection algorithm for distributed computations
inferredcites →https://doi.org/10.1016/0020-0190(87)90123-2openalex-snapshot
On the proof of a distributed algorithm
inferredcites →https://doi.org/10.1016/0167-6423(88)90024-xopenalex-snapshot
The derivation of graph marking algorithms from distributed termination detection protocols
inferredcites →https://doi.org/10.1016/0306-4379(83)90028-5openalex-snapshot
A methodology to solve distributed termination problem
inferredcites →https://doi.org/10.1109/tse.1982.235257openalex-snapshot
Achieving Distributed Termination without Freezing
inferredcites →https://doi.org/10.1109/tse.1982.235573openalex-snapshot
Echo Algorithms: Depth Parallel Operations on General Graphs
inferredcites →https://doi.org/10.1109/tse.1985.231861openalex-snapshot
Synchronized Distributed Termination
inferredcites →https://doi.org/10.1109/tse.1987.233510openalex-snapshot
Key Concepts of the INCAS Multicomputer Project
inferredcites →https://doi.org/10.1145/3335772.3335934openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/357153.357156openalex-snapshot
Termination Detection of Diffusing Computations in Communicating Sequential Processes
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/41840.41850openalex-snapshot
Detecting global termination conditions in the face of uncertainty
inferredcites →https://doi.org/10.1145/41840.41851openalex-snapshot
Detection of stable properties in distributed applications
inferredcites →https://doi.org/10.1145/5956.5958openalex-snapshot
An example of stepwise refinement of distributed programs: quiescence detection
inferredcites →https://doi.org/10.1145/5956.6000openalex-snapshot
Correctness proofs of distributed termination algorithms
inferredcites →https://doi.org/10.1145/800220.806678openalex-snapshot
Dynamic systems and their distributed termination
inferredcites →https://doi.org/10.1145/800221.806729openalex-snapshot
Detecting termination of distributed computations using markers
inferredcites →https://doi.org/10.1524/itit.1986.28.4.204openalex-snapshot
Programmtransformationen zur Ende-Erkennung bei verteilten Berechnungen
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/0470072644openalex-snapshot
Design and Analysis of Distributed Algorithms
inferred← citeshttps://doi.org/10.1002/9781118640708.ch04openalex-snapshot
Large‐Scale P2P‐Inspired Problem‐Solving: A Formal and Experimental Study
inferred← citeshttps://doi.org/10.1002/cpe.1650openalex-snapshot
A scalable group communication protocol with hybrid clocks
inferred← citeshttps://doi.org/10.1002/cpe.2981openalex-snapshot
PySy: a Python package for enhanced concurrent programming
inferred← citeshttps://doi.org/10.1006/jpdc.1993.1072openalex-snapshot
Special Issue on Parallel Discrete Event Simulation
inferred← citeshttps://doi.org/10.1006/jpdc.1993.1075openalex-snapshot
Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation
inferred← citeshttps://doi.org/10.1006/jpdc.1993.1077openalex-snapshot
Termination and Output Measure Generation in Parallel Simulations
inferred← citeshttps://doi.org/10.1006/jpdc.1993.1118openalex-snapshot
On Terminating a Distributed Discrete Event Simulation
inferred← citeshttps://doi.org/10.1006/jpdc.1996.0017openalex-snapshot
Deadlock Models and a General Algorithm for Distributed Deadlock Detection
inferred← citeshttps://doi.org/10.1007/0-387-22827-6_5openalex-snapshot
Parallel Algorithm Design for Branch and Bound
inferred← citeshttps://doi.org/10.1007/11561927_9openalex-snapshot
Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System
inferred← citeshttps://doi.org/10.1007/11691617_8openalex-snapshot
Distributed On-the-Fly Model Checking and Test Case Generation
inferred← citeshttps://doi.org/10.1007/3-540-45136-6_9openalex-snapshot
Building Modern Distributed Systems
inferred← citeshttps://doi.org/10.1007/3-540-45139-0_14openalex-snapshot
Parallel state space construction for model-checking
inferred← citeshttps://doi.org/10.1007/3-540-45591-4_140openalex-snapshot
Refinement based validation of an algorithm for detecting distributed termination
inferred← citeshttps://doi.org/10.1007/3-540-46632-0_5openalex-snapshot
Asynchronous Random Polling Dynamic Load Balancing
inferred← citeshttps://doi.org/10.1007/3-540-54029-6_202openalex-snapshot
An efficient algorithm for quiescence detection in a distributed system
inferred← citeshttps://doi.org/10.1007/3-540-55599-4_99openalex-snapshot
Distributed termination enforcement
inferred← citeshttps://doi.org/10.1007/3-540-60029-9_30openalex-snapshot
Distributed algorithms and causally consistent observations (abstract)
inferred← citeshttps://doi.org/10.1007/3-540-61626-8_67openalex-snapshot
A framework for viewing atomic events in distributed computations
inferred← citeshttps://doi.org/10.1007/3-540-61626-8_80openalex-snapshot
The use of interpreted languages for implementing parallel algorithms on distributed systems
inferred← citeshttps://doi.org/10.1007/3-540-61769-8_7openalex-snapshot
Abstracting communication to reason about distributed algorithms
inferred← citeshttps://doi.org/10.1007/3-540-64359-1_745openalex-snapshot
Tailoring UNITY to distributed program design
inferred← citeshttps://doi.org/10.1007/978-1-4614-4881-5_13openalex-snapshot
Channel with Termination Detection Service
inferred← citeshttps://doi.org/10.1007/978-1-4614-4881-5_14openalex-snapshot
Termination Detection for Diffusing Computations
inferred← citeshttps://doi.org/10.1007/978-3-030-12835-7_2openalex-snapshot
Related Work on Deadlock and Termination Detection Techniques
inferred← citeshttps://doi.org/10.1007/978-3-030-91014-3_5openalex-snapshot
Fault-Tolerant Termination Detection with Safra’s Algorithm
inferred← citeshttps://doi.org/10.1007/978-3-319-13647-9_42openalex-snapshot
MAS-td: An Approach to Termination Detection of Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-63516-3_11openalex-snapshot
Parallel A* for State-Space Search
inferred← citeshttps://doi.org/10.1007/978-3-540-24580-3_21openalex-snapshot
YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters
inferred← citeshttps://doi.org/10.1007/978-3-540-25946-6_9openalex-snapshot
Interaction Monitoring and Termination Detection for Agent Societies: Preliminary Results
inferred← citeshttps://doi.org/10.1007/978-3-540-27860-3_5openalex-snapshot
Detecting Locally Stable Predicates Without Modifying Application Messages
inferred← citeshttps://doi.org/10.1007/978-3-540-30186-8_21openalex-snapshot
Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies
inferred← citeshttps://doi.org/10.1007/978-3-540-69507-3_16openalex-snapshot
About the Termination Detection in the Asynchronous Message Passing Model
inferred← citeshttps://doi.org/10.1007/978-3-540-74466-5_66openalex-snapshot
On Detecting Termination in the Crash-Recovery Model
inferred← citeshttps://doi.org/10.1007/978-3-540-76627-8_5openalex-snapshot
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model
inferred← citeshttps://doi.org/10.1007/978-3-540-85571-2_8openalex-snapshot
Design, Implementation and Deployment of State Machines Using a Generative Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-87779-0_4openalex-snapshot
Local Terminations and Distributed Computability in Anonymous Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-87779-0_5openalex-snapshot
A Self-stabilizing Algorithm with Tight Bounds for Mutual Exclusion on a Ring
inferred← citeshttps://doi.org/10.1007/978-3-642-02481-8_15openalex-snapshot
A Snapshot Algorithm for Mobile Ad Hoc Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-12251-4_24openalex-snapshot
A Skeleton for Distributed Work Pools in Eden
inferred← citeshttps://doi.org/10.1007/978-3-642-35606-3_51openalex-snapshot
A Termination Detection Technique Using Gossip in Cloud Computing Environments
inferred← citeshttps://doi.org/10.1007/978-3-642-36424-2_1openalex-snapshot
An Unstructured Termination Detection Algorithm Using Gossip in Cloud Computing Environments
inferred← citeshttps://doi.org/10.1007/978-3-642-38123-2_14openalex-snapshot
Distributed Termination Detection
inferred← citeshttps://doi.org/10.1007/978-3-642-45284-0_17openalex-snapshot
Parallel Performance of Declarative Programming Using a PGAS Model
inferred← citeshttps://doi.org/10.1007/978-3-642-58066-6_9openalex-snapshot
Distributed Control Algorithms (Selected Topics)
inferred← citeshttps://doi.org/10.1007/978-3-642-74135-7_40openalex-snapshot
Konzepte verteilter Programmierung — Erfahrungen bei der Entwicklung eines dezentralen Terminvereinbarungssystems
inferred← citeshttps://doi.org/10.1007/978-3-642-76799-9_10openalex-snapshot
The Family of Concurrent Logic Programming Languages
inferred← citeshttps://doi.org/10.1007/978-3-662-01110-2_7openalex-snapshot
Effiziente Bestimmung von Schnappschüssen in verteilten Systemen
inferred← citeshttps://doi.org/10.1007/978-3-662-25209-3_10openalex-snapshot
The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/bf01840392openalex-snapshot
Asynchronous distributed termination—parallel and symmetric solutions with echo algorithms
inferred← citeshttps://doi.org/10.1007/bf02277858openalex-snapshot
Towards the construction of distributed detection programs, with an application to distributed termination
inferred← citeshttps://doi.org/10.1007/bf02277859openalex-snapshot
Detecting causal relationships in distributed computations: In search of the holy grail
inferred← citeshttps://doi.org/10.1007/bf02280830openalex-snapshot
Efficient detection of a class of stable properties
inferred← citeshttps://doi.org/10.1007/bf02280831openalex-snapshot
Strong stable properties in distributed systems
inferred← citeshttps://doi.org/10.1007/bfb0019800openalex-snapshot
Experience with a new distributed termination detection algorithm
inferred← citeshttps://doi.org/10.1007/bfb0022453openalex-snapshot
Using consistent subcuts for detecting stable properties
inferred← citeshttps://doi.org/10.1007/bfb0035101openalex-snapshot
The derivation of distributed termination detection algorithms from garbage collection schemes
inferred← citeshttps://doi.org/10.1007/bfb0035177openalex-snapshot
Distributed evaluation: a tool for constructing distributed detection programs
inferred← citeshttps://doi.org/10.1007/s00446-006-0004-yopenalex-snapshot
Efficient dependency tracking for relevant events in concurrent systems
inferred← citeshttps://doi.org/10.1007/s00446-007-0031-3openalex-snapshot
A family of optimal termination detection algorithms
inferred← citeshttps://doi.org/10.1007/s004460050018openalex-snapshot
Synchronous, asynchronous, and causally ordered communication
inferred← citeshttps://doi.org/10.1007/s10458-018-9388-xopenalex-snapshot
A new distributed algorithm for efficient generalized arc-consistency propagation
inferred← citeshttps://doi.org/10.1007/s11227-016-1702-2openalex-snapshot
JACK: an asynchronous communication kernel library for iterative algorithms
inferred← citeshttps://doi.org/10.1007/s12293-008-0006-3openalex-snapshot
Solving the routing and wavelength assignment problem with a multilevel distributed memetic algorithm
inferred← citeshttps://doi.org/10.1007/s12532-015-0087-1openalex-snapshot
PEBBL: an object-oriented framework for scalable parallel branch and bound
inferred← citeshttps://doi.org/10.1016/0020-0190(89)90187-7openalex-snapshot
Prime numbers as a tool to design distributed algorithms
inferred← citeshttps://doi.org/10.1016/0020-0190(89)90212-3openalex-snapshot
Global quiescence detection based on credit distribution and recovery
inferred← citeshttps://doi.org/10.1016/0020-0190(89)90219-6openalex-snapshot
Comments on “ring based termination detection algorithm for distributed computations”
inferred← citeshttps://doi.org/10.1016/0020-0190(91)90008-6openalex-snapshot
The causal ordering abstraction and a simple way to implement it
inferred← citeshttps://doi.org/10.1016/0020-0190(92)90028-topenalex-snapshot
An efficient implementation of vector clocks
inferred← citeshttps://doi.org/10.1016/0020-0190(94)90059-0openalex-snapshot
An assertional proof of Rana's algorithm
inferred← citeshttps://doi.org/10.1016/0045-7906(91)90003-iopenalex-snapshot
Application of three-valued logic for distributed termination detection
inferred← citeshttps://doi.org/10.1016/0096-0551(93)90039-4openalex-snapshot
Distributed termination of concurrent processes in Occam
inferred← citeshttps://doi.org/10.1016/0165-6074(89)90091-4openalex-snapshot
An automatic distributed calendar and appointment system
inferred← citeshttps://doi.org/10.1016/0167-8191(92)90044-8openalex-snapshot
A distributed-termination experiment on a mesh-connected array of processors
inferred← citeshttps://doi.org/10.1016/0167-8191(94)00101-fopenalex-snapshot
Noncommittal barrier synchronization
inferred← citeshttps://doi.org/10.1016/b978-0-408-02938-4.50016-4openalex-snapshot
Key references in distributed computer systems 1959–1989
inferred← citeshttps://doi.org/10.1016/j.advengsoft.2020.102827openalex-snapshot
Protocol-free asynchronous iterations termination
inferred← citeshttps://doi.org/10.1016/j.artint.2004.10.003openalex-snapshot
Asynchronous aggregation and consistency in distributed constraint satisfaction
inferred← citeshttps://doi.org/10.1016/j.artint.2012.10.007openalex-snapshot
Evaluation of a simple, scalable, parallel best-first search strategy
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.10.018openalex-snapshot
Distributed On-the-Fly Equivalence Checking
inferred← citeshttps://doi.org/10.1016/j.eswa.2024.124677openalex-snapshot
Distributed algorithm for parallel computation of the n queens solutions
inferred← citeshttps://doi.org/10.1016/j.jpdc.2006.12.004openalex-snapshot
Efficient detection of a locally stable predicate in a distributed system
inferred← citeshttps://doi.org/10.1016/j.jpdc.2007.05.013openalex-snapshot
An efficient delay-optimal distributed termination detection algorithm
inferred← citeshttps://doi.org/10.1016/j.jpdc.2008.02.001openalex-snapshot
On termination detection in crash-prone distributed systems with failure detectors
inferred← citeshttps://doi.org/10.1016/j.jpdc.2013.01.003openalex-snapshot
Efficient distributed snapshots in an anonymous asynchronous message-passing system
inferred← citeshttps://doi.org/10.1016/s0164-1212(98)10034-1openalex-snapshot
A taxonomy of distributed termination detection algorithms
inferred← citeshttps://doi.org/10.1016/s0167-8191(96)00068-3openalex-snapshot
Distributed termination detection for dynamic systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00195-3openalex-snapshot
A framework for viewing atomic events in distributed computations
inferred← citeshttps://doi.org/10.1016/s1570-579x(01)80014-8openalex-snapshot
Pico: An Object-Oriented Framework for Parallel Branch and Bound
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80095-7openalex-snapshot
Distributed Explicit Bounded LTL Model Checking
inferred← citeshttps://doi.org/10.1023/b:ause.0000049209.28933.b3openalex-snapshot
A Termination Detection Protocol for Use in Mobile Ad Hoc Networks
inferred← citeshttps://doi.org/10.1049/ip-sen:20050001openalex-snapshot
Distributed CTL model checking
inferred← citeshttps://doi.org/10.1051/ita/1997310403051openalex-snapshot
Calculs approchés de la borne inférieure de valeurs réparties
inferred← citeshttps://doi.org/10.1080/10637199608915571openalex-snapshot
A METHOD OF TERMINATING ASYNCHRONOUS ITERATIVE ALGORITHMS ON MESSAGE PASSING SYSTEMS
inferred← citeshttps://doi.org/10.1080/17445760.2010.491479openalex-snapshot
Distributed snapshots foradhocnetwork systems
inferred← citeshttps://doi.org/10.1080/23311916.2018.1475033openalex-snapshot
Formal analysis of control and termination of distributed computation in weaker spaces
inferred← citeshttps://doi.org/10.1093/comjnl/45.5.561openalex-snapshot
Randomized Receiver Initiated Load-balancing Algorithms for Tree-shaped Computations
inferred← citeshttps://doi.org/10.1093/comjnl/bxab122openalex-snapshot
Specifying and Model Checking Distributed Control Algorithms at Meta-level
inferred← citeshttps://doi.org/10.1093/comjnl/bxp090openalex-snapshot
A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory
inferred← citeshttps://doi.org/10.1093/comjnl/bxw099openalex-snapshot
Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking
inferred← citeshttps://doi.org/10.1108/17427371211221090openalex-snapshot
A multi‐layered model for scalable group communication with hybrid clocks
inferred← citeshttps://doi.org/10.1109/12.30846openalex-snapshot
On fault-tolerant structure, distributed fault-diagnosis, reconfiguration, and recovery of the array processors
inferred← citeshttps://doi.org/10.1109/32.637147openalex-snapshot
Clock trees: logical clocks for programs with nested parallelism
inferred← citeshttps://doi.org/10.1109/32.90432openalex-snapshot
Composite programs: hierarchical construction, circularity, and deadlocks
inferred← citeshttps://doi.org/10.1109/69.134251openalex-snapshot
Development of a class of distributed termination detection algorithms
inferred← citeshttps://doi.org/10.1109/69.224203openalex-snapshot
Parallel and distributed processing of rules by data-reduction
inferred← citeshttps://doi.org/10.1109/71.149965openalex-snapshot
Implementation of production systems on message-passing computers
inferred← citeshttps://doi.org/10.1109/71.363410openalex-snapshot
An (N-1)-resilient algorithm for distributed termination detection
inferred← citeshttps://doi.org/10.1109/71.879773openalex-snapshot
Computing global functions in asynchronous distributed systems with perfect failure detectors
inferred← citeshttps://doi.org/10.1109/88.260297openalex-snapshot
Bounded and minimum global snapshots
inferred← citeshttps://doi.org/10.1109/acsd.2019.00007openalex-snapshot
Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph
inferred← citeshttps://doi.org/10.1109/aiccsa.2005.1387020openalex-snapshot
Efficient partition of state space for parallel reachability analysis
inferred← citeshttps://doi.org/10.1109/aina.2010.116openalex-snapshot
A Scalable Peer-to-Peer Group Communication Protocol
inferred← citeshttps://doi.org/10.1109/aina.2011.66openalex-snapshot
A Multi-layered Model for Scalable Group Communication in P2P Overlay Networks
inferred← citeshttps://doi.org/10.1109/apdc.1997.574046openalex-snapshot
On distributed snapshot algorithms
inferred← citeshttps://doi.org/10.1109/bdcloud.2018.00034openalex-snapshot
Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context
inferred← citeshttps://doi.org/10.1109/bwcca.2010.73openalex-snapshot
A Scalable Hybrid Time Protocol for a Heterogeneous Group
inferred← citeshttps://doi.org/10.1109/cdc.2017.8264330openalex-snapshot
How to stop consensus algorithms, locally ?
inferred← citeshttps://doi.org/10.1109/cisis.2010.119openalex-snapshot
Reduction of Messages Unnecessarily Ordered in Scalable Group Communication
inferred← citeshttps://doi.org/10.1109/cisis.2011.68openalex-snapshot
A Scalable Communication Protocol for Multi-layered Groups
inferred← citeshttps://doi.org/10.1109/cmpsac.1995.524790openalex-snapshot
Deriving distributed algorithms from a general predicate detector
inferred← citeshttps://doi.org/10.1109/csa.2008.55openalex-snapshot
Context-Cognizant Service Discovery in Autonomous Decentralized Community System to Achieve Timeliness
inferred← citeshttps://doi.org/10.1109/dexa.1996.558304openalex-snapshot
A database for configuration management
inferred← citeshttps://doi.org/10.1109/doa.2001.954082openalex-snapshot
From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models
inferred← citeshttps://doi.org/10.1109/exampi49596.2019.00011openalex-snapshot
Using MPI-3 RMA for Active Messages
inferred← citeshttps://doi.org/10.1109/exampi52011.2020.00009openalex-snapshot
Design and Implementation Techniques for an MPI-Oriented AMT Runtime
inferred← citeshttps://doi.org/10.1109/fpga.1994.315603openalex-snapshot
Global control synthesis for an MIMD/FPGA machine
inferred← citeshttps://doi.org/10.1109/ftdcs.1988.26684openalex-snapshot
Global stability detection in the asynchronous distributed computations
inferred← citeshttps://doi.org/10.1109/ftdcs.1990.138357openalex-snapshot
Order notions and atomic multicast in distributed systems: a short survey
inferred← citeshttps://doi.org/10.1109/ftdcs.1995.524984openalex-snapshot
Deadlocks in distributed systems: request models and definitions
inferred← citeshttps://doi.org/10.1109/hase.2008.39openalex-snapshot
A Novel Ripple-Based Context-Cognizant Service Discovery Method in Autonomous Decentralized Community System
inferred← citeshttps://doi.org/10.1109/hipc50609.2020.00027openalex-snapshot
Model Checking as a Service using Dynamic Resource Scaling
inferred← citeshttps://doi.org/10.1109/hpdc.2001.945202openalex-snapshot
Wide-area transposition-driven scheduling
inferred← citeshttps://doi.org/10.1109/iat.2006.68openalex-snapshot
Framework for Modeling Reordering Heuristics for Asynchronous Backtracking
inferred← citeshttps://doi.org/10.1109/iccsnt.2011.6182221openalex-snapshot
Determining event ordering in mobile ad hoc networks
inferred← citeshttps://doi.org/10.1109/icdcs.1990.89327openalex-snapshot
A basic unit of computation in distributed systems
inferred← citeshttps://doi.org/10.1109/icdcs.1993.287688openalex-snapshot
Termination detection in a very general distributed computing model
inferred← citeshttps://doi.org/10.1109/icdcs.2009.16openalex-snapshot
A Distributed Termination Detection Algorithm for Dynamic Asynchronous Systems
inferred← citeshttps://doi.org/10.1109/icpads.2002.1183453openalex-snapshot
Communication pattern based methodology for performance analysis of termination detection schemes
inferred← citeshttps://doi.org/10.1109/icpads.2009.66openalex-snapshot
Detection of Conjunctive Stable Predicates in Dynamic Systems
inferred← citeshttps://doi.org/10.1109/icsmc.1996.565490openalex-snapshot
Detecting termination in static and dynamic systems
inferred← citeshttps://doi.org/10.1109/ipdps.2004.1303025openalex-snapshot
A general model for detecting distributed termination in dynamic systems
inferred← citeshttps://doi.org/10.1109/ipdps.2009.5161000openalex-snapshot
Efficient large-scale model checking
inferred← citeshttps://doi.org/10.1109/ipdps.2011.337openalex-snapshot
Distributed B&B: A Pure Peer-to-Peer Approach
inferred← citeshttps://doi.org/10.1109/ipdps.2013.17openalex-snapshot
Managing Asynchronous Operations in Coarray Fortran 2.0
inferred← citeshttps://doi.org/10.1109/ipdps.2013.72openalex-snapshot
Scaling Techniques for Massive Scale-Free Graphs in Distributed (External) Memory
inferred← citeshttps://doi.org/10.1109/ipps.1992.222991openalex-snapshot
A more efficient message-optimal algorithm for distributed termination detection
inferred← citeshttps://doi.org/10.1109/iros.2013.6696903openalex-snapshot
Asynchronous decentralized prioritized planning for coordination in multi-robot system
inferred← citeshttps://doi.org/10.1109/isads.1993.262713openalex-snapshot
Recursive distributed programming schemes
inferred← citeshttps://doi.org/10.1109/isads.2001.917389openalex-snapshot
A dependable distributed auction system: architecture and an implementation framework
inferred← citeshttps://doi.org/10.1109/isads.2009.5207330openalex-snapshot
Detecting termination in pervasive sensor networks
inferred← citeshttps://doi.org/10.1109/ispa/iucc.2017.00118openalex-snapshot
Parallel Symbolic Observation Graph
inferred← citeshttps://doi.org/10.1109/iv.2012.80openalex-snapshot
Debugging the Execution of Distributed Algorithms over Anonymous Networks
inferred← citeshttps://doi.org/10.1109/ldav57265.2022.9966395openalex-snapshot
A Prototype for Pipeline-Composable Task-Based Visualization Algorithms
inferred← citeshttps://doi.org/10.1109/nbis.2010.88openalex-snapshot
Hybrid Clock-Based Synchronization in a Scalable Heterogeneous Group
inferred← citeshttps://doi.org/10.1109/nbis.2011.49openalex-snapshot
A Multi-layered Communication Model with Hybrid Clocks in P2P Overlay Networks
inferred← citeshttps://doi.org/10.1109/nca.2004.1347771openalex-snapshot
A methodological construction of an efficient sequential consistency protocol
inferred← citeshttps://doi.org/10.1109/pccc.1990.101609openalex-snapshot
Computing particular snapshots in distributed systems
inferred← citeshttps://doi.org/10.1109/pccc.1991.113818openalex-snapshot
Distributed global state determination via graph coloring
inferred← citeshttps://doi.org/10.1109/pccc.1997.581499openalex-snapshot
A general repeated snapshot algorithm
inferred← citeshttps://doi.org/10.1109/rtcsa.1998.726427openalex-snapshot
Distributed reactive machines
inferred← citeshttps://doi.org/10.1109/scc.2006.33openalex-snapshot
Compatibility of Service Contracts in Service-Oriented Ap
inferred← citeshttps://doi.org/10.1109/spdp.1990.143519openalex-snapshot
Correct two-phase and one-phase deadlock detection algorithms for distributed systems
inferred← citeshttps://doi.org/10.1109/spdp.1992.242734openalex-snapshot
An (N-1)-resilient algorithm for distributed termination detection
inferred← citeshttps://doi.org/10.1109/spdp.1992.242737openalex-snapshot
On the relative speed of messages and hierarchical channels
inferred← citeshttps://doi.org/10.1109/tpds.2002.1003855openalex-snapshot
A performance analysis of transposition-table-driven work scheduling in distributed search
inferred← citeshttps://doi.org/10.1109/tpds.2007.1066openalex-snapshot
Tiered Algorithm for Distributed Process Quiescence and Termination Detection
inferred← citeshttps://doi.org/10.1109/tpds.2012.139openalex-snapshot
Flexible Symmetrical Global-Snapshot Algorithms for Large-Scale Distributed Systems
inferred← citeshttps://doi.org/10.1109/tpds.2017.2780856openalex-snapshot
Distributed Convergence Detection Based on Global Residual Error Under Asynchronous Iterations
inferred← citeshttps://doi.org/10.1109/tse.2002.995416openalex-snapshot
Logical clock requirements for reverse engineering scenarios from a distributed system
inferred← citeshttps://doi.org/10.1109/wsc.1991.185669openalex-snapshot
The cost of terminating synchronous parallel discrete-event simulations
inferred← citeshttps://doi.org/10.1145/101344.101348openalex-snapshot
Notes on termination of OCCAM processes
inferred← citeshttps://doi.org/10.1145/1456190.1456201openalex-snapshot
Stopping safely hierarchical distributed components
inferred← citeshttps://doi.org/10.1145/151646.151647openalex-snapshot
The derivation of distributed termination detection algorithms from garbage collection schemes
inferred← citeshttps://doi.org/10.1145/1821748.1821838openalex-snapshot
A flexible group communication protocol with hybrid clocks
inferred← citeshttps://doi.org/10.1145/1971519.1971543openalex-snapshot
A two-layered model for scalable, heterogeneous group communications
inferred← citeshttps://doi.org/10.1145/232706.232711openalex-snapshot
Indirect distributed garbage collection
inferred← citeshttps://doi.org/10.1145/2442516.2442519openalex-snapshot
Adoption protocols for fanout-optimal fault-tolerant termination detection
inferred← citeshttps://doi.org/10.1145/2503210.2503284openalex-snapshot
A distributed dynamic load balancer for iterative applications
inferred← citeshttps://doi.org/10.1145/2517327.2442519openalex-snapshot
Adoption protocols for fanout-optimal fault-tolerant termination detection
inferred← citeshttps://doi.org/10.1145/275295.275360openalex-snapshot
Distributed termination detection in a mobile wireless network
inferred← citeshttps://doi.org/10.1145/319294.319307openalex-snapshot
What future for the distributed systems annex?
inferred← citeshttps://doi.org/10.1145/319295.319307openalex-snapshot
What future for the distributed systems annex?
inferred← citeshttps://doi.org/10.1145/3729288openalex-snapshot
CRGC: Fault-Recovering Actor Garbage Collection in Pekko
inferred← citeshttps://doi.org/10.1145/3771738openalex-snapshot
The MultiQueue: A Simple and Fast Relaxed Concurrent Priority Queue
inferred← citeshttps://doi.org/10.1145/62546.62582openalex-snapshot
Detecting stable properties of networks in concurrent logic programming languages
inferred← citeshttps://doi.org/10.1145/72551.72555openalex-snapshot
The family of concurrent logic programming languages
inferred← citeshttps://doi.org/10.1177/1094342020946814openalex-snapshot
Evaluating asynchronous Schwarz solvers on GPUs
inferred← citeshttps://doi.org/10.1184/r1/6604919openalex-snapshot
Distributed Parallel Inference on Large Factor Graphs
showing the first 200 of 226 · page through all 226
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.