7167 search results - page 357 / 1434 » Answer Set Programming |
139
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
116
click to vote
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
In this research, we investigate and address the challenges of asymmetry in High-End Computing (HEC) systems comprising heterogeneous architectures with varying I/O and computation...
171
click to vote
NCA
2008
IEEE
15 years 3 months ago
2008
IEEE
The paper focuses on the study of solving the large-scale traveling salesman problem (TSP) based on neurodynamic programming. From this perspective, two methods, temporal differenc...
101
click to vote
SCP
2008
15 years 3 months ago
2008
This paper shows that program algebra (PGA) [8] offers a mathematical and systematic framework for reasoning about correctness and equivalence of algorithms and transformation rul...
134
click to vote
IJCSA
2007
15 years 3 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...