1145 search results - page 5 / 229 » The Correctness of an Optimized Code Generation |
CODES
2001
IEEE
13 years 11 months ago
2001
IEEE
CGO
2004
IEEE
13 years 11 months ago
2004
IEEE
Traditionally, software pipelining is applied either to the innermost loop of a given loop nest or from the innermost loop to the outer loops. In a companion paper, we proposed a ...
TC
2008
13 years 7 months ago
2008
Proper data placement schemes based on erasure correcting code are one of the most important components for a highly available data storage system. For such schemes, low decoding ...
ICC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Modern layered or scalable video coding technologies generate a video bit stream with various inter layer dependencies due to references between the layers. This work p...
ASM
2004
ASM
14 years 27 days ago
2004
ASM
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...