3090 search results - page 401 / 618 » On Testing Answer-Set Programs |
182
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
Instruction and data address traces are widely used by computer designers for quantitative evaluations of new architectures and workload characterization, as well as by software de...
191
Voted
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
168
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...
178
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
217
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...