385 search results - page 41 / 77 » Verified Code Generation for Embedded Systems |
196
click to vote
SIGCSE
2006
ACM
15 years 8 months ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
101
click to vote
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
106
click to vote
LCTRTS
2005
Springer
15 years 7 months ago
2005
Springer
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
131
click to vote
RSP
2003
IEEE
15 years 7 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
161
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...