7167 search results - page 134 / 1434 » A Technique for Invariant Generation |
172
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We investigate claims and assumptions made in several recent papers about fault localization (FL) techniques. Most of these claims have to do with evaluating FL accuracy. Our in...
180
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: When investigating covariate interactions and group associations with standard regression analyses, the relationship between the response variable and exposure may be ...
239
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
181
click to vote
UIST
1997
ACM
15 years 10 months ago
1997
ACM
We propose interactive beautification, a technique for rapid geometric design, and introduce the technique and its algorithm with a prototype system Pegasus. The motivation is to ...
175
click to vote
ASIACRYPT
2009
Springer
16 years 28 days ago
2009
Springer
We look at iterated power generators si = se i−1 mod N for a random seed s0 ∈ ZN that in each iteration output a certain amount of bits. We show that heuristically an output of...