• 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.


    Access

    Download


    Export, share and cite



    Title :

    Model checking a fault-tolerant self-stabilizing synchronization stabilizing synchronization stabilizing synchronization stabilizing synchronization stabilizing synchronization protocol for arbitrary digraphs


    Contributors:


    Publication date :

    2012-10-01


    Size :

    157194 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English