Using integer clocks to verify clock-synchronization protocols.

Xiaowan Huang Anu Singh Scott A. Smolka

Published in: Innov. Syst. Softw. Eng. (2011)

Keyphrases

power consumption
high speed
integer valued
communication protocols
cryptographic protocols
voting protocols
genetic algorithm
multimedia
website
application level
chaotic neural network
duty cycle