10891 search results - page 308 / 2179 » Combining Model Reductions |
148
click to vote
ICPADS
2008
IEEE
15 years 11 months ago
2008
IEEE
The need to parallelise desktop applications is becoming increasingly essential with the mainstream adoption of multi-cores. In object-oriented languages, sequential iterators han...
149
click to vote
ICIP
2006
IEEE
15 years 10 months ago
2006
IEEE
Cued Speech is a specific visual coding that complements oral language lip-reading, by adding static hand gestures (a static gesture can be presented on a single photograph as it ...
117
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
—Noise-tolerant XOR-based conditional keeper for high fan-in dynamic circuits is presented in this paper. Noise immunity is enhanced by conditionally turning on the conditional k...
122
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we extend our previous result on reusing shooting paths when dealing with moving light sources in radiosity to the final gathering step algorithm, which co...