4067 search results - page 202 / 814 » Programs for Applying Symmetries |
171
click to vote
TACAS
2007
Springer
16 years 22 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
177
click to vote
SAINT
2005
IEEE
16 years 6 days ago
2005
IEEE
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...
159
click to vote
EMO
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Evolutionary algorithms have been quite effective in dealing with single-objective “optimization” while the area of Evolutionary Multiobjective Optimization (EMOO) h...
164
click to vote
LCPC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
166
click to vote
LCTRTS
2004
Springer
15 years 12 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...