3056 search results - page 111 / 612 » Compiling Embedded Languages |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
Over the past several decades, the compiler research community has developed a number of sophisticated and powerful algorithms for a varierty of code improvements. While there are...
IEEEPACT
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
ASPDAC
2004
ACM
14 years 1 months ago
2004
ACM
— The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting their special architecture features. Beside the ...