44 search results - page 3 / 9 » Single-Pass Redundancy Addition and Removal |
CGO
2003
IEEE
13 years 9 months ago
2003
IEEE
Existing profile-guided partial redundancy elimination (PRE) methods use speculation to enable the removal of partial redundancies along more frequently executed paths at the expe...
RTA
1993
Springer
13 years 9 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
DAGM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Image fusion in high-resolution aerial imagery poses a challenging problem due to fine details and complex textures. In particular, color image fusion by using virtual or...
VTC
2010
IEEE
13 years 3 months ago
2010
IEEE
— In this paper we propose joint optimisation of soft-bit assisted iterative joint source and channel decoding with the aid of our proposed EXIT chart optimised redundant source ...
DKE
2007
13 years 5 months ago
2007
We are interested in specifying functional dependencies (FDs) for data-centric XML documents (XML documents that are used mainly for data storage). FDs are a natural constraint. S...