16725 search results - page 3235 / 3345 » Engineering Software Correctness |
113
click to vote
LCTRTS
2009
Springer
15 years 9 months ago
2009
Springer
Multicores are becoming ubiquitous, not only in general-purpose but also embedded computing. This trend is a reflexion of contemporary embedded applications posing steadily incre...
143
click to vote
LCTRTS
2009
Springer
15 years 9 months ago
2009
Springer
Dynamic binary translation (DBT) can provide security, virtualization, resource management and other desirable services to embedded systems. Although DBT has many benefits, its r...
125
Voted
LCTRTS
2009
Springer
15 years 9 months ago
2009
Springer
Register allocation is often a two-phase approach: spilling of registers to memory, followed by coalescing of registers. Extreme liverange splitting (i.e. live-range splitting aft...
140
Voted
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...
100
click to vote
IEEEPACT
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—As programmers are asked to manage more complicated parallel machines, it is likely that they will become increasingly dependent on tools such as multi-threaded data rac...