1145 search results - page 2 / 229 » The Correctness of an Optimized Code Generation |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Abstract The optimal one-error-correcting codes of length 13 that are doubly shortened perfect codes are classified utilizing the results of [
ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations of opera...
CGO
2005
IEEE
13 years 11 months ago
2005
IEEE
Data speculative optimization refers to code transformations that allow load and store instructions to be moved across potentially dependent memory operations. Existing research w...
CORR
1999
Springer
13 years 5 months ago
1999
Springer
: This paper computationally obtains optimal bounded-weight, binary, error-correcting codes for a variety of distance bounds and dimensions. We compare the sizes of our codes to th...
ENTCS
2002
13 years 5 months ago
2002
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...