1921 search results - page 253 / 385 » Making AC-3 an Optimal Algorithm |
130
click to vote
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a pipelined architecture of a modular Montgomery multiplier, which is suitable to be used in public key coprocessors. Starting from a baseline implementation o...
128
click to vote
DASFAA
2006
IEEE
15 years 6 months ago
2006
IEEE
Sensor networks are multi-hop wireless networks of resource constrained sensor nodes used to realize high-level collaborative sensing tasks. To query and access data generated and ...
129
Voted
ACSD
2007
IEEE
15 years 4 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
142
Voted
MASCOTS
2010
15 years 4 months ago
2010
Execution and communication traces are central to performance modeling and analysis. Since the traces can be very long, meaningful compression and extraction of representative beha...
148
Voted
MEDIAFORENSICS
2010
15 years 4 months ago
2010
In this paper, we propose a practical approach to minimizing embedding impact in steganography based on syndrome coding and trellis-coded quantization and contrast its performance...