3134 search results - page 8 / 627 » Embedded System Design for Network Time Synchronization |
121
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
122
Voted
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
118
Voted
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
113
click to vote
ECRTS
2003
IEEE
15 years 7 months ago
2003
IEEE
When time-triggered (TT) systems are to be deployed for large embedded real-time (RT) control systems in cars and airplanes, one way to overcome bandwidth limitations and achieve ...
115
click to vote
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
EMERALDS (Extensible Microkernel for Embedded, ReALtime, Distributed Systems) is a real-time microkernel designed for small-memory embedded applications. These applications must r...