3134 search results - page 11 / 627 » Embedded System Design for Network Time Synchronization |
101
click to vote
TPDS
2008
14 years 11 months ago
2008
Recent technological advances have opened up a wide range of distributed real-time applications involving battery-driven embedded devices with local processing and wireless communi...
ICESS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
118
click to vote
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Time synchronization is an essential service in distributed computing and control systems. It is used to enable tasks such as synchronized data sampling and accurate time-offlight...
RTAS
2007
IEEE
15 years 5 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
115
click to vote
SDL
2007
15 years 14 days ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...