1381 search results - page 171 / 277 » Computational Complexity of Constraint Satisfaction |
140
Voted
ICCAD
2004
IEEE
16 years 28 days ago
2004
IEEE
—In this paper, we present a new block budgeting algorithm which speeds up timing closure in timing driven hierarchical flows. After a brief description of the addressed flow, ...
134
click to vote
CONSTRAINTS
2007
15 years 4 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
143
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Modeling communications in wireless networks is a challenging task since it asks for a simple mathematical object on which efficient algorithms can be designed, but that must also...
148
click to vote
DEBS
2008
ACM
15 years 5 months ago
2008
ACM
Availability of an overlay network is a necessary condition for event delivery in event based systems. The availability of the overlay links depends on the underlying physical net...
129
Voted
EUROGRAPHICS
2010
Eurographics
16 years 1 months ago
2010
Eurographics
Automatic camera control for scenes depicting human motion is an imperative topic in motion capture base animation, computer games, and other animation based fields. This challen...