10891 search results - page 422 / 2179 » Combining Model Reductions |
141
click to vote
GLVLSI
2007
IEEE
16 years 15 days ago
2007
IEEE
Parallel counters are key elements in many arithmetic circuits, especially fast multipliers. In this paper, novel architectures and designs for high speed, low power (3, 2), (7, 3...
128
click to vote
ICMCS
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper describes a study of automatically identifying whispering speakers. People usually whisper in order to avoid being identified or overheard by lowering their voices. Th...
147
click to vote
CP
2007
Springer
16 years 10 days ago
2007
Springer
We introduce a definition of constraint symmetry for soft CSPs, based on the definition of constraint symmetry for classical CSPs. We show that the constraint symmetry group of a...
161
click to vote
VMCAI
2007
Springer
16 years 8 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
144
click to vote
DATE
2006
IEEE
16 years 6 days ago
2006
IEEE
Using additional store-checkpoinsts (SCPs) and compare-checkpoints (CCPs), we present an adaptive checkpointing for double modular redundancy (DMR) in this paper. The proposed app...