878 search results - page 40 / 176 » A systematic approach to software peripherals for embedded s... |
156
click to vote
AVI
2006
15 years 7 months ago
2006
Researchers have explored the design of ambient information systems across a wide range of physical and screen-based media. This work has yielded rich examples of design approache...
166
click to vote
KBSE
2009
IEEE
16 years 27 days ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
141
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
163
click to vote
RTCSA
2006
IEEE
16 years 5 days ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
199
click to vote
DATE
2004
IEEE
15 years 10 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...