3090 search results - page 579 / 618 » On Testing Answer-Set Programs |
140
click to vote
EUROSYS
2010
ACM
15 years 10 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
110
Voted
SOSP
2007
ACM
15 years 10 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
112
click to vote
CGO
2010
IEEE
15 years 8 months ago
2010
IEEE
The linear scan algorithm for register allocation provides a good register assignment with a low compilation overhead and is thus frequently used for just-in-time compilers. Altho...
129
click to vote
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
137
click to vote
IEEEARES
2009
IEEE
15 years 8 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...