3090 search results - page 389 / 618 » On Testing Answer-Set Programs |
167
click to vote
NCA
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
170
click to vote
AADEBUG
2005
Springer
15 years 12 months ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
160
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. There are several computer programs that align mRNA with its genomic counterpart to determine exon boundaries. Though most of these programs perform such alignment effici...
136
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
160
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...