16725 search results - page 2880 / 3345 » Engineering Software Correctness |
188
click to vote
LCTRTS
2005
Springer
16 years 10 days ago
2005
Springer
Dictionary compression mechanisms identify redundant sequences of instructions that occur in a program. The sequences are extracted and copied to a dictionary. Each sequence is th...
182
click to vote
LCTRTS
2005
Springer
16 years 10 days ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
289
click to vote
LCTRTS
2005
Springer
16 years 10 days ago
2005
Springer
Short vector (SIMD) instructions are useful in signal processing, multimedia, and scientific applications. They offer higher performance, lower energy consumption, and better res...
169
click to vote
LCTRTS
2005
Springer
16 years 10 days ago
2005
Springer
Knuth’s buddy system is an attractive algorithm for managing storage allocation, and it can be made to operate in real-time. At some point, storage-management systems must eithe...
178
Voted
LCTRTS
2005
Springer
16 years 10 days 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...