5111 search results - page 702 / 1023 » The Embedded Systems Design Challenge |
158
click to vote
HASE
2007
IEEE
16 years 1 months 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...
175
click to vote
EMSOFT
2007
Springer
16 years 27 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 ...
160
click to vote
ISSAC
2007
Springer
16 years 27 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...
155
Voted
MODELS
2007
Springer
16 years 26 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...
193
click to vote
NBIS
2007
Springer
16 years 26 days ago
2007
Springer
In ubiquitous computing environment, people carrying their mobile devices (eg., mobile phone, PDA, embedded devices) expect to access locally hosted services or resources anytime, ...