5241 search results - page 1 / 1049 » Embedded Programming with C |
159
Voted
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-refere...
130
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- A noble model-based programming environment of embedded software for MPSoC is proposed. By defining a common intermediate code (CIC), it separates modeling of the software and im...
156
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
118
Voted
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
192
click to vote
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...