3090 search results - page 331 / 618 » On Testing Answer-Set Programs |
169
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
With the increasing gap between processor speed and memory latency, the performance of data-dominated programs are becoming more reliant on fast data access, which can be improved...
157
click to vote
SAS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
155
click to vote
ACG
2006
Springer
16 years 19 days ago
2006
Springer
Most game programs have a large number of parameters that are crucial for their performance. Tuning these parameters by hand is rather difficult. Therefore automatic optimization a...
150
click to vote
ASPLOS
2006
ACM
16 years 18 days ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
172
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
Cyclic genetic algorithms can be used to generate single loop control programs for robots. While successful in generating controllers for individual leg movement, gait generation,...