Sciweavers

46 search results - page 10 / 10
» Iterative algorithms for formal verification of embedded rea...
Sort
View
CODES
2007
IEEE
14 years 15 days ago
Locality optimization in wireless applications
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
Javed Absar, Min Li, Praveen Raghavan, Andy Lambre...