3730 search results - page 601 / 746 » Robust design of embedded systems |
142
click to vote
HASE
2007
IEEE
16 years 7 days ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
155
click to vote
EMSOFT
2007
Springer
16 years 2 days ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
164
click to vote
IESS
2007
Springer
16 years 1 days ago
2007
Springer
The stringent performance constraints and short time to market of modern digital systems require automatic methods for design of high performance applicationspecific architectures...
141
click to vote
ISSAC
2007
Springer
16 years 1 days ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
143
click to vote
MODELS
2007
Springer
16 years 1 days ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...