A Formally Verifiable Algorithm for Clock Synchronization under a Hybrid Fault Model.

Published in: PODC (1994)

Keyphrases

preprocessing
learning algorithm
cost function
optimal solution
computational complexity
search space
objective function
dynamic programming
k means
segmentation algorithm
detection algorithm
matching algorithm
np hard
state space
high speed
optimization algorithm
tree structure
power consumption