Searching for "Real-Time Leader Election." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Real-time Leader Election
- …Real-time Leader Election * Gurdip Singh Department of Computing and Information Sciences 234…
- Cited by 1 (0 self) – Add To MetaCart
-
unknown title
- … is the real-time leader election prob- lem. In this paper we give two protocols which solve this problem…
- Add To MetaCart
-
Tabled Resolution and Constraints for Model Checking Real-Time Systems and Infinite-State Systems
- … is nite. We illustrate this capability on a real-time version of the leader election protocol. XMC/RT can…
- Add To MetaCart
-
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
- … version [26,18] to analyze the IEEE 1394 root contention protocol [12,13], a real{time leader election…
- Cited by 18 (0 self) – Add To MetaCart
-
Parameterized Reachability Analysis of the IEEE 1394 Root Contention Protocol using TReX
- … protocol [1] is a such case study. It is a real-time leader election protocol for two processes, used…
- Cited by 6 (0 self) – Add To MetaCart
-
Software Tools for Technology Transfer manuscript No.
- … version [26,18] to analyze the IEEE 1394 root contention protocol [12,13], a real{time leader election…
- Add To MetaCart
Showing 1 through 6.
