3134 search results - page 8 / 627 » Embedded System Design for Network Time Synchronization |
139
click to vote
FM
2003
Springer
15 years 9 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...
138
click to vote
ICSEA
2006
IEEE
15 years 10 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....
140
click to vote
DATE
2005
IEEE
15 years 10 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...
129
click to vote
ECRTS
2003
IEEE
15 years 9 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 ...
130
click to vote
RTCSA
1999
IEEE
15 years 8 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...