Searching for "Root Contention in IEEE 1394." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Root Contention in IEEE 1394
- …Root Contention in IEEE 1394 Marielle Stoelinga and Frits Vaandrager Computing Science Institute…
- Cited by 21 (3 self) – Add To MetaCart
-
Gambling for Leadership: Verification of Root Contention in IEEE 1394
- …Gambling for Leadership: Verication of Root Contention in IEEE 1394 Marielle Stoelinga Computing…
- Add To MetaCart
-
Model Checking for Probability and Time: From Theory to Practice
- … exclusion [55, 54], randomised consensus [4, 16], root contention in IEEE 1394 FireWire, random back…
- Cited by 29 (1 self) – Add To MetaCart
-
Quantitative Verification: Models, Techniques and Tools
- … contention in IEEE 1394 FireWire and random back-off schemes in e.g. IEEE 802.11 and Bluetooth. Probability…
- Cited by 1 (0 self) – Add To MetaCart
-
On probabilistic model checking
- …, for example in randomised leader election [38, 26], randomised consensus [3, 18] and root contention in IEEE…
- Cited by 13 (1 self) – Add To MetaCart
Showing 1 through 5.
