5241 search results - page 1 / 1049 » Embedded Programming with C |
APSEC
2004
IEEE
13 years 8 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...
ASPDAC
2007
ACM
13 years 8 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...
WORDS
2005
IEEE
13 years 10 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 ...
PLDI
2003
ACM
13 years 10 months ago
2003
ACM
ESOP
2011
Springer
12 years 8 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 ...