9477 search results - page 1821 / 1896 » Design is as Easy as Optimization |
160
click to vote
MICRO
2006
IEEE
16 years 4 days ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
168
click to vote
RTCSA
2006
IEEE
16 years 4 days ago
2006
IEEE
To support high-performance and low-power for multimedia applications and for hand-held devices, embedded VLIW DSP processors are of research focus. With the tight resource constr...
167
click to vote
ADHOCNOW
2006
Springer
16 years 4 days ago
2006
Springer
Flash memory is often the technology of choice for sensor networks because of its cost-effectiveness and attractive energy properties. In storage-constrained sensor network applica...
207
click to vote
ACL2
2006
ACM
16 years 3 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
170
click to vote
CASES
2006
ACM
16 years 3 days ago
2006
ACM
A Java bytecode-to-C ahead-of-time compiler (AOTC) can improve the performance of a Java virtual machine (JVM) by translating bytecode into C code, which is then compiled into mac...