3146 search results - page 202 / 630 » The use of compiler optimizations for embedded systems softw... |
197
click to vote
ECRTS
2005
IEEE
16 years 2 days ago
2005
IEEE
We present a wait-free protocol for the single-writer, multiple-reader problem in small-memory, embedded real-time systems. We analytically establish that our protocol requires le...
247
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
186
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
The memory subsystem is a major contributor to the performance, power, and area of complex SoCs used in feature rich multimedia products. Hence, memory architecture of the embedded...
207
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
182
click to vote
RTAS
2007
IEEE
16 years 22 days ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...