Pages that link to "Item:Q1331790"
From MaRDI portal
The following pages link to Detecting causal relationships in distributed computations: In search of the holy grail (Q1331790):
Displaying 33 items.
- On the diversity of asynchronous communication (Q315311) (← links)
- From the happened-before relation to the causal ordered set abstraction (Q433461) (← links)
- Data-stream-based global event monitoring using pairwise interactions (Q436782) (← links)
- Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations) (Q442277) (← links)
- Efficient online algorithm for identifying useless states in distributed systems (Q658673) (← links)
- Communication patterns in distributed computations (Q701162) (← links)
- Event monitoring of parallel computations (Q747489) (← links)
- A framework for viewing atomic events in distributed computations (Q1128710) (← links)
- An algorithm for finding the causal distributed breakpoint (Q1370846) (← links)
- Shared global states in distributed computations (Q1384536) (← links)
- On the minimal information to encode timestamps in distributed computations. (Q1853128) (← links)
- Abstractions for fault-tolerant global computing (Q1881258) (← links)
- Concise version vectors in WinFS (Q1954242) (← links)
- Byzantine-tolerant causal broadcast (Q1981768) (← links)
- Causal computational complexity of distributed processes (Q2112798) (← links)
- Precision, recall, and sensitivity of monitoring partially synchronous distributed programs (Q2241299) (← links)
- Crash-tolerant causal broadcast in \(O(n)\) messages (Q2274523) (← links)
- Formalization of Habanero phasers using Coq (Q2360652) (← links)
- Reasoning about non-immediate triggers in biological networks (Q2426107) (← links)
- Asynchronous message orderings beyond causality (Q3300832) (← links)
- A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition (Q3408177) (← links)
- Consistency verification in transaction-based optimistic steering of distributed computations (Q3437343) (← links)
- Understanding Distributed Program Behavior Using a Multicast Communication Scheme (Q3613478) (← links)
- Calculs approchés de la borne inférieure de valeurs réparties (Q4380554) (← links)
- (Q5091096) (← links)
- Causal behaviours and nets (Q5096367) (← links)
- Necessary and sufficient conditions on information for causal message ordering and their optimal implementation (Q5137351) (← links)
- Causality tracking in causal message-logging protocols (Q5138366) (← links)
- The power of logical clock abstractions (Q5138510) (← links)
- GUARANTEED MUTUALLY CONSISTENT CHECKPOINTING IN DISTRIBUTED COMPUTATIONS (Q5249033) (← links)
- Computational Science - ICCS 2004 (Q5712876) (← links)
- Efficient detection of restricted classes of global predicates (Q6084564) (← links)
- Detecting causality in the presence of Byzantine processes: the case of synchronous systems (Q6647755) (← links)