502 search results - page 67 / 101 » Test pattern generation based on arithmetic operations |
128
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...
115
click to vote
DDECS
2009
IEEE
15 years 8 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
We describe the design and testing of a robotic system to assist locomotion training of spinal-injured rodents. The goal of the system is to control and quantify spatialtemporal p...
108
click to vote
EURODAC
1994
IEEE
15 years 6 months ago
1994
IEEE
Symbolic state space exploration techniques for Finite State Machines (FSMs) are a major recent result in CAD for VLSI. Most of them are exact and based on forward traversal, but ...
128
click to vote
ANCS
2007
ACM
15 years 6 months ago
2007
ACM
We propose a Progressive Email Classifier (PEC) for highspeed classification of message patterns that are commonly associated with unsolicited bulk email (UNBE). PEC is designed t...