Searching for "Timing-Based Mutual Exclusion." – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Timing-Based Mutual Exclusion
- …Timing-Based Mutual Exclusion* Nancy Lynch t Nir Shavit Abstract Known asynchronous n…
- Cited by 19 (3 self) – Add To MetaCart
-
Analysis of timing-based mutual exclusion with random times
- …–837 ANALYSIS OF TIMING-BASED MUTUAL EXCLUSION WITH RANDOM TIMES ∗ ELI GAFNI † AND MICHAEL MITZENMACHER…
- Cited by 7 (0 self) – Add To MetaCart
-
Using Simulation Techniques to Prove Timing Properties
- … for two systems, a leader election protocol for a ring of processes, and Fischer's timing-based mutual…
- Cited by 12 (1 self) – Add To MetaCart
-
Reachability Analysis of Hybrid Systems via Predicate Abstraction
- … version of Fischer's protocol for timing-based mutual exclusion. The correctness of the protocol depends…
- Cited by 35 (7 self) – Add To MetaCart
-
Light-Weight Leases for Storage-Centric Coordination
- …FS, also be capable of measuring real time passages. 2.2 Time Based Mutual Exclusion Algorithms for mutual…
- Add To MetaCart
-
Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty
- …, Cambridge, Massachusetts 02/39 A timing-based variant of the mutual exclusion problem is considered…
- Cited by 27 (11 self) – Add To MetaCart
-
Simulation Techniques For Proving Properties Of Real-Time Systems
- … of Merritt, Modugno and Tuttle [29]. I use this model to describe Fischer's timing-based mutual exclusion…
- Cited by 19 (6 self) – Add To MetaCart
-
Event-Clock Automata: A Determinizable Class of Timed Automata
- … such as the railroad-gate controller and timing-based mutual-exclusion algorithms that appear in the literature on real-time…
- Cited by 59 (1 self) – Add To MetaCart
-
A user guide to HYTECH
- … in [NOSY93]. Fischer's timing-based mutual exclusion protocol is considered in [AHH93]. The paper [HH95b…
- Cited by 118 (3 self) – Add To MetaCart
-
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
- … examples, including a simple timeout-based failure detection algorithm and a timing-based mutual exclusion…
- Cited by 23 (11 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
