1552 search results - page 144 / 311 » On the Complexity of Constant Propagation |
158
click to vote
JSAT
2008
15 years 6 months ago
2008
We show how to exploit the 32/64 bit architecture of modern computers to accelerate some of the algorithms used in satisfiability solving by modifying assignments to variables in ...
165
click to vote
KAIS
2006
15 years 6 months ago
2006
Semi-structured information in XML can be merged in a logic-based framework [Hun02, Hun02b]. This framework has been extended to deal with uncertainty, in the form of probability ...
144
click to vote
TIT
2008
15 years 6 months ago
2008
In this paper, redundant random ensembles are defined and their average stopping set (SS) weight distributions are analyzed. A redundant random ensemble consists of a set of binar...
173
click to vote
TVLSI
2002
15 years 6 months ago
2002
Gate diffusion input (GDI)--a new technique of low-power digital combinatorial circuit design--is described. This technique allows reducing power consumption, propagation delay, an...
140
click to vote
VC
2010
15 years 4 months ago
2010
Abstract Digital holography is a technology with a potential to provide realistic 3D images. However, generation of digital holograms is a computationally demanding task. Thus, the...