3090 search results - page 487 / 618 » On Testing Answer-Set Programs |
132
click to vote
FGCS
1992
15 years 3 months ago
1992
: There have been no major control problems during the first three years of the new Tokaido-Sanyo Shinkansen (bullet train) Programmed Route Control (PRC) computer system. Prior to...
143
Voted
PROMISE
2010
14 years 9 months ago
2010
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
124
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: We have developed a new haplotyping program based on the combination of an iterative multiallelic EM algorithm (IEM), bootstrap resampling and a pseudo Gibbs sampler. ...
144
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
128
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...