799 search results - page 14 / 160 » Generating Reliable Code from Hybrid-Systems Models |
ICASSP
2007
IEEE
14 years 4 months ago
2007
IEEE
Generally, Distributed video coding (DVC) schemes perform motion estimation at the decoder side, without the current frame being available. In order to generate the side-informati...
ISVLSI
2007
IEEE
14 years 4 months ago
2007
IEEE
Contemporary SoC design involves the proper selection of cores from a reference platform. Such selection implies the design exploration of alternative CPUs, which requires the gen...
ECEASST
2010
13 years 7 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
ANLP
1994
13 years 11 months ago
1994
A new technique to locate content-representing words for a given document image using representation of character shapes is described. A character shape code representation define...
ISCA
2007
IEEE
14 years 4 months ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...