clock synchronization protocol

36

ENTCS
2006

122views more ENTCS 2006»

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

13 years 11 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 »

55

click to vote

ALGORITHMICA
2007

132views more ALGORITHMICA 2007»

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

13 years 11 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 »

36

click to vote

FM
2009
Springer

163views Formal Methods» more FM 2009»

Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks

14 years 3 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 »

30

click to vote

IPPS
2007
IEEE

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

Almost Peer-to-Peer Clock Synchronization

14 years 5 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