Pages that link to "Item:Q1142590"
From MaRDI portal
The following pages link to Termination detection for diffusing computations (Q1142590):
Displaying 44 items.
- A loop-free shortest-path routing algorithm for dynamic networks (Q385951) (← links)
- On termination detection in crash-prone distributed systems with failure detectors (Q436803) (← links)
- Extending the DEVS formalism for massively parallel simulation (Q686332) (← links)
- The distributed simulation of clustered processes (Q757100) (← links)
- Some aspects of parallel and distributed iterative algorithms - a survey (Q805158) (← links)
- On the algebraic theory of loop free routing (Q832107) (← links)
- Asynchronous distributed termination-parallel and symmetric solutions with echo algorithms (Q911262) (← links)
- Safe termination detection in an asynchronous distributed system when processes may crash and recover (Q1004324) (← links)
- On distributed search (Q1068555) (← links)
- Distributed termination on a ring (Q1077154) (← links)
- A distributed algorithm for distributed termination (Q1098278) (← links)
- A fully distributed termination detection scheme (Q1111366) (← links)
- Dual coordinate step methods for linear network flow problems (Q1115790) (← links)
- Ring based termination detection algorithm for distributed computations (Q1124323) (← links)
- Distributed processing of graphs: Fundamental cycles algorithm (Q1186357) (← links)
- Operational specification with joint actions: Serializable databases (Q1193603) (← links)
- A parallel algorithm for finding a blocking flow in an acyclic network (Q1263969) (← links)
- A principle for sequential reasoning about distributed algorithms (Q1346611) (← links)
- Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP (Q1822234) (← links)
- Pseudosimulation: an algorithm for distributed simulation with limited memory (Q1822491) (← links)
- A distributed solution of the distributed termination problem (Q1838283) (← links)
- An efficient distributed bridge-finding algorithm (Q1894245) (← links)
- A framework for automated distributed implementation of component-based models (Q1938379) (← links)
- Unifying stabilization and termination in message-passing systems (Q1953246) (← links)
- The doomsday distributed termination detection protocol (Q1954217) (← links)
- A family of optimal termination detection algorithms (Q1954237) (← links)
- Preserving stabilization while \textit{practically} bounding state space using incorruptible partially synchronized clocks (Q2204779) (← links)
- Unicorn: parallel adaptive finite element simulation of turbulent flow and fluid-structure interaction for deforming domains and complex geometry (Q2446651) (← links)
- Simulating asynchronous hardware on multiprocessor platforms: The case of AMULET1 (Q2744782) (← links)
- Shortest, Fastest, and Foremost Broadcast in Dynamic Networks (Q2947805) (← links)
- (Q2980978) (← links)
- Consistency verification in transaction-based optimistic steering of distributed computations (Q3437343) (← links)
- A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols (Q3460215) (← links)
- (Q3681916) (← links)
- On the memory overhead of distributed snapshots (Q4262691) (← links)
- Calculs approchés de la borne inférieure de valeurs réparties (Q4380554) (← links)
- A METHOD OF TERMINATING ASYNCHRONOUS ITERATIVE ALGORITHMS ON MESSAGE PASSING SYSTEMS (Q4820173) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
- Efficient detection of a class of stable properties (Q5136981) (← links)
- Strong stable properties in distributed systems (Q5136983) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
- On the Internet routing protocol Enhanced Interior Gateway Routing Protocol: is it optimal? (Q5449875) (← links)
- An efficient parallel termination detection algorithm (Q5481723) (← links)
- Reducing the number of messages in self-stabilizing protocols (Q6536331) (← links)