385 search results - page 26 / 77 » Verified Code Generation for Embedded Systems |
121
click to vote
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
104
click to vote
AINA
2008
IEEE
15 years 8 months ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
106
click to vote
IESS
2007
Springer
15 years 8 months ago
2007
Springer
Changing demands, software evolution, and bug fixes require the possibility to update applications as well as system software of embedded devices. Systems that perform updates of ...
104
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Embedded software continues to play an ever increasing role in the design of complex embedded applications. In part, the elevel of abstraction provided by a high-level programming...
123
click to vote
RSP
2007
IEEE
15 years 8 months ago
2007
IEEE
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...