<--- Back to Details
First PageDocument Content
Computing / Telecommunications engineering / Computer networking / Synchronization / Wireless ad-hoc network / Sensor node / ANT / Transmission Control Protocol / Clock synchronization / Wireless sensor network / Wireless networking / Technology
Date: 2014-06-17 06:05:11
Computing
Telecommunications engineering
Computer networking
Synchronization
Wireless ad-hoc network
Sensor node
ANT
Transmission Control Protocol
Clock synchronization
Wireless sensor network
Wireless networking
Technology

Time Synchronization in Hierarchical TESLA Wireless Sensor Networks

Add to Reading List

Source URL: www.inl.gov

Download Document from Source Website

File Size: 140,20 KB

Share Document on Facebook

Similar Documents

Overview Representation Synchronization Synthesis

DocID: 1xVLV - View Document

Theoretical computer science / Mathematics / Logic in computer science / Proof theory / Programming language semantics / Metalogic / Model theory / Symbol / Net / Constructible universe / Sequent / Permutation

From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4

DocID: 1xVyQ - View Document

Concurrency control / Computing / Computer architecture / Computer programming / Synchronization / Linearizability / Memory barrier / Parallel computing / Mutual exclusion / Critical section / Lock / Thread

Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam Rinetzky

DocID: 1xVip - View Document

Electrical engineering / Network flow problem / Clock synchronization / Clocks / Synchronization / Distributed computing / Clock skew / Time-Triggered Protocol / Distributed algorithm / Flow network / Physics / Electromagnetism

Theory of Computing Systems manuscript No. (will be inserted by the editor) Self-stabilizing Byzantine Clock Synchronization with Optimal Precision Pankaj Khanchandani · Christoph Lenzen

DocID: 1xUPN - View Document

Mathematics / Formal languages / Temporal logic / Syntax / Metalogic / Logic / Metaphilosophy / Model theory / Linear temporal logic / Interpretation / Computation tree logic / Variable

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

DocID: 1xTqp - View Document