1329 search results - page 227 / 266 » Constraint-based model synthesis |
109
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper proposes a yield optimization method for standard-cells under timing constraints. Yield-aware logic synthesis and physical optimization require yield-enhanced standard ...
104
click to vote
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
— A new biped gait generation and optimization method is proposed in the frame of Estimation of Distribution Algorithms (EDAs) with Q-learning method. By formulating the biped ga...
102
click to vote
CHES
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
139
click to vote
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
129
click to vote
CVPR
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we propose an algorithm for estimating dense depth information of dynamic scenes from multiple video streams captured using unsynchronized stationary cameras. We so...