6456 search results - page 869 / 1292 » Constraint Solving on Terms |
193
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
205
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Resource limitations in wireless sensor networks have put stringent constraints on distributed signal processing. In this paper, we propose a cluster-based decentralized variation...
204
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Power dissipation has constrained the performance boosting of modern computer systems in the past decade. Dynamic power management has been widely applied to change the ...
187
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— A novel approach is presented which aims at building autonomously visual models of unknown objects, using a humanoid robot. Although good methods have been proposed for the spe...
205
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Wireless mesh networks are becoming prevalent in providing access infrastructure to the public. Design of such networks involve several important goals including resilience to f...