758 search results - page 102 / 152 » Pattern-Constrained Test Case Generation |
124
Voted
DAC
2007
ACM
16 years 3 months 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...
107
Voted
ICPR
2006
IEEE
16 years 3 months 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 ...
105
click to vote
EMO
2001
Springer
15 years 7 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...
123
click to vote
JAR
2008
15 years 2 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...
127
Voted
EUROGP
2007
Springer
15 years 8 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...