202 search results - page 9 / 41 » Functional Test Generation Using Efficient Property Clusteri... |
128
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the ...
119
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
Recently, intellectual property protection (IPP) techniques attracted a great deal of attention from semiconductor, system integration and software companies. A number of watermar...
143
Voted
JMLR
2010
14 years 10 months ago
2010
In recent years, a fundamental problem structure has emerged as very useful in a variety of machine learning applications: Submodularity is an intuitive diminishing returns proper...
127
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Maximin strategy has its origin in game theory, but it can be adopted for effective multiobjective optimization. This paper proposes a particle swarm multiobjective optimiser, max...
165
Voted
EC
2010
15 years 1 months ago
2010
Estimation of distribution algorithms (EDAs) that use marginal product model factorizations have been widely applied to a broad range of, mainly binary, optimization problems. In ...