|
A type of network Protocol that allows nodes to contend for network access. That is, two or more nodes may try to send messages across the network simultaneously. The ContentionProtocol defines what happens when this occurs. ... Please note that any user can change the contents of pages on this site, ... Last edited on Tuesday,
|
www.wlug.org.nz/ContentionProtocol
www.wlug.org.nz/ContentionProtocol
|
|
|
|
CiteSeerX - Document Details (Isaac Councill, Lee Giles): This paper reports a mechanical verification of the IEEE 1394 root contention protocol. This is an industrial leader election protocol, in which timing parameters play an essential role. ... 2 SubPHY Root Contention, Overhead transparencies – LaFollette - 1997...
|
citeseer.ist.psu.edu/308129.html
|
|
|
CiteSeerX - Document Details (Isaac Councill, Lee Giles): The IEEE 1394 Root Contention Protocol is an industrial leader election algorithm for two processes in which probability, real{time and parameters play an important role. ... 7 Mechanical veri of the IEEE 1394a root contention protocol using Uppaal2k – Simons,
|
citeseer.ist.psu.edu/709673.html
|
|
This paper presents an application of mechanical verification using LPMC, a new version of the PMC model checker tool. ... H. Toetenel, R.L. Spelberg, G. Bandini, "Parametric verification of the IEEE 1394a Root Contention protocol using LPMC," Real-Time Computing Systems and Applications, International Workshop on, pp.
|
csdl.computer.org/comp/proceedings/rtcsa/2000/0930/00/0...
csdl.computer.org/comp/proceedings/rtcsa/2000/0930/00/09300207abs.htm
|
|
rdfs:label Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. (xsd:string)
|
dblp.l3s.de/d2r/resource/publications/journals/entcs/Da...
dblp.l3s.de/d2r/resource/publications/journals/entcs/DawsKN02
|
|
rdfs:label Application of Parametric Model Checking - The Root Contention Protocol. (xsd:string)
|
dblp.l3s.de/d2r/resource/publications/conf/hicss/Bandin...
dblp.l3s.de/d2r/resource/publications/conf/hicss/BandiniSRT01
|
|
Contention based protocol - Wikipedia, the free encyclopedia
A contention-based protocol (CBP) is a communications protocol for operating wireless telecommunication equipment that allows many users to use the same radio channel without pre-coordination. The "...
en.wikipedia.org/wiki/Contention_based_protocol
|
CiteSeerX - Document Details (Isaac Councill, Lee Giles): We report about the reachability analysis of fully parametrized models of the IEEE 1394 root contention protocol. This protocol uses timing constraints in order to elect a leader. ... 7 Mechanical veri of the IEEE 1394a root contention protocol using Uppaal2k – Simons,
|
citeseer.ist.psu.edu/490990.html
|
|
We focus on the modeling and the automatic verification of a protocol contained in the IEEE 1394 standard, the Root Contention protocol. The Root Contention protocol involves both real-time and randomization.
|
portal.acm.org/citation.cfm?id=820825
|
|
