1814 search results - page 301 / 363 » Improved Results on Geometric Hitting Set Problems |
144
Voted
FMCAD
2009
Springer
16 years 21 days ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
169
click to vote
FSKD
2009
Springer
16 years 21 days ago
2009
Springer
Usually a meaningful web topic has tens of thousands of comments, especially the hot topics. It is valuable if we congregate the comments into clusters and find out the mainstrea...
153
click to vote
IWOCA
2009
Springer
16 years 20 days ago
2009
Springer
The construction of covering arrays with the fewest rows remains a challenging problem. Most computational and recursive constructions result in extensive repetition of coverage. W...
133
Voted
ASPDAC
2009
ACM
16 years 19 days ago
2009
ACM
— 1In this paper, we will present a placement method for analog circuits. We consider both common centroid and 1-D symmetry constraints, which are the two most common types of pl...
143
click to vote
ICDCS
2008
IEEE
16 years 17 days ago
2008
IEEE
In a realistic sensor network, in particular with a nonuniform deployment, sensor nodes inevitably have varying workloads. This causes a natural problem that some sensor nodes are...