6960 search results - page 356 / 1392 » Continuity Analysis of Programs |
149
click to vote
ICCD
2005
IEEE
15 years 10 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
147
click to vote
EUROGP
2004
Springer
15 years 10 months ago
2004
Springer
The paper presents for the first time automatic module acquisition and evolution within the graph based Cartesian Genetic Programming method. The method has been tested on a set of...
113
click to vote
ICIAR
2004
Springer
15 years 10 months ago
2004
Springer
Finding contours in constrained search space is a well known problem. It is encountered in such areas as tracking objects in videos, or finding objects within defined boundaries....
149
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
144
Voted
IEEEPACT
2003
IEEE
15 years 10 months ago
2003
IEEE
Recent work has shown that multithreaded workloads running in execution-driven, full-system simulation environments cannot use instructions per cycle (IPC) as a valid performance ...