3090 search results - page 280 / 618 » On Testing Answer-Set Programs |
191
click to vote
WEBDB
2010
Springer
15 years 11 months ago
2010
Springer
The MapReduce distributed programming framework is very popular, but currently lacks the optimization techniques that have been standard with relational database systems for many ...
202
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
213
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
228
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
194
click to vote
SEUS
2010
IEEE
15 years 5 months ago
2010
IEEE
Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100%...