1140 search results - page 4 / 228 » Embedded Software: Better Models, Better Code |
CODES
2000
IEEE
13 years 10 months ago
2000
IEEE
This paperpresents the Compaantool that automatically transforms a nestedloopprogram written in Matlab into a processnetwork speciļ¬cation. The processnetworkmodelof computationļ...
TPHOL
2009
IEEE
14 years 13 days ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and veriļ¬cation. Instead, they have relaxed memory mode...
SEFM
2009
IEEE
14 years 16 days ago
2009
IEEE
āIncreasingly, tools and their underlying theories are able to cope with āreal codeā written as part of industrial grade applications almost as is. It has been our experience...
CODES
1997
IEEE
13 years 10 months ago
1997
IEEE
ā Retargetability of embedded system descriptions not only enables better exploration of the design space and evaluation of cost/performance tradeoffs but also enhances design ma...
CODES
2008
IEEE
14 years 8 days ago
2008
IEEE
Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation alg...