562 search results - page 53 / 113 » Address Code and Arithmetic Optimizations for Embedded Syste... |
140
click to vote
CODES
2008
IEEE
15 years 12 months ago
2008
IEEE
The compositional computation of Pareto points in multi-dimensional optimization problems is an important means to efficiently explore the optimization space. This paper presents ...
148
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
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...
169
click to vote
HPDC
2000
IEEE
15 years 10 months ago
2000
IEEE
The dQUOB system satis es client need for speci c information from high-volume data streams. The data streams we speak of are the ow of data existing during large-scale visualizat...
145
click to vote
ICCD
2008
IEEE
16 years 2 months ago
2008
IEEE
—This paper presents a high-performance parallel context-based adaptive length coding (CAVLC) encoder implemented on a fine-grained many-core system. The software encoder is desi...
157
click to vote
SAT
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...