clock synchronization protocol

19

ENTCS
2006

122views more ENTCS 2006»

Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools

13 years 5 months ago

We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...

Damián Barsotti, Leonor Prensa Nieto, Alwen...

claim paper

Read More »

22

click to vote

ALGORITHMICA
2007

132views more ALGORITHMICA 2007»

On the Feasibility of Time Estimation under Isolation Conditions in Wireless Sensor Networks

13 years 5 months ago

Download people.csail.mit.edu

We study the problem of providing a sensor with an accurate estimate of the time, from a novel perspective which is complementary to the well-studied clock synchronization problem....

Daniela Tulone

claim paper

Read More »

16

click to vote

FM
2009
Springer

163views Formal Methods» more FM 2009»

Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks

13 years 9 months ago

Download www.mbsd.cs.ru.nl

We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...

Faranak Heidarian, Julien Schmaltz, Frits W. Vaand...

claim paper

Read More »

11

click to vote

IPPS
2007
IEEE

100views Distributed And Parallel Com...» more IPPS 2007»

Almost Peer-to-Peer Clock Synchronization

13 years 11 months ago

Download www.cecs.uci.edu

In this paper, an almost peer-to-peer (AP2P) clock synchronization protocol is proposed. AP2P is almost peer-topeer in the sense that it provides the desirable features of a purel...

Ahmed Sobeih, Michel Hack, Zhen Liu, Li Zhang

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers