3038 search results - page 294 / 608 » Industrial evolutionary computing |
178
Voted
FPGA
2009
ACM
16 years 28 days ago
2009
ACM
We describe an optimization method for combinational and sequential logic networks, with emphasis on scalability and the scope of optimization. The proposed resynthesis (a) is cap...
164
Voted
ISORC
2009
IEEE
16 years 24 days ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
162
click to vote
SAT
2009
Springer
16 years 20 days ago
2009
Springer
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
140
click to vote
HOST
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract: Circuit CAD Tools as a Security Threat Jarrod A. Roy†, Farinaz Koushanfar‡ and Igor L. Markov† †The University of Michigan, Department of EECS, 2260 Hayward Ave.,...
157
Voted
ICRA
2008
IEEE
16 years 17 days ago
2008
IEEE
— This paper focuses on the assignment of discrete points to two robots, in the presence of geometric and kinematic constraints between the robots. The individual points have dif...