761 search results - page 146 / 153 » A Reactive Approach to Explanation |
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
IMC
2010
ACM
14 years 8 months ago
2010
ACM
Capturing network traffic with commodity hardware has become a feasible task: Advances in hardware as well as software have boosted off-the-shelf hardware to performance levels th...
102
click to vote
PROPERTYTESTING
2010
14 years 8 months ago
2010
We initiate the study of sublinear-time algorithms in the external memory model [Vit01]. In this model, the data is stored in blocks of a certain size B, and the algorithm is char...
83
Voted
SOCIALCOM
2010
14 years 8 months ago
2010
In recent years, several researchers have proposed techniques for providing users with assistance in understanding and overcoming authorization denials. The incorporation of envir...
93
Voted
DAC
2004
ACM
15 years 11 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...