3090 search results - page 573 / 618 » On Testing Answer-Set Programs |
127
Voted
JPDC
2000
15 years 1 months ago
2000
: SIMD arrays are likely to become increasingly important as coprocessors in domain specific systems as architects continue to leverage RAM technology in their design. The problem ...
115
click to vote
SIAMJO
2010
15 years 4 days ago
2010
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...
142
click to vote
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
112
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...
153
click to vote
SIGMOD
2011
ACM
14 years 4 months ago
2011
ACM
In most enterprises, databases are deployed on dedicated database servers. Often, these servers are underutilized much of the time. For example, in traces from almost 200 producti...