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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:


    Erscheinungsdatum :

    01.10.2012


    Format / Umfang :

    157194 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch