3090 search results - page 562 / 618 » On Testing Answer-Set Programs |
104
click to vote
ESA
2004
Springer
15 years 7 months ago
2004
Springer
The computation of dominators in a flowgraph has applications in several areas, including program optimization, circuit testing, and theoretical biology. Lengauer and Tarjan [30]...
119
Voted
FPGA
2004
ACM
15 years 7 months ago
2004
ACM
The speedup over a microprocessor that can be achieved by implementing some programs on an FPGA has been extensively reported. This paper presents an analysis, both quantitative a...
103
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Inference of phylogenetic trees comprising hundreds or even thousands of organisms based on the maximum likelihood method is computationally extremely expensive. In previous work,...
125
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Compiler writers have crafted many heuristics over the years to approximately solve NP-hard problems efficiently. Finding a heuristic that performs well on a broad range of applic...
103
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Research in multi-agent systems has led to the development of many multi-agent control architectures. However, we believe that there is currently no known optimal structure for mu...