1715 search results - page 45 / 343 » Embedded Systems and Real-Time Programming |
ICALP
1995
Springer
15 years 5 months ago
1995
Springer
130
click to vote
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
150
click to vote
CSREAESA
2006
15 years 2 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
148
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
118
click to vote
RTAS
2007
IEEE
15 years 7 months ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...