5410 search results - page 992 / 1082 » When to Cross Over |
105
Voted
CASES
2006
ACM
15 years 4 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
103
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
We present a dictionary attack that is based on keyboard acoustic emanations. We combine signal processing and efficient data structures and algorithms, to successfully reconstruc...
129
Voted
ECOOP
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....
124
Voted
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
103
click to vote
CSL
2006
Springer
15 years 4 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...