758 search results - page 102 / 152 » Pattern-Constrained Test Case Generation |
DAC
2007
ACM
15 years 6 hour ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
ICPR
2006
IEEE
15 years 3 days ago
2006
IEEE
In many cases x-ray images are the only basis for surgery planning. Nevertheless it is desirable to draw conclusions about the 3D-anatomy of the patient from such data. This work ...
EMO
2001
Springer
14 years 3 months ago
2001
Springer
The conventional weighted aggregation method is extended to realize multi-objective optimization. The basic idea is that systematically changing the weights during evolution will l...
JAR
2008
13 years 11 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
EUROGP
2007
Springer
14 years 5 months ago
2007
Springer
This paper reports on the results of a preliminary study conducted to evaluate genetic programming (GP) as a means of evolving finite state transducers. A genetic programming syste...