385 search results - page 17 / 77 » Verified Code Generation for Embedded Systems |
128
click to vote
CSREAESA
2008
15 years 3 months ago
2008
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...
124
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
135
click to vote
SEW
2007
IEEE
15 years 8 months ago
2007
IEEE
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
105
click to vote
IEEECIT
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper proposes a new visual modeling environment for embedded component systems that improves the productivity of application developers. This embedded component system decre...
144
click to vote
PPPJ
2009
ACM
15 years 6 months ago
2009
ACM
The usage of cellular phones, PDAs, and other mobile devices has increased dramatically over the past ten years. Java is targeted to be one of the most popular execution environme...