16994 search results - page 267 / 3399 » Improving the Performance of maxRPC |
160
click to vote
SAT
2004
Springer
16 years 13 hour ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
141
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
The objective of this paper is to present an infrastructure IP (I-IP) designed to characterize yield loss in the process back-end. The I-IP structure is described in using a botto...
141
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a system for performing high precision IDDQ measurement of CMOS ICs having a large peak current during operation. Although the measurement rate is at a low sp...
180
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Particle swarm optimization (PSO) is a new evolutionary computation technique. Although PSO algorithm possesses many attractive properties, the methods of selecting inert...
133
click to vote
ICIAP
1999
ACM
15 years 11 months ago
1999
ACM
A fully parallel iterative thinning algorithm called MB2 is presented. It favourably competes with the best known algorithms regarding homotopy, mediality; thickness, rotation inv...