5506 search results - page 591 / 1102 » Minimal Logic Programs |
197
click to vote
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
195
click to vote
ISHPC
2000
Springer
15 years 10 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
180
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
We use affine arithmetic to improve both the performance and the robustness of genetic programming for symbolic regression. During evolution, we use affine arithmetic to analyze e...
182
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
176
click to vote
PLDI
2005
ACM
16 years 15 days ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...