229 search results - page 25 / 46 » Value-sensitive automatic code specialization for embedded s... |
RTCSA
2006
IEEE
15 years 3 months 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...
JSS
2002
14 years 9 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
CASES
2004
ACM
15 years 1 months ago
2004
ACM
With the ever-increasing pervasiveness of the Internet and its stringent performance requirements, network system designers have begun utilizing specialized chips to increase the ...