7197 search results - page 148 / 1440 » On the computational power of BlenX |
70
Voted
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Procedures for Boolean satis ability most commonly work with Conjunctive Normal Form. Powerful SAT techniques based on implications and con icts can be retained when the usual CNF...
WG
2005
Springer
15 years 3 months ago
2005
Springer
Broadcast domination was introduced by Erwin in 2002, and it is a variant of the standard dominating set problem, such that vertices can be assigned various domination powers. Broa...
63
Voted
GI
2004
Springer
15 years 3 months ago
2004
Springer
: Energy is a scarce resource in wireless field bus systems. Strategies for power saving while coping with the application task are needed. This paper introduces the sendOnDelta-p...
DAC
2008
ACM
15 years 11 months ago
2008
ACM
An effective technique to save power during scan based test is to switch off unused scan chains. The results obtained with this method strongly depend on the mapping of scan flip-...
DAC
2002
ACM
15 years 11 months ago
2002
ACM
In this paper, we introduce a framework to estimate the power consumption on switch fabrics in network routers. We propose different modeling methodologies for node switches, inte...