2774 search results - page 247 / 555 » Query-Driven Program Testing |
148
click to vote
AGENTS
2000
Springer
15 years 7 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
135
click to vote
CPAIOR
2006
Springer
15 years 6 months ago
2006
Springer
We define the timetable constrained distance minimization problem (TCDMP) which is a sports scheduling problem applicable for tournaments where the total travel distance must be mi...
131
click to vote
GECCO
2010
Springer
15 years 6 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...
137
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
225
click to vote
CC
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...