3317 search results - page 31 / 664 » Strategies in Rigid-Variable Methods |
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
This paper presents a chip-level charged device model (CDM) electrostatic discharge (ESD) simulation method. The chip-level simulation is formulated as a DC analysis problem. A ne...
SACRYPT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We use the specific structure of the inputs to the cofactorization step in the general number field sieve (GNFS) in order to optimize the runtime for the cofactorizatio...
TIME
2005
IEEE
14 years 2 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
The companion paper [2] derives an algorithm that determines the external wrenches consistent with constraints on the contact interactions between two rigid planar bodies. In this...
FUIN
2000
13 years 8 months ago
2000
The watershed transform is the method of choice for image segmentation in the field of mathematical morphology. We present a critical review of several definitions of the watershed...