Local oscillators/hardware clocks operate at slightly different rates, thus, they drift apart over time. Local logical clocks, i.e., timers/counters, may start at different initial values. The synchronization problem is to adjust the values of the local logical clocks so that nodes achieve synchronization and remain synchronized despite the drift of their local oscillators.
Model checking a fault-tolerant self-stabilizing synchronization stabilizing synchronization stabilizing synchronization stabilizing synchronization stabilizing synchronization protocol for arbitrary digraphs
01.10.2012
157194 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch