22 search results - page 4 / 5 » Automatic Retargeting of Binary Utilities for Embedded Code ... |
OSDI
2008
ACM
14 years 6 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
EUROSYS
2010
ACM
14 years 3 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...
CGO
2007
IEEE
14 years 19 days ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...
CSREAESA
2008
13 years 7 months ago
2008
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...
CC
1999
Springer
13 years 10 months ago
1999
Springer
In processors that do not support floating-point instructions, using ï¬xed-point arithmetic instead of floating-point emulation trades off computation accuracy for execution spe...